[m-dev.] for review: document bug with tabling pragmas & model_non

[Fergus Henderson]

Zoltan, could you please review this?

---------------

Estimated hours taken: 0.25

doc/reference_manual.texi:
	Document that `pragma memo' and `pragma loop_check'
	are broken for model_non procedures.

Workspace: /d-drive/home/hg/fjh/mercury
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.159
diff -u -d -r1.159 reference_manual.texi
--- doc/reference_manual.texi	1999/11/25 08:21:16	1.159
+++ doc/reference_manual.texi	1999/12/09 17:00:38
@@ -5380,7 +5380,10 @@
 @strong{Warning:}
 The current implementation of @samp{pragma minimal_model} is broken:
 the generated code sometimes produces incorrect results.  It should
-not be used.
+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.
 @end cartouche
 
 The syntax for each of these declarations is
@@ -5455,7 +5458,10 @@
 
 @c XXX we should fix this bug...
 @strong{Reminder}: the current implementation of
- at samp{pragma minimal_model} is broken.
+ at samp{pragma minimal_model} is broken,
+and the current implementation of @samp{pragma memo}
+and @samp{pragma loop_check} is broken for procedures
+with determinism @samp{nondet} or @samp{multi}.
 @end cartouche
 
 @node Termination analysis

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------