[mercury-users] exceptions and cc_multi

[Michael Day]

> In many cases, propagating the cc_multiness all the way back up to
> main is probably the right solution.

So, most programs that attempt to catch exceptions will have a cc_multi
main. In this kind of predicate:

do_something :-
	do something impure,
	try(risky_operation),
	undo the impure thing that was done before,
	rethrow the exception if there was one.

Is do_something as a whole cc_multi or det? Or in other words, would using
promise_only_solution here be lying to the compiler, or not? (When
risky_operation can be an arbitrary predicate...)

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