[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