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

[Zoltan Somogyi]

On 25-Jan-2006, Samrith UONG <samuong at gmail.com> wrote:
> +/*
> +	Common goal optimization should not be turned off, since it can
> +	break programs that would otherwise compile properly (e.g.,
> +	benchmarks/icfp2000).  This is kept as a developer-only option.
> +
>          "--no-common-goal",
>          "\tDisable optimization of common goals.",
>          "\tAt the moment this optimization",
>          "\tdetects only common deconstruction unifications.",
>          "\tDisabling this optimization reduces the class of predicates",
>          "\tthat the compiler considers to be deterministic.",
> +*/

We prefer to comment things out with %, since that way it is clearer
what is commented out and what isn't.

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