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

[Ian MacLarty]

On Fri, Sep 21, 2007 at 01:50:00PM +1000, 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'.
> 
> 	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?
> 

Does anyone have an answer to the above question, and is anyone planning
to review this change?

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