[m-rev.] trivial diff: clarify double negation elimination

[Fergus Henderson]

Branches: main
Estimated hours taken: 0.25

doc/reference_manual.texi:
	Clarify when double-negation elimination is performed.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.268
diff -u -d -r1.268 reference_manual.texi
--- doc/reference_manual.texi	27 Jan 2003 09:20:57 -0000	1.268
+++ doc/reference_manual.texi	9 Feb 2003 08:08:13 -0000
@@ -1523,7 +1523,8 @@
 can cause the introduction of double negations
 which could make otherwise well-formed code mode-incorrect.
 To avoid this problem, the language specifies that
-after syntax analysis, and before mode analysis is performed,
+after syntax analysis and implicit quantification,
+and before mode analysis is performed,
 the implementation must delete any double negations
 and must replace any negations of conjunctions of negations
 with disjunctions.  (Both of these transformations

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------