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

[Julien Fischer]

On Fri, 21 Sep 2007, Ian MacLarty wrote:

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

simplify.m only does such replacements when when the goal is not impure
however.

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

I think yes; it's the least surprising choice.

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