It is really weird because the moderation e-mails only arrive really late as well. In any case, I have made sure to whitelist your name now. :)
*José Valim* www.plataformatec.com.br Skype: jv.ptec Founder and Director of R&D On Fri, Apr 29, 2016 at 8:29 PM, eksperimental <[email protected]> wrote: > I sent this email 2 days ago, and I just made it now to the list. > And the original email that I sent 3 days ago... never made it ;-( > > Are my messages put on moderation list automatically by google? > I notice this happened earlier with other message I sent. > > cheers > > On Thu, 28 Apr 2016 10:08:16 +0700 > eksperimental <[email protected]> wrote: > > > I'm currently reviewing the IO module, and I discovered an > > inconsistency in a data type. > > > > getn(device, prompt, count) > > > last arg. here is pos_integer > > > > binread(device \\ group_leader(), line_or_chars) > > > last arg here is non_neg_integer > > > > since getn uses :erlang.get_chars/3 > > http://erldocs.com/18.3/stdlib/io.html?i=0&search=get_chars#get_chars/2 > > and that one does accept non_neg_integers as Count arg, I think > > IO.getn/3 should be updated accordingly. > > > > We have the special cases of IO.binstream/2 and IO.stream/2 that I > > think should be kept as is (count = pos_integer) > > > > -- > You received this message because you are subscribed to the Google Groups > "elixir-lang-core" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/elixir-lang-core/20160430012929.3370d634.eksperimental%40autistici.org > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "elixir-lang-core" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/elixir-lang-core/CAGnRm4%2Bpau3c7XWUDPSaZD-_9FofAWfAWDL6hj2n5uUW2RmZ%3DA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
