[m-rev.] for review: remove --no-common-goal from documented options

[Julien Fischer]

On Wed, 25 Jan 2006, Samrith UONG wrote:

> For review by anyone.
>
> Estimated hours taken: 0.2
>
> Removed --no-common-goal from the documented options.
>
> compiler/options.m and doc/user_guide.texi:
>         As this option changes the determinism of some predicates, it can
>         cause a correct program not to compile.  This option should not
>         used by users in general.
>

The change is fine.  I think the log message ought say what the real problem
in the icfp entry is: that turning off the optimisation causes determinism
problems in compiler generated predicates (i.e in predicates that the user
can do nothing about.)

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------