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

[Fergus Henderson]

On 21-Dec-2003, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> +++ 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/incompatible with high/

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