Next: , Previous: , Up: Invocation   [Contents][Index]


9.6 Options that control inference


--infer-all

This option is an abbreviation for the combination of ‘--infer-types’, ‘--infer-modes’, and ‘--infer-det’.


--infer-types

If there is no type declaration for a predicate or function, try to infer its type, instead of just reporting an error.


--infer-modes

If there is no mode declaration for a predicate, try to infer its mode (or modes), instead of just reporting an error.


--no-infer-determinism
--no-infer-det

If there is no determinism declaration for a procedure (a mode of a predicate or of a function), just report an error; do not try to infer its determinism.


--type-inference-iteration-limit N

Perform at most N passes of type inference (default: 60).


--mode-inference-iteration-limit N

Perform at most N passes of mode inference (default: 30).


--allow-stubs

Allow procedures to have no clauses. Any calls to such procedures will raise an exception at run-time. This option is sometimes useful during program development. (See also the documentation for the ‘--warn-stubs’ option in Warning options.)