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

[Julien Fischer]

On Wed, 8 Nov 2006, 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.
>

That should of course say that you can use ignore whitespace to
skip past whitespace in a putback char reader stream - it's not just
restricted the beginning of the stream.

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