mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-06 07:49:02 +00:00
23 lines
623 B
Plaintext
23 lines
623 B
Plaintext
--halt-at-warn
|
|
--no-allow-ho-insts-as-modes
|
|
--no-detect-libgrades
|
|
--no-halt-at-warn-make-int
|
|
--no-halt-at-warn-make-opt
|
|
--no-infer-all
|
|
--no-libgrade-install-check
|
|
--no-mercury-stdlib-dir
|
|
--warn-dead-preds
|
|
--warn-implicit-stream-calls
|
|
--warn-include-and-non-include
|
|
--warn-inconsistent-pred-order-clauses
|
|
--warn-insts-with-functors-without-type
|
|
--warn-interface-imports-in-parents
|
|
--warn-known-bad-format-calls
|
|
--warn-non-contiguous-clauses
|
|
--warn-non-contiguous-foreign-procs
|
|
--warn-potentially-ambiguous-pragma
|
|
--warn-suspicious-foreign-code
|
|
--warn-unknown-format-calls
|
|
--warn-unsorted-import-blocks
|
|
--warn-unused-imports
|