[m-dev.] for discussion: stream library v2

[Michael Day]

>     * you have a non-unique handle on a stream which means that you can
>       still process that stream after an exception.

Is it really not possible to achieve this by some extension of try_io:

:- pred try_io(pred(T, S, S), exception_result(T), S, S) <= stream(S).

Michael


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