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

[Peter Ross]

On Mon, Feb 11, 2002 at 08:43:09PM +1100, Fergus Henderson wrote:
> 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.
> 

===================================================================


Estimated hours taken: 0.25
Branches: main

Improve documentation of --no-warn-inferred-erroneous.

compiler/options.m:
doc/user_guide.texi:
    Reword documentation as suggest by fjh's review comments.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.353
diff -u -r1.353 options.m
--- compiler/options.m	11 Feb 2002 09:59:09 -0000	1.353
+++ compiler/options.m	11 Feb 2002 10:13:03 -0000
@@ -1893,8 +1893,8 @@
 		"\tDon't warn about determinism declarations",
 		"\twhich could have been stricter.",
 		"--no-warn-inferred-erroneous",
-		"\tDon't warn about determinism declarations which are",
-		"\tinferred erroneous but are declared a more lax determinism.",
+		"\tDon't warn about procedures whose determinism is inferred",
+		"\terroneous but whose determinism declarations are laxer.",
 		"--no-warn-nothing-exported",
 		"\tDon't warn about modules which export nothing.",
 		"--warn-unused-args",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.290
diff -u -r1.290 user_guide.texi
--- doc/user_guide.texi	11 Feb 2002 09:59:11 -0000	1.290
+++ doc/user_guide.texi	11 Feb 2002 10:13:08 -0000
@@ -3481,8 +3481,8 @@
 @item --no-warn-inferred-erroneous
 @findex --no-warn-inferred-erroneous
 @findex --warn-inferred-erroneous
-Don't warn about determinism declaration which are inferred erroneous
-but whose declarations are more lax.
+Don't warn about procedures whose determinism is inferred erroneous
+but whose determinism declarations are laxer.
 
 @sp 1
 @item --no-warn-nothing-exported

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