[mercury-users] exceptions and cc_multi

[Michael Day]

> It would be OK to use `promise_only_solution' here, provided that
> `risky_operation' is det or semidet (not cc_multi or cc_nondet),
> and that `do something impure' and `undo the impure thing' are both det.

Right. However, I can't seem to use promise_only_solution, as
risky_operation returns a unique io__state, which appears to mess things
up (the error messages are fairly impenetrable).

> Proof:

<snipped>

That's a very clear proof. However... does the same proof apply for
try_io?

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