Disable all warning messages.
Disable all warning messages about programming style.
This option causes the compiler to treat all warnings as if they were errors when generating target code. This means that if the compiler issues any warning, it will not generate target code — instead, it will return a non-zero exit status.
This option causes the compiler to treat all warnings as if they were errors when generating an interface file (a ‘.int’, ‘.int0’, ‘.int2’ or ‘.int3’ file). This means that if the compiler issues any warnings at that time, it will not generate the interface file — instead, it will return a non-zero exit status.
This option causes the compiler to treat all warnings as if they were errors when generating an optimization file (a ‘.opt’ or ‘.trans_opt’ file). This means that if the compiler issues any warnings at that time, it will not generate the optimization file — instead, it will return a non-zero exit status.
This option causes the compiler to halt immediately after syntax checking and not do any semantic checking if it finds any syntax errors in the program.
This option operates when the compiler is invoked with the –make–interface option to generate .int and .int2 files for one or more modules. In its default setting, ‘--halt-at-invalid-interface’, it causes the compiler to check the consistency of those parts of each of those modules that are intended to end up in the .int and .int2 files. If these checks find any problems, the compiler will stop without generating those files after printing an error message for each problem.
Users can prevent this behavior, and thus allow the generation of invalid interface files, by specifying ‘--no-halt-at-invalid-interface’.
Do not warn about argument order rearrangement caused by ‘--introduce-accumulators’.
Do not warn about variables which only occur once.
For predicates that are local to a module (those that are not exported), don’t issue a warning if the ‘pred’ or ‘mode’ declaration does not have a determinism annotation. Use this option if you want the compiler to perform automatic determinism inference for non-exported predicates.
Do not warn about determinism declarations which could have been stricter.
Do not warn about procedures whose determinism is inferred erroneous but whose determinism declarations are laxer.
Do not warn about insts that are not consistent with any types in scope.
Warn about insts that do specify functors but do not specify what type they are for.
Warn about modules that are imported but not used.
Do not warn about modules whose interface sections have no exported predicates, functions, insts, modes or types.
Warn about predicate or function arguments which are not used.
Do not warn about modules imported in the interface which are not used in the interface.
Warn about modules imported in the interface a parent module which are not used in the interface of that module.
Warn about ‘.opt’ files that cannot be opened.
Warn about ‘.trans_opt’ files that cannot be opened.
Generate a warning if the order of the definitions does not match the order of the declarations for either the exported predicates and functions of the module, or for the nonexported predicates and functions of the module. Applies for definitions by Mercury clauses.
Generate a warning if the order of the definitions does not match the order of the declarations for either the exported predicates and functions of the module, or for the nonexported predicates and functions of the module. Applies for definitions by either Mercury clauses or foreign_proc pragmas.
Do not generate a warning if the mode declarations of a predicate or function don’t all immediately follow its predicate or function declaration.
Do not generate a warning if the clauses of a predicate or function are not contiguous.
Generate a warning if the clauses and foreign_procs of a predicate or function are not contiguous.
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 negatively through some path along its call graph.
Disable warnings about constructs which are so simple that they are likely to be programming errors.
Warn about multiple calls to a predicate with the same input arguments.
Warn about calls to I/O predicates that could take explicit stream arguments, but do not do so.
Disable warnings for modules that do not start with a ‘:- module’ declaration.
Disable warnings for modules whose ‘:- module’ declaration does not match the module’s file name.
Disable warnings from the smart recompilation system.
Do not warn about references to undefined variables in options files with ‘--make’.
Warn about recursive calls which are likely to have problems, such as leading to infinite recursion.
Warn about any recursive calls that are not tail recursive. Implies the next two options. Warn about any recursive calls that are not tail recursive. type may be ‘self’, ‘self-and-mutual’ or ‘none’.
Warn about recursive calls that are not tail calls even if they obviously cannot be tail calls, because they are followed by other recursive calls.
Disable warnings from the compiler used to process the target code (e.g. gcc).
Do not warn if targets specified on the command line with ‘--make’ are already up-to-date.
Disable warnings about procedures for which there are no clauses. Note that this option only has any effect if the ‘--allow-stubs’ option (see Language semantics options) is enabled.
Warn about procedures which are never called.
Warn about predicates that have no procedures which are ever called.
Disable warnings about tabled procedures that also have a ‘pragma inline’ declaration.
Do not warn about types that have user-defined equality or comparison predicates that cannot be proved to terminate. This option is only enabled when termination analysis is enabled. (See Termination analysis options for further details).
Do not warn about calls to string.format or io.format that the compiler knows for sure contain mismatches between the format string and the supplied values.
If a format string has more than one mismatch with the supplied values, generate a warning for all mismatches, not just the first. The later mismatches may be avalanche errors caused by earlier mismatches.
Warn about calls to string.format or io.format for which the compiler cannot tell whether there are any mismatches between the format string and the supplied values.
Do not warn about calls to predicates or functions that have been marked as obsolete.
Generate informational messages for if-then-elses that could be replaced by switches.
Generate informational messages for switches that do not cover all the function symbols that the switched-on variable could be bound to.
--inform-incomplete-switch option generate its messages
only for switches that do cover at least n percent of the function
symbols that the switched-on variable could be bound to.
Do not warn about unresolved polymorphism.
Warn about possible errors in the bodies of foreign procedures.
When enabled, the compiler attempts to determine whether the success
indicator for a foreign procedure is correctly set, and whether
the foreign procedure body contains operations that are not allowed
return statements in a C foreign procedure).
Note that since the compiler’s ability to parse foreign language code
is limited, some warnings reported by this option may be spurious, and
some actual errors may not be detected at all.
Warn about possible errors in the bodies of foreign code pragmas. Note that since the compiler’s ability to parse foreign language code is limited, some warnings reported by this option may be spurious, and some actual errors may not be detected at all.
Do not warn about one state variable shadowing another.
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 what is called the ‘occurs check’.
Generate warnings for pragmas that do not specify whether they are for a predicate or a function.
Do not generate messages about inferred types or modes.
Do not generate messages about inferred types.
Do not generate messages about inferred modes.
Generate messages if the arguments of a data constructor could be packed more tightly if they were reordered.