[mercury-users] Exceptions and unique modes

[Peter Ross]

Hi,

I have been beating my head against the wall thinking about exceptions
and unique modes, and I was wondering what other peoples thoughts were
about the subject.

Currently the only unique object which can be used with exceptions is an
io__state, and it makes the assumption that the io__state you get back
when an exception is thrown is the one that existed at the time of the
exception.

This would suggest that to be consistent with the way io__state is handled,
we guarantee that after an exception that the state of a unique object
is that at the point where the exception is thrown.

Thoughts?

The next point to discuss is how do we get a handle back on the unique
object after an exception.

More thoughts?

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