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

[Peter Ross]

On Mon, Sep 25, 2000 at 02:22:55PM +1100, Michael Day wrote:
> 
> >     * 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).
> 
I am not sure.  Maybe Fergus can answer.

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