[m-rev.] for review: fix detism warnings for compound compare builtins

[Peter Wang]

On 2007-07-17, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> compiler/options.m:
> 	Add a name for the compiler_sufficiently_recent option that will allow
> 	configure scripts to test for the fix.
> 

> Index: options.m
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/compiler/options.m,v
> retrieving revision 1.577
> diff -u -b -r1.577 options.m
> --- options.m	17 Jul 2007 04:47:22 -0000	1.577
> +++ options.m	17 Jul 2007 05:38:19 -0000
> @@ -2432,6 +2432,8 @@
>  long_option("trace-io-builtins-2006-08-14", compiler_sufficiently_recent).
>  long_option("compound-compare-builtins-2007-07-09",
>                                      compiler_sufficiently_recent).
> +long_option("no-det-warning-compound-compare-2007-07-17",
> +                                    compiler_sufficiently_recent).
>  long_option("experiment",           experiment).
>  long_option("feedback-file",        feedback_file).

The option doesn't get recognised because of the "no-" prefix, but
"--no-no-det-warning..." does get recognised.  I made configure check
for that rather than change the name and waiting for it to propagate.
I've added a comment to options.m.

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