9.10.1.1 Warnings about possible module incorrectness

--no-warn-nothing-exported

Do not warn about modules which export nothing.

--warn-unused-imports

Warn about modules that are imported but not used.

--no-warn-interface-imports

Do not warn about modules imported in the interface, but which are not used in the interface.

--warn-interface-imports-in-parents

Warn about modules that are imported in the interface of a parent module, but not used in the interface of that module.

--no-warn-stdlib-shadowing

Do not generate warnings for module names that either duplicate the name of a module in the Mercury standard library, or contain a subsequence of name components that do so.