[m-dev.] diff: turn RL optimization on by default

[Fergus Henderson]

On 18-Apr-2000, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> compiler/options.m:
...
> 	Uncomment the Aditi sections of the options help message.

If you're going to do that, then ideally you should also uncomment
the corresponding documentation in the Mercury user's guide.

Is Aditi publically available yet?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------