[m-rev.] Extended the promise_<purity> scopes

[Ralph Becket]

Julien Fischer, Tuesday, 26 April 2005:
> You'll also need to update the reference manual.

Addendum:

doc/reference_manual.texi:
        Document the new syntax.

Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.315
diff -u -r1.315 reference_manual.texi
--- reference_manual.texi	21 Apr 2005 03:37:16 -0000	1.315
+++ reference_manual.texi	26 Apr 2005 03:51:04 -0000
@@ -639,6 +639,24 @@
 This goal promises that @var{Goal} implements a semipure interface,
 even though it may include impure components.
 
+ at item @code{promise_impure @var{Goal}}
+A purity cast.
+ at var{Goal} must be a valid goal.
+This goal promises that @var{Goal} implements an impure interface,
+even though it may not include impure components.
+
+ at item @code{promise_pure_implicit @var{Goal}}
+Equivalent to @code{promise_pure @var{Goal}}, except that purity annotations on
+semipure and impure subgoals in @var{Goal} are optional.
+
+ at item @code{promise_semipure_implicit @var{Goal}}
+Equivalent to @code{promise_semipure @var{Goal}}, except that purity
+annotations on semipure and impure subgoals in @var{Goal} are optional.
+
+ at item @code{promise_impure_implicit @var{Goal}}
+Equivalent to @code{promise_impure @var{Goal}}, except that purity annotations
+on semipure and impure subgoals in @var{Goal} are optional.
+
 @c @item @code{promise_impure @var{Goal}}
 @c A purity cast.
 @c @var{Goal} must be a valid goal.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------