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

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Apr 18 16:14:15 AEST 2000

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

More information about the developers mailing list