[mercury-users] a question on efficient parsing of a file

Peter Wang novalazy at gmail.com
Tue May 18 10:52:06 AEST 2010

On 2010-05-17, Vladimir Gubarkov <xonixx at gmail.com> wrote:
> But! It seems that io library provides no support for buffered reading Oo.
> And without that, I guess, it'll be rather slow (reading 1 char at a time).
> Interesting, that I've looked inside the source of io module and it
> internally uses buffered reading, but predicates not exported to interface
> of those.

io.read_char calls getc() eventually, which is buffered by the C

I suppose you mean we have no predicate to read up to 'n'
bytes/characters at a time.  We should probably add one.

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list