Next: , Previous: No determinism warnings, Up: Pragmas   [Contents]


19.5 No dead predicate warnings

A declaration of the form

:- pragma consider_used(Name/Arity).

tells the compiler to consider the predicate or function with name Name and arity Arity to be used, and not generate any dead procedure/predicate/function warnings either for the named predicate, or for the other predicates and functions that it calls, either directly or indirectly.

pragma consider_used’ declarations are intended for use in situations in which the code that was intended to call such a predicate or function is not yet written.