11.10.1.3 Warnings about possible predicate incorrectness

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