[m-rev.] diff: document grade incompatibilities better

[Ralph Becket]

Zoltan Somogyi, Sunday, 21 December 2003:
> diff -u -b -r1.283 reference_manual.texi
> --- doc/reference_manual.texi	5 Dec 2003 05:15:10 -0000	1.283
> +++ doc/reference_manual.texi	21 Dec 2003 05:08:29 -0000
> @@ -8431,10 +8431,9 @@
>  the current implementation of tabling does not support all the
>  possible compilation grades (see the ``Compilation model options''
>  section of the Mercury User's Guide) allowed by the Mercury
> -implementation.  In particular, if you enable the use of trailing,
> -or if you select a garbage collection method other than the default
> -(conservative), then any use of tabling will result in a
> -``Sorry, not implemented'' error at runtime.
> +implementation.  In particular, minimal model tabling
> +is incompatible high level code, the use of trailing,
> +and accurate garbage collection.

s/incompatible high level code/incompatible with high level code/

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