[m-dev.] a chunk type?

[Peter Wang]

On 2007-11-01, Ralph Becket <rafe at csse.unimelb.edu.au> wrote:
> 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?

Actually I was thinking of

    :- type chunk ---> chunk(string).

Peter

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------