<br><div class="gmail_quote">On Tue, May 18, 2010 at 4:52 AM, Peter Wang <span dir="ltr"><<a href="mailto:novalazy@gmail.com">novalazy@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On 2010-05-17, Vladimir Gubarkov <<a href="mailto:xonixx@gmail.com">xonixx@gmail.com</a>> wrote:<br>
><br>
> But! It seems that io library provides no support for buffered reading Oo.<br>
> And without that, I guess, it'll be rather slow (reading 1 char at a time).<br>
> Interesting, that I've looked inside the source of io module and it<br>
> internally uses buffered reading, but predicates not exported to interface<br>
> of those.<br>
<br>
</div>io.read_char calls getc() eventually, which is buffered by the C<br>
library.<br></blockquote><div><br></div><div>I believe you are right. But I'd like to have an ability to set the size of a buffer.  </div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<br>
I suppose you mean we have no predicate to read up to 'n'<br>
bytes/characters at a time.  We should probably add one.<br>
<font color="#888888"><br></font></blockquote><div> </div><div>Yes.. Those will be helpful</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><font color="#888888">
Peter<br>
</font><div><div></div><div class="h5">--------------------------------------------------------------------------<br>
mercury-users mailing list<br>
Post messages to:       <a href="mailto:mercury-users@csse.unimelb.edu.au">mercury-users@csse.unimelb.edu.au</a><br>
Administrative Queries: <a href="mailto:owner-mercury-users@csse.unimelb.edu.au">owner-mercury-users@csse.unimelb.edu.au</a><br>
Subscriptions:          <a href="mailto:mercury-users-request@csse.unimelb.edu.au">mercury-users-request@csse.unimelb.edu.au</a><br>
--------------------------------------------------------------------------<br>
</div></div></blockquote></div><br>