[m-rev.] for review: generalize the specialization of compare/3 predicates

[Fergus Henderson]

On 05-Feb-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> I therefore propose the following diff (together with the updated log message)
> to add to the one in my original mail.
...
> +++ compiler/handle_options.m	2002/02/05 02:48:44
> @@ -847,6 +838,23 @@
> +	globals__io_lookup_int_option(compare_specialization, CompareSpec),
> +	( { CompareSpec < 0 } ->
> +		% This indicates that the option was not set by the user;
> +		% we should set the option to the default value. This value
> +		% may be back end specific, since different back ends have
> +		% different performance tradeoffs.
> +		(
> +			{ HighLevel = no },
> +			globals__io_set_option(compare_specialization, int(13))
> +		;
> +			{ HighLevel = yes },
> +			globals__io_set_option(compare_specialization, int(14))
> +		)

That looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------