[m-dev.] for review: fix intermodule optimization bugs

[Simon Taylor]

> That comment deserves an XXX, IMHO.

Done.

> Also, I think it would make sense to change handle_options.m
> to make `--check-termination' imply `--warn-missing-trans-opt-files'.

Done.

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