[m-dev.] streams proposal

[Ralph Becket]

Ian MacLarty, Monday, 23 January 2006:
> I've come up with a new proposal for a streams library.  I believe this 
> proposal addresses some of the shortcomings of the streams library in 
> extras (for example one can define an efficient version of write_string 
> that doesn't have to call write_char).

Looks good.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------