9.10.1 Warnings about possible 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.

--no-warn-singleton-variables

--no-warn-singleton-vars

Do not warn about variables which only occur once in a clause, but whose names do not start with an underscore.

--no-warn-repeated-singleton-variables

--no-warn-repeated-singleton-vars

Do not warn about variables which occur more than once in a clause, but whose names do start with an underscore.

--no-warn-unification-cannot-succeed

Do not warn about unifications which cannot succeed.

--no-warn-known-bad-format-calls

Do not warn about calls to string.format, io.format, or stream.string_writer.format that contain mismatches between the format string and the supplied values.

--no-warn-obsolete

Do not warn about calls to predicates and functions that have been marked as obsolete.

--no-warn-overlapping-scopes

Do not warn about variables which occur in overlapping scopes.

--no-warn-suspected-occurs-check-failure

--no-warn-suspected-occurs-failure

Do not warn about code that looks like it unifies a variable with a term that contains that same variable. Such code cannot succeed because it fails the test called the occurs check.

--warn-suspicious-recursion

Warn about recursive calls which are likely to have problems, such as leading to infinite recursion.

--warn-unused-args

Warn about predicate or function arguments which are not used.

--no-warn-det-decls-too-lax

Do not warn about determinism declarations which could be stricter.

--no-warn-inferred-erroneous

Do not warn about procedures whose determinism is inferred to be ‘erroneous’, but whose determinism declarations are looser.

--no-warn-ambiguous-pragmas

--no-warn-ambiguous-pragma

Do not warn about pragmas that do not specify whether they are for a predicate or a function, even when there is both a predicate and a function with the given name and arity.

--warn-potentially-ambiguous-pragmas

--warn-potentially-ambiguous-pragma

Warn about pragmas that do not specify whether they are for a predicate or a function.

--no-warn-table-with-inline

Do not warn about tabled procedures that also have a pragma inline declaration. (This combination does not work, because inlined copies of procedure bodies cannot be tabled.)

--no-warn-unresolved-polymorphism

Do not warn about unresolved polymorphism, which occurs when the type of a variable contains a type variable that is not bound to an actual type, even though it should be.

--no-warn-stubs

Do not warn about procedures for which there are no clauses. Note that this option is meaningful only if the ‘--allow-stubs’ option is enabled.

--no-warn-non-term-special-preds

Do not warn about types that have user-defined equality or comparison predicates that cannot be proved to terminate. This option is meaningful only if termination analysis is enabled.

--warn-non-stratification

Warn about possible non-stratification of the predicates and/or functions in the module. Non-stratification occurs when a predicate or function can call itself through negation through some path in its call graph.

--no-warn-insts-without-matching-type

Do not warn about insts that are not consistent with any of the types in scope.

--warn-insts-with-functors-without-type

Warn about insts that do specify functors, but do not specify what type they are for.

--no-warn-undefined-options-variables

--no-warn-undefined-options-vars

Do not warn about references to undefined variables in options files with ‘--make’.

--no-warn-missing-opt-files

Do not warn about .opt files which cannot be opened.

--warn-missing-trans-opt-files

Warn about .trans_opt files which cannot be opened.

--no-warn-missing-trans-opt-deps

Do not generate a warning when the information required to allow .trans_opt files to be read when creating other .trans_opt files has been lost. The information can be recreated by running mmake mainmodule.depend.