[m-rev.] for review: update reference manual section on tabling

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Jan 31 18:28:15 AEDT 2005


For review by Zoltan:

Estimated hours taken: 0.1
Branches: main, release

doc/reference_manual.texi:
	Remove the warning about the memo and loopcheck pragmas
	not working for model_non code.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.307
diff -u -r1.307 reference_manual.texi
--- reference_manual.texi	27 Jan 2005 03:46:59 -0000	1.307
+++ reference_manual.texi	31 Jan 2005 07:22:31 -0000
@@ -8676,10 +8676,7 @@
 @strong{Warning:}
 The current implementation of @samp{pragma minimal_model} is broken:
 the generated code sometimes produces incorrect results.  It should
-not be used.  Also the current implementation of all three pragmas
-is broken for procedures with determinism @samp{nondet} or @samp{multi}.
-The @samp{pragma memo} and @samp{pragma loop_check} declarations
-should not be used on such procedures.
+not be used.
 @end cartouche

 The syntax for each of these declarations is

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



More information about the reviews mailing list