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-cannot-table

Do not warn about tabling pragmas which for some reason cannot be applied to the specified procedure.

--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-unneeded-purity-pred-decl

Do not warn about predicate and function declarations that specify a purity level that is less pure than the predicate or function definition.

--no-warn-typecheck-ambiguity-limit

Do not generate a warning when the number of type assignments needed to process the definition of a predicate or function reaches or exceeds the typechecker’s ambiguity warn limit.