9.3 Verbosity options

-v

--verbose

Output progress messages at each stage in the compilation.

-V

--very-verbose

Output very verbose progress messages.

-E

--verbose-error-messages

Explain error messages. Asks the compiler to give you a more detailed explanation of any errors it finds in your program.

--no-verbose-make

Disable messages about the progress of builds using the ‘--make’ option.

--verbose-commands

Output each external command before it is run. Note that some commands will only be printed with ‘--verbose’.

--verbose-recompilation

When using ‘--smart-recompilation’, output messages explaining why a module needs to be recompiled.

--find-all-recompilation-reasons

Find all the reasons why a module needs to be recompiled, not just the first. Implies ‘--verbose-recompilation’.

--output-compile-error-lines n

With ‘--make’, output the first n lines of the ‘.err’ file after compiling a module (default: 15).

--report-cmd-line-args

Report the command line arguments.

--report-cmd-line-args-in-doterr

Report the command line arguments for compilations whose output mmake normally redirects to a ‘.err’ file.

-S

--statistics

Output messages about the compiler’s time/space usage. At the moment this option implies ‘--no-trad-passes’, so you get information at the boundaries between phases of the compiler.

--proc-size-statistics filename

Append information about the size of each procedure in the module in terms of goals and variables to the end of the named file.

--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.

-N

--debug-modes

Output debugging traces of the mode checking.

--debug-modes-verbose

Output detailed debugging traces of the mode checking.

--debug-modes-pred-id predid

With ‘--debug-modes’, restrict the debugging traces to the mode checking of the predicate or function with the specified pred id.

--debug-det

--debug-determinism

Output detailed debugging traces of determinism analysis.

--debug-opt

Output detailed debugging traces of the optimization process.

--debug-opt-pred-id predid

Output detailed debugging traces of the optimization process only for the predicate/function with the specified pred id. May be given more than once.

--debug-opt-pred-name name

Output detailed debugging traces of the optimization process only for the predicate/function with the specified name. May be given more than once.

--debug-pd

Output detailed debugging traces of the partial deduction and deforestation process.

--debug-liveness <n>

Output detailed debugging traces of the liveness analysis of the predicate with the given predicate id.

--debug-make

Output detailed debugging traces of the ‘--make’ option.

--debug-intermodule-analysis

Output detailed debugging traces of the ‘--intermodule-analysis’ option.

--debug-indirect-reuse

Output detailed debugging traces of the indirect reuse pass of ‘--structure-reuse’ option.

--debug-type-rep

Output debugging traces of type representation choices.