Next: Options that ask for informational files, Previous: Warning options, Up: Invocation [Contents][Index]
--inform-inferredDo not print inferred types or modes.
--no-inform-inferred-typesDo not print inferred types.
--no-inform-inferred-modesDo not print inferred modes.
--inform-suboptimal-packingGenerate messages if the arguments of a data constructor could be packed more tightly if they were reordered.
--show-pred-moveability pred_or_func_name--show-pred-movability pred_or_func_nameWrite out a short report on the effect of moving the code of the named predicate or function (or the named several predicates and/or functions, if the option is given several times) to a new module. This includes listing the other predicates and/or functions that would have to be moved with them, and whether the move would cause unwanted coupling between the new module and the old.