[m-rev.] for review: improve documentation of --fully-strict

[Ian MacLarty]

Estimated hours taken: 0.1
Branches: main

compiler/options.m:
doc/user_guide.texi:
	Document that --no-fully-strict also replaces det goals that produce
	no outputs with `true' and goals that always fail with `fail'.

	Also change the documented option to --no-fully-strict instead
	of --fully-strict, because --fully-strict is the default.
	XXX Should it be the default?

Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.469
diff -u -r1.469 options.m
--- compiler/options.m	28 Sep 2005 08:28:09 -0000	1.469
+++ compiler/options.m	21 Sep 2007 03:45:46 -0000
@@ -3152,8 +3152,10 @@
 		"\tthat reordering is unavoidable.",
 		"--no-reorder-disj",
 		"\tExecute disjunctions strictly left-to-right.",
-		"--fully-strict",
-		"\tDon't optimize away loops or calls to error/1.",
+		"--no-fully-strict",
+		"\tOptimize away loops or calls to error/1.",
+		"\tReplace det goals that have no outputs with `true'",
+		"\tand replace goals that will always fail with `fail'.",
 		"--allow-stubs",
 		"\tAllow procedures to have no clauses.  Any calls to",
 		"\tsuch procedures will raise an exception at run-time.",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.544
diff -u -r1.544 user_guide.texi
--- doc/user_guide.texi	12 Sep 2007 06:21:12 -0000	1.544
+++ doc/user_guide.texi	21 Sep 2007 03:47:21 -0000
@@ -6896,9 +6896,11 @@
 Execute disjunctions strictly left-to-right.
 
 @sp 1
- at item --fully-strict
- at findex --fully-strict
-Don't optimize away loops or calls to @code{error/1}.
+ at item --no-fully-strict
+ at findex --no-fully-strict
+Optimize away loops or calls to @code{error/1}.
+Replace det goals that have no outputs with @samp{true}
+and replace goals that will always fail with @samp{fail}.
 
 @sp 1
 @item --allow-stubs
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------