Disable all warning messages.
This option causes the compiler to treat all warnings as if they were errors. This means that if any warning is issued, the compiler will not generate code — 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.
Don’t warn about argument order rearrangement caused by ‘--introduce-accumulators’.
Don’t 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.
Don’t warn about determinism declarations which could have been stricter.
Don’t warn about procedures whose determinism is inferred erroneous but whose determinism declarations are laxer.
Don’t warn about insts that are not consistent with any types in scope.
Warn about modules that are imported but not used.
Don’t 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.
Warn about modules imported in the interface which are not used in the interface.
Warn about ‘.opt’ files that cannot be opened.
Warn about ‘.trans_opt’ files that cannot be opened.
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.
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 any directly recursive calls that are not tail recursive.
Disable warnings from the compiler used to process the target code (e.g. gcc).
Don’t 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.
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.
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.
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.
Do not warn about one state variable shadowing another.
Do not generate messages about inferred types or modes.
Do not generate messages about inferred types.
Do not generate messages about inferred modes.