Next: Warnings about missing order, Previous: Warnings about style issues with predicates, Up: Warnings about programming style [Contents][Index]
--no-warn-simple-code
Do not warn about constructs which are so simple that they are likely to be programming errors. (One example is if-then-elses whose condition always succeeds.)
--inform-ite-instead-of-switch
Generate informational messages for if-then-elses that could be replaced by switches.
--inform-incomplete-switch
Generate informational messages for switches that do not cover all the function symbols that the switched-on variable could be bound to.
--inform-incomplete-switch-threshold N
Have the ‘--inform-incomplete-switch’ option generate its messages only for switches that do cover at least ‘N’% of the function symbols that the switched-on variable could be bound to.
--warn-duplicate-calls
Warn about multiple calls to a predicate or function with the same input arguments.
--no-warn-redundant-coerce
Do not warn about redundant type coercions, which occur when the type
of the result of the coerce
expression is the same as the type
of its argument.
--no-warn-state-var-shadowing
Do not warn about one state variable shadowing another.
--no-warn-unneeded-initial-statevars
Do not warn about state variables in clause heads that could be ordinary variables.
--no-warn-unneeded-initial-statevars-lambda
Do not warn about state variables in the heads of lambda expressions that could be ordinary variables.
--warn-implicit-stream-calls
Warn about calls to I/O predicates that could take explicit stream arguments, but do not do so.
--warn-unknown-format-calls
Warn about calls to string.format
, io.format
or
stream.string_writer.format
for which the compiler cannot tell
whether there are any mismatches between the format string and the
supplied values.
--warn-suspicious-foreign-code
Warn about possible errors in the bodies of foreign code pragmas.
Note that since the compiler’s ability to parse foreign language code is limited, some warnings reported by this option may be spurious, and some actual errors may not be detected at all.
--warn-suspicious-foreign-procs
Warn about possible errors in the bodies of foreign_proc pragmas. When
enabled, the compiler attempts to determine whether the success
indicator for a foreign procedure is correctly set, and whether the
foreign procedure body contains operations that it should not contain,
such as return
statements in a C foreign procedure.
Note that since the compiler’s ability to parse foreign language code is limited, some warnings reported by this option may be spurious, and some actual errors may not be detected at all.
Next: Warnings about missing order, Previous: Warnings about style issues with predicates, Up: Warnings about programming style [Contents][Index]