[mercury-users] Optimisations

[Michael Day]

Hi,

Are there any interesting optimisations that are not enabled by default
with the following options:

    -O5 --intermodule-optimisation

More generally, what is the best way to find out this kind of information?
Is there an easy to read table any where listing optimisations and when
they are enabled? Or is it necessary to grep through the compiler source
for the command line option handling?

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