[m-rev.] for review: two new scope types

Peter Wang novalazy at gmail.com
Tue Jan 4 12:43:41 AEDT 2011


Minor fix to the documentation (committed).

diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
index 690df41..045cdb8 100644
--- a/doc/reference_manual.texi
+++ b/doc/reference_manual.texi
@@ -880,10 +880,17 @@ are not allowed to occur outside
 @code{promise_equivalent_solution_sets @var{Vars} @var{Goal}} goals.
 
 @item @code{require_det @var{Goal}}
+ at itemx @code{require_semidet @var{Goal}}
+ at itemx @code{require_multi @var{Goal}}
+ at itemx @code{require_nondet @var{Goal}}
+ at itemx @code{require_cc_multi @var{Goal}}
+ at itemx @code{require_cc_nondet @var{Goal}}
+ at itemx @code{require_erroneous @var{Goal}}
+ at itemx @code{require_failure @var{Goal}}
 A determinism check, typically used to enhance the robustness of code.
 @var{Goal} must be a valid goal.
 If @var{Goal} is det, then
- at item @code{require_det @var{Goal}} is equivalent to just @var{Goal}.
+ at code{require_det @var{Goal}} is equivalent to just @var{Goal}.
 If @var{Goal} is not det,
 then the compiler is required to generate an error message.
 

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