[m-dev.] for review: update alias branch

[Simon Taylor]

> > +	% Various optimizations which don't yet work on the alias branch.
> > +	globals__io_set_option(optimize_higher_order, bool(no)),
> > +	globals__io_set_option(user_guided_type_specialization, bool(no)),
> > +	globals__io_set_option(type_specialization, bool(no)),
> > +	globals__io_set_option(deforestation, bool(no)),
> 
> Have you tried deforestation lately?  I think it should work now, although
> I can't remember for sure.

Looking at the log messages, I think you're right.
I'll run a bootcheck and see what happens.

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