[m-dev.] Separate sub-module suggestions

[Michael Day]

> Perhaps we need a class of warning-like messages that don't apply to
> --halt-at-warn - we could call them "whinges".

Or gentle prodding... that's a good idea, as people using halt-at-warn
generally intend to catch inadvertent errors rather than submit to every
pedantic whim the compiler might have about how obsolete their coding
style is :)

Michael

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