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

[Ian MacLarty]

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.

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