[m-rev.] for review: more stream operations

[Julien Fischer]

On Thu, 9 Nov 2006, Ian MacLarty wrote:

> On Wed, Nov 08, 2006 at 06:13:05PM +1100, Julien Fischer wrote:
>>
>> For review by Ian.
>>
>> Estimated hours taken: 2
>> Branches: main
>>
>> Add some new utility predicates for use with streams.
>>
>> library/stream.m:
>> 	Add the predicate stream.format/5, an analogue of io.format,
>> 	that writes formatted output using an arbitrary string writer.
>>
>> 	Add a predicate stream.ignore_whitespace/4 that can be used
>> 	to skip past whitespace at the beginning of a putback char
>> 	reader stream.
>>
>> library/Mercury.options.m:
>
> You mean Mercury.options here I think.
>

Yes, I do.

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