[mercury-users] channel vs. stream

[Michael Day]

> Hmm...

So it is possible to have a closable channel, but given that a common
application of channels is in programs that are never intended to
terminate it is undesirable to make all channels closable as this places
an unnecessary burden on code that doesn't care about closing channels?

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------