[m-dev.] for review: add exception__try_store

[Fergus Henderson]

Here's a relative diff for my changes to address Mark's review comments.
I'll commit this now.

diff -u library/exception.m library/exception.m
--- library/exception.m
+++ library/exception.m
@@ -216,7 +216,7 @@
 :- mode get_determinism(pred(out) is cc_nondet, out(bound(cc_nondet)))
 								  is cc_multi.
 
-:- pred get_determinism_2(pred(T, S, S), determinism).
+:- pred get_determinism_2(pred(T, S, S),                 determinism).
 :- mode get_determinism_2(pred(out, di, uo) is det,      out(bound(det)))
 	is cc_multi.
 :- mode get_determinism_2(pred(out, di, uo) is cc_multi, out(bound(cc_multi)))
diff -u tricky_try_store.m tricky_try_store.m
--- tricky_try_store.m
+++ tricky_try_store.m
@@ -9,8 +9,9 @@
 % In other words, with a naive implementation of `try_store',
 % the following program could print out 
 % 
-% 	Result = exception(initial)
-% 	Result = exception(updated)
+% 	Result = exception(univ_cons("initial"))
+% 	Result = exception(univ_cons("updated"))
+%	...
 % 
 % To avoid this, the implementation of try_store must make a copy of the
 % thrown object before returning it from try_store.
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------