[m-rev.] for review: --no-warn-inferred-erroneous

[Fergus Henderson]

On 08-Feb-2002, Peter Ross <peter.ross at miscrit.be> wrote:
> +++ doc/user_guide.texi	8 Feb 2002 08:36:14 -0000
...
> +Don't warn about determinism declaration which are inferred erroneous
> +but whose declarations are more lax.

The user documentation needs rewording.
Procedures may have their determinism inferred as erroneous, but
determinism declarations themselves aren't ever inferred erroneous.

Also "declaration" should be "declarations",
"which are" should be "that are",
and "more lax" should perhaps be "laxer".
But some of these will no doubt go away when it is reworded.

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