[m-dev.] a chunk type?

[Ralph Becket]

Peter Wang, Thursday,  1 November 2007:
> Hi,
> 
> Does anyone have any objection to adding a string.chunk type, analogous
> to the string.line and string.text_file types?  The intention is to be
> able to use stream.get to read some arbitrary number of characters out
> of a stream.  The number could be just something convenient for the
> stream, or some stream types could provide predicates to record the
> desired chunk size.
> 
> Better ideas?

I'm presuming you're thinking of a wrapper around a bit_buffer?
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------