[m-rev.] trivial diff: fix determinism in try goal doc
Peter Wang
novalazy at gmail.com
Mon Oct 24 16:53:43 AEDT 2011
Branches: main, 11.07
doc/reference_manual.texi:
Fix determinism in try goal example.
diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
index 04938ab..edc27bd 100644
--- a/doc/reference_manual.texi
+++ b/doc/reference_manual.texi
@@ -6096,7 +6096,7 @@ If no @samp{catch_any} branch is present, let @samp{CAG = fail}.
An example of a try goal that performs I/O is:
@example
-:- pred p_carefully(io::di, io::uo) is det.
+:- pred p_carefully(io::di, io::uo) is cc_multi.
p_carefully(!IO) :-
(try [io(!IO)] (
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list