[mercury-users] Trying rotd-2006-02-24

[Michael Day]

> mmc --make and --transitive-intermodule-optimization have never worked
> together; previously mmc --make just silently disabled
> --transitive-intermodule-optimization, the only change is now that it
> complains about it.

In that case, chalk that one up as a definite improvement over the old
behaviour! :)

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------