[m-rev.] for review: fix documentation of `--no-fully-strict'

Ian MacLarty maclarty at csse.unimelb.edu.au
Thu Nov 8 15:05:19 AEDT 2007

On Tue, Nov 06, 2007 at 05:08:22PM +1100, Julien Fischer wrote:
> For review by anyone (preferably by Ian if he is around.)
> Estimated hours taken: 0.5
> Branches: main
> Address bug #18: the documentation of the option `--no-fully-strict'
> no longer matched what the implementation was doing.
> Fix a incorrect warning message.
> compiler/options.m:
> doc/reference_manual.texi:
> doc/user_guide.texi:
> 	Revert the incorrect part of Ian's previous change to the
> 	documentation of `--no-fully-strict'.
> 	Rather than, awkwardly, referring to "calls to error/1 or throw/1",
> 	just refer to "goals with determinism erroneous", which is more
> 	general and closer to what the implementation actually does.
> compiler/simplify.m:
> 	Fix an incorrect verbose warning: compiling with `--fully-strict'
> 	is *not* sufficient to prevent the compiler replacing goals that
> 	always fail with false.  The compiler may still perform such
> 	replacements even if `--fully-strict' is enabled, so long as the goal
> 	can be proven to terminate and is not erroneous.

Looks fine to me.

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

More information about the reviews mailing list