-E
--verbose-error-messages
Some error messages have two versions: a standard version intended for experienced users, and a verbose version intended for new users. The default is to print the first version. This option tells the compiler to print the second version, which will offer a more detailed explanation of any errors it finds in your code.
--reverse-error-order
Print error messages in descending order of their line numbers, instead of the usual ascending order. This is useful if you want to work on the last errors in a file first.
--max-error-line-width N
Set the maximum width of an error message line to N characters (unless a long single word forces the line over this limit). Specifying ‘--no-max-error-line-width’ removes the limit.
--limit-error-contexts filename:minline1-maxline1,minline2-maxline2
Print errors and warnings for the named file only when their line number is in one of the specified ranges. The minimum or maximum line number in each range may be omitted, in which case the range has no lower or upper bound respectively. Multiple ‘--limit-error-context’ options accumulate. If more than one ‘--limit-error-context’ option is given for the same file, only the last one will have an effect. If the file name and colon are missing, the limit will apply to all files.
--error-files-in-subdir
This option causes mmc --make
to put .err files into the
Mercury subdirectory instead of the current directory. (This
option has no effect on mmake
.)
--typecheck-ambiguity-warn-limit N
Set the number of type assignments required to generate a warning about highly ambiguous overloading to N. (Default: 50.)
--typecheck-ambiguity-error-limit N
Set the number of type assignments required to generate an error about excessively ambiguous overloading to N. If this limit is reached, the typechecker will not process the predicate or function any further. (Default: 3000.)