| Index Entry | | Section |
|
- | | |
| --allow-non-contig-for-2025-06-01 : | | Operation selection options for developers only |
| --allow-non-contiguity-for : | | Warnings about programming style |
| --allow-stubs : | | Options that control inference |
| --allow-undefined : | | Options for linking just C code |
| --analyse-exceptions : | | Options that control program analyses |
| --analyse-mm-tabling : | | Options that control program analyses |
| --analyse-trail-usage : | | Options that control program analyses |
| --analysis-repeat : | | Overall control of optimizations |
| --ansi-c : | | Now-unused former options kept for compatibility |
| --asm-labels : | | LLDS backend grade options |
| --auto-comments : | | Options that ask for modified output |
| --binary-switch-size : | | Optimizations specific to low level code |
| --boehm-gc-calc-time (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --boehm-gc-free-space-divisor (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --branch-delay-slot : | | Options that record autoconfigured parameters |
| --bug-foreign_import-2002-08-06 : | | Operation selection options for developers only |
| --bug-intermod-2002-06-13 : | | Operation selection options for developers only |
| --bug-intermod-2006-09-28 : | | Operation selection options for developers only |
| --builtin-lt-gt-2018-10-08 : | | Operation selection options for developers only |
| --C# : | | Target options |
| --C#-only : | | Target options |
| --c-debug : | | General options for compiling target language code |
| --c-debug-grade : | | MLDS backend grade options |
| --c-include-dir : | | Options for compiling C code |
| --c-include-directory : | | Options for compiling C code |
| --c-optimise : | | Options for compiling C code |
| --c-optimize : | | Options for compiling C code |
| --can-fail-function-obsolete-2024-08-10 : | | Operation selection options for developers only |
| --cc : | | Options for compiling C code |
| --cc : | | C compilers |
| --cflag : | | Options for compiling C code |
| --cflags : | | Options for compiling C code |
| --check-term : | | Options that control program analyses |
| --check-termination : | | Options that control program analyses |
| --checked-nondet-tailcalls : | | Optimizations specific to low level code |
| --chk-term : | | Options that control program analyses |
| --cli-interpreter : | | Options for compiling C# code |
| --color-diagnostics : | | Options that control color in diagnostics |
| --color-scheme : | | Options that control color in diagnostics |
| --colour-diagnostics : | | Options that control color in diagnostics |
| --colour-scheme : | | Options that control color in diagnostics |
| --common-data : | | Optimizations specific to low level code |
| --common-layout-data : | | Optimizations specific to low level code |
| --common-struct : | | Source-to-source optimizations |
| --compile-only : | | Options that give the compiler its overall task |
| --compile-to-c : | | Target options |
| --compile-to-C : | | Target options |
| --compound-compare-builtins-2007-07-09 : | | Operation selection options for developers only |
| --config-file : | | Options specifying properties of the environment |
| --const-struct : | | Source-to-source optimizations |
| --constraint-propagation : | | Source-to-source optimizations |
| --control-granularity : | | Operation selection options for developers only |
| --convert-to-mercury : | | Options that give the compiler its overall task |
| --convert-to-Mercury : | | Options that give the compiler its overall task |
| --coverage-profiling : | | Profiling grade options |
| --coverage-test (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --coverage-test-if-exec (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --csharp : | | Target options |
| --csharp-compiler : | | Options for compiling C# code |
| --csharp-flag : | | Options for compiling C# code |
| --csharp-flags : | | Options for compiling C# code |
| --csharp-only : | | Target options |
| --cstack-reserve-size : | | Options for linking just C code |
| --ctgc : | | Experimental source-to-source optimizations |
| --ctgc-constraint : | | Experimental source-to-source optimizations |
| --ctgc-constraint-arg : | | Experimental source-to-source optimizations |
| --cutstack-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --cutstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --debug : | | Quick overview |
| --debug : | | Debugging grade options |
| --debug-det : | | Verbosity options |
| --debug-determinism : | | Verbosity options |
| --debug-indirect-reuse : | | Verbosity options |
| --debug-intermodule-analysis : | | Verbosity options |
| --debug-liveness : | | Verbosity options |
| --debug-make : | | Verbosity options |
| --debug-modes : | | Verbosity options |
| --debug-modes-minimal : | | Verbosity options |
| --debug-modes-pred-id : | | Verbosity options |
| --debug-modes-statistics : | | Verbosity options |
| --debug-modes-verbose : | | Verbosity options |
| --debug-opt : | | Verbosity options |
| --debug-opt-pred-id : | | Verbosity options |
| --debug-opt-pred-name : | | Verbosity options |
| --debug-pd : | | Verbosity options |
| --debug-threads (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --debug-trail-usage : | | Verbosity options |
| --debug-type-rep : | | Verbosity options |
| --decl-debug : | | Debugging grade options |
| --deep-profiling : | | Profiling grade options |
| --deep-std-name : | | Environment variables affecting the Mercury runtime system |
| --default-runtime-library-directory : | | Options for linking just C code |
| --deforestation : | | Source-to-source optimizations |
| --deforestation-depth-limit : | | Source-to-source optimizations |
| --deforestation-size-threshold : | | Source-to-source optimizations |
| --deforestation-vars-threshold : | | Source-to-source optimizations |
| --delay-construct : | | Source-to-source optimizations |
| --delay-constructs : | | Source-to-source optimizations |
| --delay-death : | | Preparing code for mdb debugging |
| --delay-death-max-vars : | | Preparing code for mdb debugging |
| --demangle : | | Using mprof for time profiling |
| --demangle : | | Options for linking just C code |
| --dense-switch-req-density : | | Optimizations during code generation |
| --dense-switch-size : | | Optimizations during code generation |
| --detect-libgrades : | | Options controlling the library installation process |
| --detect-stdlib-grades : | | Options controlling the library installation process |
| --detstack-size : | | Running |
| --detstack-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --detstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --distance-granularity : | | Operation selection options for developers only |
| --dump-hlds : | | Options for dumping internal compiler data structures |
| --dump-hlds-file-suffix : | | Options for dumping internal compiler data structures |
| --dump-hlds-inst-limit : | | Options for dumping internal compiler data structures |
| --dump-hlds-inst-size-limit : | | Options for dumping internal compiler data structures |
| --dump-hlds-options : | | Options for dumping internal compiler data structures |
| --dump-hlds-pred-id : | | Options for dumping internal compiler data structures |
| --dump-hlds-pred-name : | | Options for dumping internal compiler data structures |
| --dump-mlds : | | Options for dumping internal compiler data structures |
| --dump-mlds-pred-name : | | Options for dumping internal compiler data structures |
| --dump-same-hlds : | | Options for dumping internal compiler data structures |
| --dym-2024-02-08 : | | Operation selection options for developers only |
| --eliminate-local-variables : | | Optimizations specific to high level code |
| --eliminate-local-vars : | | Optimizations specific to high level code |
| --emit-c-loops : | | Optimizations specific to low level code |
| --enable-term : | | Options that control program analyses |
| --enable-termination : | | Options that control program analyses |
| --env-type : | | Options specifying properties of the environment |
| --error-files-in-subdir : | | Options that control diagnostics |
| --errorcheck-only : | | Options that give the compiler its overall task |
| --escape-2024-04-28 : | | Operation selection options for developers only |
| --event-set-file-name : | | Preparing code for mdb debugging |
| --everything-in-one-c-function : | | Now-unused former options kept for compatibility |
| --everything-in-one-C-function : | | Now-unused former options kept for compatibility |
| --excess-assign : | | Source-to-source optimizations |
| --exec-trace-tail-rec : | | Preparing code for mdb debugging |
| --extra-init-command : | | Options controlling the library installation process |
| --extra-initialization-functions : | | Options for linking just C code |
| --extra-inits : | | Options for linking just C code |
| --extra-lib-header : | | Options controlling the library installation process |
| --extra-library-header : | | Options controlling the library installation process |
| --fact-table-hash-percent-full : | | Operation selection options for developers only |
| --fact-table-max-array-size : | | Operation selection options for developers only |
| --failing-disjunct-in-switch-dup-fix : | | Operation selection options for developers only |
| --feedback-file : | | Operation selection options for developers only |
| --filenames-from-stdin : | | Options for modifying the command line |
| --fixed-contiguity-2018-10-19 : | | Operation selection options for developers only |
| --flags : | | Options for modifying the command line |
| --flags-file : | | Options for modifying the command line |
| --foreign-enum-switch-fix : | | Operation selection options for developers only |
| --foreign-proc-typeinfo-2020-04-08 : | | Operation selection options for developers only |
| --format-2023-01-27 : | | Operation selection options for developers only |
| --format-2024-02-07 : | | Operation selection options for developers only |
| --format-uint-2020-05-23 : | | Operation selection options for developers only |
| --fp-rounding-mode (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --framework : | | Options for linking just C code |
| --framework-directory : | | Options for linking just C code |
| --fully-strict : | | Options specifying the intended semantics |
| --garbage-collection : | | Optional feature grade options |
| --gc : | | Optional feature grade options |
| --gcc-global-registers : | | LLDS backend grade options |
| --gcc-non-local-gotos : | | LLDS backend grade options |
| --gen-dep-ints-2023-10-15 : | | Operation selection options for developers only |
| --generate-dependencies : | | Options that give the compiler its overall task |
| --generate-dependencies-ints : | | Options that give the compiler its overall task |
| --generate-dependency-file : | | Options that give the compiler its overall task |
| --generate-mmc-deps : | | Options intended for internal use by the compiler only |
| --generate-mmc-make-module-dependencies : | | Options intended for internal use by the compiler only |
| --generate-module-order : | | Options that control transitive intermodule optimization |
| --generate-source-file-mapping : | | Options that give the compiler its overall task |
| --generate-standalone-interface : | | Options that give the compiler its overall task |
| --generate-trail-ops-inline : | | Source-to-source optimizations |
| --genstack-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --genstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --github-85--2020-03-24 : | | Operation selection options for developers only |
| --grade : | | Grades and grade components |
| --halt-at-invalid-interface : | | Options about halting for warnings |
| --halt-at-syntax-errors : | | Options about halting for warnings |
| --halt-at-warn : | | Options about halting for warnings |
| --halt-at-warn-make-int : | | Options about halting for warnings |
| --halt-at-warn-make-interface : | | Options about halting for warnings |
| --halt-at-warn-make-opt : | | Options about halting for warnings |
| --have-delay-slot : | | Options that record autoconfigured parameters |
| --heap-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --heap-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --help : | | Invocation |
| --help : | | Help options |
| --high-level-c : | | MLDS backend grade options |
| --high-level-C : | | MLDS backend grade options |
| --high-level-code : | | Using mprof for time profiling |
| --high-level-code : | | MLDS backend grade options |
| --higher-order-arg-limit : | | Source-to-source optimizations |
| --higher-order-size-limit : | | Source-to-source optimizations |
| --highlevel-c : | | MLDS backend grade options |
| --highlevel-C : | | MLDS backend grade options |
| --highlevel-code : | | MLDS backend grade options |
| --hlds-dump : | | Options for dumping internal compiler data structures |
| --host-env-type : | | Options specifying properties of the environment |
| --implicit-parallelism : | | Operation selection options for developers only |
| --imports-graph : | | Options that ask for informational files |
| --infer-all : | | Options that control inference |
| --infer-det : | | Options that control inference |
| --infer-determinism : | | Options that control inference |
| --infer-modes : | | Options that control inference |
| --infer-types : | | Options that control inference |
| --inform-incomplete-switch : | | Warnings about programming style |
| --inform-incomplete-switch-threshold : | | Warnings about programming style |
| --inform-inferred : | | Options that request information |
| --inform-inferred-modes : | | Options that request information |
| --inform-inferred-types : | | Options that request information |
| --inform-ite-instead-of-switch : | | Warnings about programming style |
| --inform-suboptimal-packing : | | Options that request information |
| --inhibit-style-warnings : | | Options that control warnings |
| --inhibit-warnings : | | Options that control warnings |
| --init-file : | | Using non-installed libraries with mmc --make |
| --init-file : | | Options for linking just C code |
| --init-file-directory : | | Options for linking just C code |
| --inline-alloc : | | Optimizations specific to low level code |
| --inline-builtins : | | Source-to-source optimizations |
| --inline-call-cost : | | Source-to-source optimizations |
| --inline-compound-threshold : | | Source-to-source optimizations |
| --inline-linear-tail-rec-sccs : | | Source-to-source optimizations |
| --inline-simple : | | Source-to-source optimizations |
| --inline-simple-threshold : | | Source-to-source optimizations |
| --inline-single-use : | | Source-to-source optimizations |
| --inline-vars-threshold : | | Source-to-source optimizations |
| --inlining : | | Source-to-source optimizations |
| --install-command : | | Options specifying properties of the environment |
| --install-opt-files-2002-08-30 : | | Operation selection options for developers only |
| --install-prefix : | | Options controlling the library installation process |
| --intermod-directory : | | Options controlling searches for files |
| --intermod-inline-simple-threshold : | | Source-to-source optimizations |
| --intermod-opt : | | Overall control of optimizations |
| --intermod-unused-args : | | Source-to-source optimizations |
| --intermodule-analysis : | | Overall control of optimizations |
| --intermodule-optimisation : | | Overall control of optimizations |
| --intermodule-optimization : | | Building libraries with Mmake |
| --intermodule-optimization : | | Using libraries with Mmake |
| --intermodule-optimization : | | Overall control of optimizations |
| --introduce-accumulators : | | Source-to-source optimizations |
| --java : | | Target options |
| --Java : | | Target options |
| --java-archive-command : | | Options for linking just Java code |
| --java-classpath : | | Options for compiling Java code |
| --java-compiler : | | Options for compiling Java code |
| --java-debug : | | General options for compiling target language code |
| --java-export-ref-out : | | Operation selection options for developers only |
| --java-flag : | | Options for compiling Java code |
| --java-flags : | | Options for compiling Java code |
| --java-generics-2010-04-13 : | | Operation selection options for developers only |
| --java-interpreter : | | Options for compiling Java code |
| --java-only : | | Target options |
| --Java-only : | | Target options |
| --java-runtime-flag : | | Options for compiling Java code |
| --java-runtime-flags : | | Options for compiling Java code |
| --javac : | | Options for compiling Java code |
| --javac-flag : | | Options for compiling Java code |
| --javac-flags : | | Options for compiling Java code |
| --jobs : | | Options for controlling mmc --make |
| --keep-going : | | Options for controlling mmc --make |
| --layout-compression-limit : | | Optimizations specific to low level code |
| --ld-flag : | | Options for linking just C code |
| --ld-flags : | | Options for linking just C code |
| --ld-libflag : | | Options for linking just C code |
| --ld-libflags : | | Options for linking just C code |
| --lib-linkage : | | Options controlling the library installation process |
| --libgrade : | | Options controlling the library installation process |
| --libgrade-install-check : | | Options controlling the library installation process |
| --libgrades-exclude : | | Options controlling the library installation process |
| --libgrades-exclude-component : | | Options controlling the library installation process |
| --libgrades-include : | | Options controlling the library installation process |
| --libgrades-include-component : | | Options controlling the library installation process |
| --library : | | Options for linking C or C# code |
| --library-directory : | | Options for linking C or C# code |
| --library-grade : | | Options controlling the library installation process |
| --library-install-linkage : | | Options controlling the library installation process |
| --library-linkage : | | Options controlling the library installation process |
| --limit-error-contexts : | | Options that control diagnostics |
| --line-numbers : | | Options that ask for modified output |
| --line-numbers-around-foreign-code : | | Options that ask for modified output |
| --line-numbers-for-c-headers : | | Options that ask for modified output |
| --link-executable-command : | | Options for linking just C code |
| --link-object : | | Using non-installed libraries with mmc --make |
| --link-object : | | Options for linking just C code |
| --link-shared-lib-command : | | Options for linking just C code |
| --linkage : | | Options for linking just C code |
| --llds-optimise : | | Optimizations specific to low level code |
| --llds-optimize : | | Optimizations specific to low level code |
| --local-constraint-propagation : | | Source-to-source optimizations |
| --local-thread-engine-base : | | Optimizations specific to low level code |
| --lookup-switch-req-density : | | Optimizations during code generation |
| --lookup-switch-size : | | Optimizations during code generation |
| --loop-invariants : | | Source-to-source optimizations |
| --main : | | Options for linking just C code |
| --make : | | Using Mmake |
| --make : | | Options that give the compiler its overall task |
| --make-int : | | Filenames |
| --make-int : | | Using mmc |
| --make-int : | | Options that give the compiler its overall task |
| --make-interface : | | Filenames |
| --make-interface : | | Options that give the compiler its overall task |
| --make-opt-int : | | Using mmc |
| --make-opt-int : | | Options that give the compiler its overall task |
| --make-optimisation-interface : | | Options that give the compiler its overall task |
| --make-optimization-interface : | | Filenames |
| --make-optimization-interface : | | Options that give the compiler its overall task |
| --make-priv-int : | | Using mmc |
| --make-priv-int : | | Options that give the compiler its overall task |
| --make-priv-interface : | | Filenames |
| --make-private-interface : | | Filenames |
| --make-private-interface : | | Options that give the compiler its overall task |
| --make-short-int : | | Filenames |
| --make-short-int : | | Using mmc |
| --make-short-int : | | Options that give the compiler its overall task |
| --make-short-interface : | | Filenames |
| --make-short-interface : | | Options that give the compiler its overall task |
| --make-trans-opt : | | Filenames |
| --make-trans-opt : | | Using mmc |
| --make-trans-opt : | | Options that give the compiler its overall task |
| --make-transitive-optimisation-interface : | | Options that give the compiler its overall task |
| --make-transitive-optimization-interface : | | Filenames |
| --make-transitive-optimization-interface : | | Options that give the compiler its overall task |
| --make-xml-doc : | | Options that give the compiler its overall task |
| --make-xml-documentation : | | Options that give the compiler its overall task |
| --mantis-bug-529-2021-02-25 : | | Operation selection options for developers only |
| --max-contexts-per-thread (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --max-engines (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --max-error-line-width : | | Options that control diagnostics |
| --max-jump-table-size : | | Options that record autoconfigured parameters |
| --may-ignore-without-warning-2020-08-18 : | | Operation selection options for developers only |
| --maybe-thread-safe : | | Optional feature grade options |
| --mdb-err (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --mdb-in (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --mdb-in-window (mdb option) : | | Mercury debugger invocation |
| --mdb-out (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --mdb-tty (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --mem-usage-report (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --memory-profiling : | | Profiling grade options |
| --mercury-config-dir : | | Options specifying properties of the environment |
| --mercury-configuration-directory : | | Options specifying properties of the environment |
| --mercury-library : | | Using installed libraries with mmc --make |
| --mercury-library : | | General options for linking |
| --mercury-library-directory : | | Using installed libraries with mmc --make |
| --mercury-library-directory : | | General options for linking |
| --mercury-linkage : | | Options for linking just C code |
| --mercury-standard-library-directory : | | General options for linking |
| --mercury-stdlib-dir : | | General options for linking |
| --middle-rec : | | Optimizations specific to low level code |
| --ml : | | Using installed libraries with mmc --make |
| --ml : | | General options for linking |
| --mld : | | Using installed libraries with mmc --make |
| --mld : | | General options for linking |
| --mlds-dump : | | Options for dumping internal compiler data structures |
| --mlds-optimise : | | Optimizations specific to high level code |
| --mlds-optimize : | | Optimizations specific to high level code |
| --mlds-peephole : | | Optimizations specific to high level code |
| --mmake-all-2020-05-25 : | | Operation selection options for developers only |
| --mode-inference-iteration-limit : | | Options that control inference |
| --no- : | | Invocation overview |
| --no-allow-non-contiguity-for : | | Warnings about programming style |
| --no-allow-undefined : | | Options for linking just C code |
| --no-ansi-c : | | Now-unused former options kept for compatibility |
| --no-asm-labels : | | LLDS backend grade options |
| --no-c-include-dir : | | Options for compiling C code |
| --no-c-include-directory : | | Options for compiling C code |
| --no-cflags : | | Options for compiling C code |
| --no-color-diagnostics : | | Options that control color in diagnostics |
| --no-colour-diagnostics : | | Options that control color in diagnostics |
| --no-common-layout-data : | | Optimizations specific to low level code |
| --no-config-file : | | Options specifying properties of the environment |
| --no-const-struct : | | Source-to-source optimizations |
| --no-coverage-profiling : | | Profiling grade options |
| --no-csharp-flags : | | Options for compiling C# code |
| --no-debug-opt-pred-id : | | Verbosity options |
| --no-debug-opt-pred-name : | | Verbosity options |
| --no-default-runtime-library-directory : | | Options for linking just C code |
| --no-delay-death : | | Preparing code for mdb debugging |
| --no-demangle : | | Using mprof for time profiling |
| --no-demangle : | | Options for linking just C code |
| --no-det-warning-compound-compare-2007-07-17 : | | Operation selection options for developers only |
| --no-detect-libgrades : | | Options controlling the library installation process |
| --no-detect-stdlib-grades : | | Options controlling the library installation process |
| --no-dump-hlds : | | Options for dumping internal compiler data structures |
| --no-dump-hlds-pred-id : | | Options for dumping internal compiler data structures |
| --no-dump-hlds-pred-name : | | Options for dumping internal compiler data structures |
| --no-dump-mlds : | | Options for dumping internal compiler data structures |
| --no-dump-mlds-pred-name : | | Options for dumping internal compiler data structures |
| --no-extra-init-command : | | Options controlling the library installation process |
| --no-extra-lib-header : | | Options controlling the library installation process |
| --no-extra-library-header : | | Options controlling the library installation process |
| --no-framework : | | Options for linking just C code |
| --no-framework-directory : | | Options for linking just C code |
| --no-fully-strict : | | Options specifying the intended semantics |
| --no-gcc-global-registers : | | LLDS backend grade options |
| --no-gcc-non-local-gotos : | | LLDS backend grade options |
| --no-generate-standalone-interface : | | Options that give the compiler its overall task |
| --no-generate-trail-ops-inline : | | Source-to-source optimizations |
| --no-halt-at-invalid-interface : | | Options about halting for warnings |
| --no-hlds-dump : | | Options for dumping internal compiler data structures |
| --no-infer-all : | | Options that control inference |
| --no-infer-det : | | Options that control inference |
| --no-infer-determinism : | | Options that control inference |
| --no-inform-inferred : | | Options that request information |
| --no-inform-inferred-modes : | | Options that request information |
| --no-inform-inferred-types : | | Options that request information |
| --no-inhibit-style-warnings : | | Options that control warnings |
| --no-inhibit-warnings : | | Options that control warnings |
| --no-init-file : | | Options for linking just C code |
| --no-init-file-directory : | | Options for linking just C code |
| --no-inline-builtins : | | Source-to-source optimizations |
| --no-inlining : | | Source-to-source optimizations |
| --no-intermod-directory : | | Options controlling searches for files |
| --no-java-classpath : | | Options for compiling Java code |
| --no-java-flags : | | Options for compiling Java code |
| --no-java-runtime-flags : | | Options for compiling Java code |
| --no-javac-flags : | | Options for compiling Java code |
| --no-ld-flags : | | Options for linking just C code |
| --no-ld-libflags : | | Options for linking just C code |
| --no-lib-linkage : | | Options controlling the library installation process |
| --no-libgrade : | | Options controlling the library installation process |
| --no-libgrade-install-check : | | Options controlling the library installation process |
| --no-libgrades-exclude : | | Options controlling the library installation process |
| --no-libgrades-exclude-component : | | Options controlling the library installation process |
| --no-libgrades-include : | | Options controlling the library installation process |
| --no-libgrades-include-component : | | Options controlling the library installation process |
| --no-library : | | Options for linking C or C# code |
| --no-library-directory : | | Options for linking C or C# code |
| --no-library-grade : | | Options controlling the library installation process |
| --no-library-install-linkage : | | Options controlling the library installation process |
| --no-library-linkage : | | Options controlling the library installation process |
| --no-limit-error-contexts : | | Options that control diagnostics |
| --no-line-numbers-around-foreign-code : | | Options that ask for modified output |
| --no-link-object : | | Options for linking just C code |
| --no-local-thread-engine-base : | | Optimizations specific to low level code |
| --no-main : | | Options for linking just C code |
| --no-max-error-line-width : | | Options that control diagnostics |
| --no-mercury-standard-library-directory : | | General options for linking |
| --no-mercury-stdlib-dir : | | General options for linking |
| --no-mlds-dump : | | Options for dumping internal compiler data structures |
| --no-noncompact-ho-call-2004-01-15 : | | Operation selection options for developers only |
| --no-optimise-saved-vars : | | Source-to-source optimizations |
| --no-optimize-format-calls : | | Source-to-source optimizations |
| --no-optimize-saved-vars : | | Source-to-source optimizations |
| --no-options-file : | | Options specifying properties of the environment |
| --no-options-search-directory : | | Options controlling searches for files |
| --no-output-compile-error-lines : | | Verbosity options |
| --no-pre-link-command : | | Options for controlling mmc --make |
| --no-profiling : | | Profiling grade options |
| --no-read-opt-files-transitively : | | Overall control of optimizations |
| --no-reorder-conj : | | Options specifying the intended semantics |
| --no-reorder-disj : | | Options specifying the intended semantics |
| --no-reserved-addrs : | | Operation selection options for developers only |
| --no-runtime-flags : | | Options for linking just C code |
| --no-runtime-library-directory : | | Options for linking just C code |
| --no-search-directory : | | Options controlling searches for files |
| --no-show-pred-movability : | | Options that request information |
| --no-show-pred-moveability : | | Options that request information |
| --no-split-switch-arms : | | Source-to-source optimizations |
| --no-strip : | | Options for linking just C code |
| --no-trace-flag : | | Controlling trace goals |
| --no-trace-init-file : | | Options for linking just C code |
| --no-use-readline : | | Options for linking just C code |
| --no-use-search-directories-for-intermod : | | Options controlling searches for files |
| --no-verbose-dump-mlds : | | Options for dumping internal compiler data structures |
| --no-verbose-make : | | Verbosity options |
| --no-verbose-mlds-dump : | | Options for dumping internal compiler data structures |
| --no-warn-accumulator-swaps : | | Warnings about possible performance issues |
| --no-warn-ambiguous-pragma : | | Warnings about possible incorrectness |
| --no-warn-ambiguous-pragmas : | | Warnings about possible incorrectness |
| --no-warn-det-decls-too-lax : | | Warnings about possible incorrectness |
| --no-warn-inferred-erroneous : | | Warnings about possible incorrectness |
| --no-warn-insts-without-matching-type : | | Warnings about possible incorrectness |
| --no-warn-interface-imports : | | Warnings about possible incorrectness |
| --no-warn-known-bad-format-calls : | | Warnings about possible incorrectness |
| --no-warn-missing-opt-files : | | Warnings about possible incorrectness |
| --no-warn-missing-trans-opt-deps : | | Warnings about possible incorrectness |
| --no-warn-non-contiguous-decls : | | Warnings about programming style |
| --no-warn-non-tail-recursion : | | Warnings about possible performance issues |
| --no-warn-non-term-special-preds : | | Warnings about possible incorrectness |
| --no-warn-nothing-exported : | | Warnings about possible incorrectness |
| --no-warn-obsolete : | | Warnings about possible incorrectness |
| --no-warn-only-one-format-string-error : | | Options that control warnings |
| --no-warn-overlapping-scopes : | | Warnings about possible incorrectness |
| --no-warn-redundant-coerce : | | Warnings about programming style |
| --no-warn-repeated-singleton-variables : | | Warnings about possible incorrectness |
| --no-warn-repeated-singleton-vars : | | Warnings about possible incorrectness |
| --no-warn-simple-code : | | Warnings about programming style |
| --no-warn-singleton-variables : | | Warnings about possible incorrectness |
| --no-warn-singleton-vars : | | Warnings about possible incorrectness |
| --no-warn-state-var-shadowing : | | Warnings about programming style |
| --no-warn-stdlib-shadowing : | | Warnings about possible incorrectness |
| --no-warn-stubs : | | Warnings about possible incorrectness |
| --no-warn-suspected-occurs-check-failure : | | Warnings about possible incorrectness |
| --no-warn-suspected-occurs-failure : | | Warnings about possible incorrectness |
| --no-warn-table-with-inline : | | Warnings about possible incorrectness |
| --no-warn-target-code : | | General options for compiling target language code |
| --no-warn-undefined-options-variables : | | Warnings about possible incorrectness |
| --no-warn-undefined-options-vars : | | Warnings about possible incorrectness |
| --no-warn-unification-cannot-succeed : | | Warnings about possible incorrectness |
| --no-warn-unneeded-final-statevars : | | Warnings about possible performance issues |
| --no-warn-unneeded-final-statevars-lambda : | | Warnings about possible performance issues |
| --no-warn-unneeded-initial-statevars : | | Warnings about programming style |
| --no-warn-unneeded-initial-statevars-lambda : | | Warnings about programming style |
| --no-warn-unneeded-mode-specific-clause : | | Warnings about programming style |
| --no-warn-unresolved-polymorphism : | | Warnings about possible incorrectness |
| --no-warn-up-to-date : | | Options that control warnings |
| --nondetstack-size : | | Running |
| --nondetstack-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --nondetstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --num-ptag-bits : | | Developer grade options |
| --num-real-f-regs : | | Options that record autoconfigured parameters |
| --num-real-f-temps : | | Options that record autoconfigured parameters |
| --num-real-r-regs : | | Options that record autoconfigured parameters |
| --num-real-r-temps : | | Options that record autoconfigured parameters |
| --num-real-temps : | | Options that record autoconfigured parameters |
| --num-tag-bits : | | Developer grade options |
| --obsolete-proc-2019-10-23 : | | Operation selection options for developers only |
| --opt-level : | | Overall control of optimizations |
| --opt-space : | | Overall control of optimizations |
| --optimisation-level : | | Overall control of optimizations |
| --optimise-constant-propagation : | | Source-to-source optimizations |
| --optimise-constructor-last-call : | | Source-to-source optimizations |
| --optimise-dead-procs : | | Source-to-source optimizations |
| --optimise-delay-slot : | | Optimizations specific to low level code |
| --optimise-duplicate-calls : | | Source-to-source optimizations |
| --optimise-dups : | | Optimizations specific to low level code |
| --optimise-frames : | | Optimizations specific to low level code |
| --optimise-fulljumps : | | Optimizations specific to low level code |
| --optimise-higher-order : | | Source-to-source optimizations |
| --optimise-initializations : | | Optimizations specific to high level code |
| --optimise-jumps : | | Optimizations specific to low level code |
| --optimise-labels : | | Optimizations specific to low level code |
| --optimise-peep : | | Optimizations specific to low level code |
| --optimise-proc-dups : | | Optimizations specific to low level code |
| --optimise-reassign : | | Optimizations specific to low level code |
| --optimise-repeat : | | Optimizations specific to low level code |
| --optimise-saved-vars : | | Source-to-source optimizations |
| --optimise-space : | | Overall control of optimizations |
| --optimise-tailcalls : | | Optimizations specific to high level code |
| --optimise-unused-args : | | Source-to-source optimizations |
| --optimization-level : | | Overall control of optimizations |
| --optimize-constant-propagation : | | Source-to-source optimizations |
| --optimize-constructor-last-call : | | Source-to-source optimizations |
| --optimize-dead-procs : | | Source-to-source optimizations |
| --optimize-delay-slot : | | Optimizations specific to low level code |
| --optimize-duplicate-calls : | | Source-to-source optimizations |
| --optimize-dups : | | Optimizations specific to low level code |
| --optimize-format-calls : | | Source-to-source optimizations |
| --optimize-frames : | | Optimizations specific to low level code |
| --optimize-fulljumps : | | Optimizations specific to low level code |
| --optimize-higher-order : | | Source-to-source optimizations |
| --optimize-initializations : | | Optimizations specific to high level code |
| --optimize-jumps : | | Optimizations specific to low level code |
| --optimize-labels : | | Optimizations specific to low level code |
| --optimize-peep : | | Optimizations specific to low level code |
| --optimize-proc-dups : | | Optimizations specific to low level code |
| --optimize-reassign : | | Optimizations specific to low level code |
| --optimize-repeat : | | Optimizations specific to low level code |
| --optimize-saved-vars : | | Source-to-source optimizations |
| --optimize-space : | | Overall control of optimizations |
| --optimize-tailcalls : | | Optimizations specific to high level code |
| --optimize-unused-args : | | Source-to-source optimizations |
| --options-file : | | Options specifying properties of the environment |
| --options-search-directory : | | Options controlling searches for files |
| --order-make-by-timestamp : | | Options for controlling mmc --make |
| --output-c-compiler-type : | | Options that give the compiler its overall task |
| --output-c-include-dir-flags : | | Options that give the compiler its overall task |
| --output-c-include-directory-flags : | | Options that give the compiler its overall task |
| --output-cc : | | Options that give the compiler its overall task |
| --output-cc-type : | | Options that give the compiler its overall task |
| --output-cflags : | | Options that give the compiler its overall task |
| --output-class-dir : | | Options that give the compiler its overall task |
| --output-class-directory : | | Options that give the compiler its overall task |
| --output-compile-error-lines : | | Verbosity options |
| --output-csharp-compiler : | | Options that give the compiler its overall task |
| --output-csharp-compiler-type : | | Options that give the compiler its overall task |
| --output-file : | | Options for linking just C code |
| --output-grade-defines : | | Options that give the compiler its overall task |
| --output-grade-string : | | Options that give the compiler its overall task |
| --output-java-class-dir : | | Options that give the compiler its overall task |
| --output-java-class-directory : | | Options that give the compiler its overall task |
| --output-libgrades : | | Options that give the compiler its overall task |
| --output-library-install-grades : | | Options that give the compiler its overall task |
| --output-library-link-flags : | | Options that give the compiler its overall task |
| --output-link-command : | | Options that give the compiler its overall task |
| --output-opt-opts : | | Options that give the compiler its overall task |
| --output-opt-opts-upto : | | Options that give the compiler its overall task |
| --output-optimization-options : | | Options that give the compiler its overall task |
| --output-optimization-options-upto : | | Options that give the compiler its overall task |
| --output-shared-lib-link-command : | | Options that give the compiler its overall task |
| --output-stdlib-grades : | | Options that give the compiler its overall task |
| --output-stdlib-modules : | | Options that give the compiler its overall task |
| --output-target-arch : | | Options that give the compiler its overall task |
| --parallel : | | Building profiled applications |
| --parallel : | | Optional feature grade options |
| --partial-inst-copy-2021-01-04 : | | Operation selection options for developers only |
| --pessimize-tailcalls : | | Optimizations specific to low level code |
| --pnegstack-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --pnegstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --pre-link-command : | | Options for controlling mmc --make |
| --pretty-print : | | Options that give the compiler its overall task |
| --proc-size-statistics : | | Verbosity options |
| --procs-per-c-function : | | Optimizations specific to low level code |
| --procs-per-C-function : | | Optimizations specific to low level code |
| --profile-for-feedback : | | Profiling grade options |
| --profile-for-implicit-parallelism : | | Profiling grade options |
| --profile-optimised : | | Preparing code for mdprof profiling |
| --profile-optimized : | | Preparing code for mdprof profiling |
| --profiling : | | Profiling grade options |
| --program-in-window (mdb option) : | | Mercury debugger invocation |
| --prolog-is-2020-08-21 : | | Operation selection options for developers only |
| --read-config-file-2003-03-01 : | | Operation selection options for developers only |
| --read-opt-files-transitively : | | Overall control of optimizations |
| --rebuild : | | Options that give the compiler its overall task |
| --reorder-conj : | | Options specifying the intended semantics |
| --reorder-disj : | | Options specifying the intended semantics |
| --report-cmd-line-args : | | Verbosity options |
| --report-cmd-line-args-in-doterr : | | Verbosity options |
| --restricted-command-line : | | Options specifying properties of the environment |
| --reverse-error-order : | | Options that control diagnostics |
| --runtime-flags : | | Options for linking just C code |
| --runtime-library-directory : | | Options for linking just C code |
| --search-directory : | | Options controlling searches for files |
| --search-lib-files-dir : | | Using non-installed libraries with mmc --make |
| --search-lib-files-dir : | | General options for linking |
| --search-library-files-directory : | | General options for linking |
| --shlib-linker-install-name-path : | | Options for linking just C code |
| --show-all-type-repns : | | Options that ask for informational files |
| --show-all-type-representations : | | Options that ask for informational files |
| --show-definition-extents : | | Options that ask for informational files |
| --show-definition-line-counts : | | Options that ask for informational files |
| --show-definitions : | | Options that ask for informational files |
| --show-defn-extents : | | Options that ask for informational files |
| --show-defn-line-counts : | | Options that ask for informational files |
| --show-defns : | | Options that ask for informational files |
| --show-dependency-graph : | | Options that ask for informational files |
| --show-imports-graph : | | Options that ask for informational files |
| --show-local-call-tree : | | Options that ask for informational files |
| --show-local-type-repns : | | Options that ask for informational files |
| --show-local-type-representations : | | Options that ask for informational files |
| --show-make-times : | | Options for controlling mmc --make |
| --show-pred-movability : | | Options that request information |
| --show-pred-moveability : | | Options that request information |
| --sign-assembly : | | Options for linking just C# code |
| --simple-neg : | | Optimizations specific to low level code |
| --simplest-msg-2019-09-22 : | | Operation selection options for developers only |
| --single-prec-float : | | Optional feature grade options |
| --single-precision-float : | | Optional feature grade options |
| --singleton-2023-06-10 : | | Operation selection options for developers only |
| --small-detstack-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --small-detstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --small-nondetstack-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --small-nondetstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --smart-indexing : | | Optimizations during code generation |
| --solutions-heap-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --solutions-heap-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --split-switch-arms : | | Source-to-source optimizations |
| --stack-segments : | | Optional feature grade options |
| --stack-trace-higher-order : | | Preparing code for mdb debugging |
| --static-ground-terms : | | Optimizations during code generation |
| --statistics : | | Verbosity options |
| --store-at-ref-impure-2008-09-11 : | | Operation selection options for developers only |
| --strict-sequential : | | Options specifying the intended semantics |
| --string-binary-switch-size : | | Optimizations during code generation |
| --string-hash-switch-size : | | Optimizations during code generation |
| --string-switch-size : | | Optimizations during code generation |
| --string-trie-size : | | Optimizations during code generation |
| --string-trie-switch-size : | | Optimizations during code generation |
| --strip : | | Options for linking just C code |
| --strip-executable-2014-05-05 : | | Operation selection options for developers only |
| --strip-executable-command : | | Options for linking just C code |
| --strip-executable-shared-flags : | | Options for linking just C code |
| --strip-executable-static-flags : | | Options for linking just C code |
| --strtrie-2022-12-08 : | | Operation selection options for developers only |
| --structure-reuse : | | Experimental source-to-source optimizations |
| --structure-reuse-constraint : | | Experimental source-to-source optimizations |
| --structure-reuse-constraint-arg : | | Experimental source-to-source optimizations |
| --structure-sharing : | | Experimental source-to-source optimizations |
| --structure-sharing-widening : | | Experimental source-to-source optimizations |
| --subtype-opt-2022-02-19 : | | Operation selection options for developers only |
| --system-env-type : | | Options specifying properties of the environment |
| --tabling-statistics (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --tag-switch-size : | | Optimizations during code generation |
| --target : | | Target options |
| --target-code-only : | | Options that give the compiler its overall task |
| --target-debug : | | General options for compiling target language code |
| --target-env-type : | | Options specifying properties of the environment |
| --term-err-limit : | | Options that control program analyses |
| --term-norm : | | Options that control program analyses |
| --term-pass2-2022-12-28 : | | Operation selection options for developers only |
| --term-path-limit : | | Options that control program analyses |
| --term-single-arg : | | Options that control program analyses |
| --termination-error-limit : | | Options that control program analyses |
| --termination-norm : | | Options that control program analyses |
| --termination-path-limit : | | Options that control program analyses |
| --termination-single-argument-analysis : | | Options that control program analyses |
| --thread-pinning (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --threadscope : | | Building profiled applications |
| --threadscope : | | Profiling grade options |
| --trace : | | Preparing code for mdb debugging |
| --trace-count (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trace-count-if-exec (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trace-count-output-file (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trace-count-summary-file (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trace-count-summary-max (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trace-flag : | | Controlling trace goals |
| --trace-goal-only-locals-2017-07-05 : | | Operation selection options for developers only |
| --trace-init-file : | | Options for linking just C code |
| --trace-io-builtins-2006-08-14 : | | Operation selection options for developers only |
| --trace-optimised : | | Preparing code for mdb debugging |
| --trace-optimized : | | Preparing code for mdb debugging |
| --track-flags : | | Options for controlling mmc --make |
| --track-options : | | Options for controlling mmc --make |
| --trail-segment-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trail-segment-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trans-intermod-opt : | | Building libraries with Mmake |
| --trans-intermod-opt : | | Overall control of optimizations |
| --transitive-intermodule-optimisation : | | Overall control of optimizations |
| --transitive-intermodule-optimization : | | Using mmc |
| --transitive-intermodule-optimization : | | Overall control of optimizations |
| --try-switch-size : | | Optimizations specific to low level code |
| --tscp-2024-02-07 : | | Operation selection options for developers only |
| --tty (mdb option) : | | Mercury debugger invocation |
| --type-inference-iteration-limit : | | Options that control inference |
| --type-repn-int3-2020-03-22 : | | Operation selection options for developers only |
| --type-specialisation : | | Source-to-source optimizations |
| --type-specialization : | | Source-to-source optimizations |
| --typecheck-ambiguity-error-limit : | | Options that control diagnostics |
| --typecheck-ambiguity-warn-limit : | | Options that control diagnostics |
| --typecheck-only : | | Options that give the compiler its overall task |
| --typespec-pragma-2022-07-20 : | | Operation selection options for developers only |
| --unneeded-code : | | Source-to-source optimizations |
| --unneeded-code-copy-limit : | | Source-to-source optimizations |
| --unqual-foreign-enums-in-int-files-2019-10-04 : | | Operation selection options for developers only |
| --unsigned-lt-2020-05-25 : | | Operation selection options for developers only |
| --unsigned_lt-2020-05-02 : | | Operation selection options for developers only |
| --unused-statevar-warn-2025-05-16 : | | Operation selection options for developers only |
| --use-atomic-cells : | | Optimizations during code generation |
| --use-grade-subdirs : | | Options controlling searches for files |
| --use-local-vars : | | Optimizations specific to low level code |
| --use-macro-for-redo-fail : | | Optimizations specific to low level code |
| --use-opt-files : | | Overall control of optimizations |
| --use-readline : | | Options for linking just C code |
| --use-search-directories-for-intermod : | | Options controlling searches for files |
| --use-subdirs : | | Filenames |
| --use-subdirs : | | Options controlling searches for files |
| --use-trail : | | Optional feature grade options |
| --use-trans-opt-files : | | Overall control of optimizations |
| --user-guided-type-specialisation : | | Source-to-source optimizations |
| --user-guided-type-specialization : | | Source-to-source optimizations |
| --ushift-2020-04-30 : | | Operation selection options for developers only |
| --ushift-2022-12-06 : | | Operation selection options for developers only |
| --ushift-2022-12-07 : | | Operation selection options for developers only |
| --verb-check-term : | | Options that control program analyses |
| --verb-chk-term : | | Options that control program analyses |
| --verbose : | | Verbosity options |
| --verbose-check-termination : | | Options that control program analyses |
| --verbose-commands : | | Verbosity options |
| --verbose-dump-mlds : | | Options for dumping internal compiler data structures |
| --verbose-error-messages : | | Options that control diagnostics |
| --verbose-make : | | Verbosity options |
| --verbose-mlds-dump : | | Options for dumping internal compiler data structures |
| --version : | | Help options |
| --very-verbose : | | Verbosity options |
| --warn-accumulator-swaps : | | Warnings about possible performance issues |
| --warn-ambiguous-pragma : | | Warnings about possible incorrectness |
| --warn-ambiguous-pragmas : | | Warnings about possible incorrectness |
| --warn-can-fail-function : | | Warnings about programming style |
| --warn-dead-predicates : | | Warnings about programming style |
| --warn-dead-preds : | | Warnings about programming style |
| --warn-dead-procedures : | | Warnings about programming style |
| --warn-dead-procs : | | Warnings about programming style |
| --warn-det-decls-too-lax : | | Warnings about possible incorrectness |
| --warn-duplicate-calls : | | Warnings about programming style |
| --warn-implicit-stream-calls : | | Warnings about programming style |
| --warn-inconsistent-pred-order : | | Warnings about programming style |
| --warn-inconsistent-pred-order-clauses : | | Warnings about programming style |
| --warn-inconsistent-pred-order-foreign-procs : | | Warnings about programming style |
| --warn-inferred-erroneous : | | Warnings about possible incorrectness |
| --warn-insts-with-functors-without-type : | | Warnings about possible incorrectness |
| --warn-insts-without-matching-type : | | Warnings about possible incorrectness |
| --warn-interface-imports : | | Warnings about possible incorrectness |
| --warn-interface-imports-in-parents : | | Warnings about possible incorrectness |
| --warn-known-bad-format-calls : | | Warnings about possible incorrectness |
| --warn-missing-opt-files : | | Warnings about possible incorrectness |
| --warn-missing-trans-opt-deps : | | Warnings about possible incorrectness |
| --warn-missing-trans-opt-files : | | Warnings about possible incorrectness |
| --warn-non-contiguous-clauses : | | Warnings about programming style |
| --warn-non-contiguous-decls : | | Warnings about programming style |
| --warn-non-contiguous-foreign-procs : | | Warnings about programming style |
| --warn-non-stratification : | | Warnings about possible incorrectness |
| --warn-non-tail-recursion : | | Warnings about possible performance issues |
| --warn-non-term-special-preds : | | Warnings about possible incorrectness |
| --warn-nothing-exported : | | Warnings about possible incorrectness |
| --warn-obsolete : | | Warnings about possible incorrectness |
| --warn-obsolete-transform-2023-07-03 : | | Operation selection options for developers only |
| --warn-obvious-non-tail-recursion : | | Warnings about possible performance issues |
| --warn-only-one-format-string-error : | | Options that control warnings |
| --warn-overlapping-scopes : | | Warnings about possible incorrectness |
| --warn-potentially-ambiguous-pragma : | | Warnings about possible incorrectness |
| --warn-potentially-ambiguous-pragmas : | | Warnings about possible incorrectness |
| --warn-redundant-coerce : | | Warnings about programming style |
| --warn-repeated-singleton-variables : | | Warnings about possible incorrectness |
| --warn-repeated-singleton-vars : | | Warnings about possible incorrectness |
| --warn-simple-code : | | Warnings about programming style |
| --warn-singleton-variables : | | Warnings about possible incorrectness |
| --warn-singleton-vars : | | Warnings about possible incorrectness |
| --warn-state-var-shadowing : | | Warnings about programming style |
| --warn-stdlib-shadowing : | | Warnings about possible incorrectness |
| --warn-stubs : | | Warnings about possible incorrectness |
| --warn-suspected-occurs-check-failure : | | Warnings about possible incorrectness |
| --warn-suspected-occurs-failure : | | Warnings about possible incorrectness |
| --warn-suspicious-foreign-code : | | Warnings about programming style |
| --warn-suspicious-foreign-procs : | | Warnings about programming style |
| --warn-suspicious-recursion : | | Warnings about possible incorrectness |
| --warn-table-with-inline : | | Warnings about possible incorrectness |
| --warn-target-code : | | General options for compiling target language code |
| --warn-undefined-options-variables : | | Warnings about possible incorrectness |
| --warn-undefined-options-vars : | | Warnings about possible incorrectness |
| --warn-unification-cannot-succeed : | | Warnings about possible incorrectness |
| --warn-unknown-format-calls : | | Warnings about programming style |
| --warn-unneeded-final-statevars : | | Warnings about possible performance issues |
| --warn-unneeded-final-statevars-lambda : | | Warnings about possible performance issues |
| --warn-unneeded-initial-statevars : | | Warnings about programming style |
| --warn-unneeded-initial-statevars-lambda : | | Warnings about programming style |
| --warn-unneeded-mode-specific-clause : | | Warnings about programming style |
| --warn-unresolved-polymorphism : | | Warnings about possible incorrectness |
| --warn-unsorted-import-block : | | Warnings about programming style |
| --warn-unsorted-import-blocks : | | Warnings about programming style |
| --warn-unused-args : | | Warnings about possible incorrectness |
| --warn-unused-imports : | | Warnings about possible incorrectness |
| --warn-up-to-date : | | Options that control warnings |
| --window (mdb option) : | | Mercury debugger invocation |
| --window-command (mdb option) : | | Mercury debugger invocation |
| --wne-2024-02-21 : | | Operation selection options for developers only |
| -? : | | Help options |
| -c : | | Using mmc |
| -C : | | Options that give the compiler its overall task |
| -c : | | Options that give the compiler its overall task |
| -C (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -d : | | Options for dumping internal compiler data structures |
| -D (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -d- : | | Options for dumping internal compiler data structures |
| -e : | | Options that give the compiler its overall task |
| -E : | | Options that control diagnostics |
| -e (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -f : | | Options that give the compiler its overall task |
| -F : | | Options for linking just C code |
| -F- : | | Options for linking just C code |
| -h : | | Help options |
| -H : | | MLDS backend grade options |
| -i : | | Options that give the compiler its overall task |
| -I : | | Options controlling searches for files |
| -i (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -I- : | | Options controlling searches for files |
| -j : | | Options for controlling mmc --make |
| -k : | | Options for controlling mmc --make |
| -L : | | Options for linking C or C# code |
| -l : | | Options for linking C or C# code |
| -L- : | | Options for linking C or C# code |
| -l- : | | Options for linking C or C# code |
| -M : | | Options that give the compiler its overall task |
| -m : | | Options that give the compiler its overall task |
| -m (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -N : | | Verbosity options |
| -n : | | Options that ask for modified output |
| -o : | | Using mmc |
| -O : | | Overall control of optimizations |
| -o : | | Options for linking just C code |
| -o (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -P : | | Options that give the compiler its overall task |
| -p : | | Profiling grade options |
| -p (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -P (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -p- : | | Profiling grade options |
| -r : | | Options that give the compiler its overall task |
| -R : | | Options for linking just C code |
| -R- : | | Options for linking just C code |
| -s : | | Grades and grade components |
| -S : | | Verbosity options |
| -t : | | Options that give the compiler its overall task |
| -T (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -v : | | Verbosity options |
| -V : | | Verbosity options |
| -w : | | Options that control warnings |
| -w- : | | Options that control warnings |
| -x : | | Options that give the compiler its overall task |
|
. | | |
| .debug (grade modifier: | | Debugging grade options |
| .decldebug (grade modifier: | | Debugging grade options |
| .gc (grade modifier: | | Optional feature grade options |
| .mdbrc: | | Mercury debugger invocation |
| .memprof (grade modifier: | | Profiling grade options |
| .par (grade modifier: | | Optional feature grade options |
| .prof (grade modifier: | | Profiling grade options |
| .profdeep (grade modifier: | | Profiling grade options |
| .stseg (grade modifier: | | Optional feature grade options |
| .threadscope (grade modifier: | | Profiling grade options |
| .tr (grade modifier: | | Optional feature grade options |
|
A | | |
| alias (mdb command) : | | Parameter commands |
| Allocation profiling: | | Profiling |
| Allocation profiling: | | Building profiled applications |
| Allocation profiling: | | Creating profiles |
| Allocation profiling: | | Using mprof for profiling memory allocation |
| Allocation profiling: | | Profiling grade options |
| all_class_decls (mdb command) : | | Developer commands |
| all_procedures (mdb command) : | | Developer commands |
| all_regs (mdb command) : | | Developer commands |
| all_type_ctors (mdb command) : | | Developer commands |
| ambiguity (mdb command) : | | Developer commands |
| AR : | | Building libraries with Mmake |
| ARFLAGS : | | Building libraries with Mmake |
| asm_fast (compilation grade: | | Target options |
| Automatic parallelism: | | Profiling grade options |
|
B | | |
| break (mdb command) : | | Breakpoint commands |
| break points: | | Mercury debugger concepts |
| Breakpoints: | | Breakpoint commands |
| break_print (mdb command) : | | Breakpoint commands |
| break_print (mdb command) : | | Breakpoint commands |
| browse (mdb command) : | | Browsing commands |
| Building profiled applications: | | Building profiled applications |
| Building programs: | | Using Mmake |
|
C | | |
| C compiler: | | Options for compiling C code |
| C compiler options: | | Options for compiling C code |
| C compilers: | | C compilers |
| C# compiler: | | Options for compiling C# code |
| C# compiler options: | | Options for compiling C# code |
| C# libraries: | | Libraries and the C# grade |
| c2init : | | Using mmc |
| C2INITARGS : | | Using Mmake |
| C2INITFLAGS : | | Using Mmake |
| call (trace event): | | Tracing of Mercury programs |
| Call graph profile: | | Using mprof for time profiling |
| cc_query (mdb command) : | | Interactive query commands |
| CFLAGS : | | Using Mmake |
| CIL interpreter: | | Options for compiling C# code |
| CLANG_FLAGS : | | Using Mmake |
| classpath: | | Options for compiling Java code |
| class_decl (mdb command) : | | Developer commands |
| Clauses, procedures without: | | Options that control inference |
| clear_histogram (mdb command) : | | Experimental commands |
| Color schemes: | | Color schemes |
| Compilation speed: | | Overall control of optimizations |
| cond (trace event): | | Tracing of Mercury programs |
| condition (mdb command) : | | Breakpoint commands |
| consumer (mdb command) : | | Developer commands |
| context (mdb command) : | | Parameter commands |
| continue (mdb command) : | | Forward movement commands |
| control-C: | | Mercury debugger concepts |
| Controlling trace goals: | | Controlling trace goals |
| Coverage profiling: | | Profiling grade options |
| Coverage profiling: | | Profiling grade options |
| Creating profiles: | | Creating profiles |
| Cross-mrmodule optimization: | | Overall control of optimizations |
| csharp (compilation grade: | | Target options |
| current (mdb command) : | | Browsing commands |
| Cut stack size: | | Environment variables affecting the Mercury runtime system |
| Cut stack size: | | Environment variables affecting the Mercury runtime system |
| cut_stack (mdb command) : | | Developer commands |
|
D | | |
| Data representation: | | Developer grade options |
| debugger break points: | | Mercury debugger concepts |
| debugger interrupt: | | Mercury debugger concepts |
| debugger print level: | | Mercury debugger concepts |
| debugger procedure specification: | | Mercury debugger concepts |
| debugger trace events: | | Tracing of Mercury programs |
| debugger trace level: | | Preparing a program for debugging |
| Debugging: | | Debugging |
| Debugging: | | Debugging grade options |
| Debugging: | | Debugging grade options |
| Debugging grade options: | | Debugging grade options |
| Debugging Threads: | | Environment variables affecting the Mercury runtime system |
| debug_vars (mdb command) : | | Developer commands |
| Deep profiling: | | Profiling |
| Deep profiling: | | Building profiled applications |
| Deep profiling: | | Creating profiles |
| Deep profiling: | | Using mdprof |
| Deep profiling: | | Profiling grade options |
| deep tracing: | | Preparing a program for debugging |
| delete (mdb command) : | | Breakpoint commands |
| Dependencies: | | Options that give the compiler its overall task |
| depth (mdb command) : | | Parameter commands |
| Determinism inferemce: | | Options that control inference |
| Developer grade options: | | Developer grade options |
| Diagnostic output: | | Diagnostic output |
| Diagnostics options: | | Diagnostics options |
| dice (mdb command) : | | Experimental commands |
| diff (mdb command) : | | Browsing commands |
| Directories: | | Options that control diagnostics |
| Directories: | | Options for compiling Java code |
| Directories: | | Options controlling searches for files |
| Directories: | | Options controlling searches for files |
| Directories: | | Options controlling searches for files |
| Directories: | | Options controlling searches for files |
| Directories: | | Options controlling searches for files |
| Directories: | | Environment |
| Directories for libraries: | | General options for linking |
| Directories for libraries: | | General options for linking |
| Directories for libraries: | | Options for linking C or C# code |
| Directories for libraries: | | Options for linking just C code |
| disable (mdb command) : | | Breakpoint commands |
| disj (trace event): | | Tracing of Mercury programs |
| document (mdb command) : | | Help commands |
| document_category (mdb command) : | | Help commands |
| down (mdb command) : | | Browsing commands |
| dump (mdb command) : | | Browsing commands |
|
E | | |
| echo (mdb command) : | | Parameter commands |
| Efficiency: | | Profiling introduction |
| else (trace event): | | Tracing of Mercury programs |
| Emacs: | | GNU Emacs interface |
| enable (mdb command) : | | Breakpoint commands |
| Enabling the use of color: | | Enabling the use of color |
| Environment variables: | | Environment |
| Environment variables affecting the Mercury compiler: | | Environment variables affecting the Mercury compiler |
| Environment variables affecting the Mercury debugger: | | Environment variables affecting the Mercury debugger |
| Environment variables affecting the Mercury runtime system: | | Environment variables affecting the Mercury runtime system |
| exception (mdb command) : | | Forward movement commands |
| exit (trace event): | | Tracing of Mercury programs |
| Experimental source-to-source optimizations: | | Experimental source-to-source optimizations |
| EXTRA_C2INITARGS : | | Using Mmake |
| EXTRA_C2INITFLAGS : | | Using Mmake |
| EXTRA_CFLAGS : | | Using Mmake |
| EXTRA_GRADEFLAGS : | | Using Mmake |
| EXTRA_JAVACFLAGS : | | Using Mmake |
| EXTRA_LDFLAGS : | | Using Mmake |
| EXTRA_LD_LIBFLAGS : | | Using Mmake |
| EXTRA_LIBRARIES : | | Using Mmake |
| EXTRA_LIBRARIES : | | Using libraries with Mmake |
| EXTRA_LIB_DIRS : | | Using Mmake |
| EXTRA_LIB_DIRS : | | Using libraries with Mmake |
| EXTRA_MCFLAGS : | | Using Mmake |
| EXTRA_MC_MAKE_FLAGS : | | Using Mmake |
| EXTRA_MGNUCFLAGS : | | Using Mmake |
| EXTRA_MLFLAGS : | | Using Mmake |
| EXTRA_MLLIBS : | | Using Mmake |
| EXTRA_MLOBJS : | | Using Mmake |
|
F | | |
| fail (trace event): | | Tracing of Mercury programs |
| fail_trace_counts (mdb command) : | | Parameter commands |
| File extensions: | | Filenames |
| File names: | | Filenames |
| file names: | | Parameter commands |
| File names: | | Options that control diagnostics |
| File names: | | Options controlling searches for files |
| File names: | | Options controlling searches for files |
| finish (mdb command) : | | Forward movement commands |
| flag (mdb command) : | | Developer commands |
| Flat profile: | | Using mprof for time profiling |
| format (mdb command) : | | Parameter commands |
| format_param (mdb command) : | | Parameter commands |
| forward (mdb command) : | | Forward movement commands |
|
G | | |
| Garbage collection, profiling: | | Using mprof for time profiling |
| GCC_FLAGS : | | Using Mmake |
| General options for compiling target language code: | | General options for compiling target language code |
| General options for linking: | | General options for linking |
| Generator stack size: | | Environment variables affecting the Mercury runtime system |
| Generator stack size: | | Environment variables affecting the Mercury runtime system |
| gen_stack (mdb command) : | | Developer commands |
| GNU C: | | C compilers |
| GNU Emacs: | | GNU Emacs interface |
| goal path: | | Tracing of Mercury programs |
| goal_path (mdb command) : | | Parameter commands |
| goto (mdb command) : | | Forward movement commands |
| Grade options: | | Grade options |
| GRADEFLAGS : | | Using Mmake |
| GRADEFLAGS : | | Using Mmake |
| Grades: | | Options controlling searches for files |
| Grades and grade components: | | Grades and grade components |
|
H | | |
| Heap overflow: | | Running |
| Heap profiling: | | Profiling |
| Heap profiling: | | Building profiled applications |
| Heap profiling: | | Creating profiles |
| Heap profiling: | | Using mprof for profiling memory retention |
| Heap profiling: | | Profiling grade options |
| Heap size: | | Running |
| held variables (in mdb): | | Mercury debugger concepts |
| held_vars (mdb command) : | | Browsing commands |
| help (mdb command) : | | Help commands |
| Help option: | | Help options |
| Help options: | | Help options |
| Higher-order specialization: | | Source-to-source optimizations |
| histogram_all (mdb command) : | | Experimental commands |
| histogram_exp (mdb command) : | | Experimental commands |
| hlc (compilation grade: | | Target options |
| hold (mdb command) : | | Browsing commands |
|
I | | |
| ignore (mdb command) : | | Breakpoint commands |
| Inferemce: | | Options that control inference |
| Inferemce of determinism: | | Options that control inference |
| Inferemce of mode: | | Options that control inference |
| Inferemce of mode: | | Options that control inference |
| Inferemce of types: | | Options that control inference |
| Inferemce of types: | | Options that control inference |
| INSTALL : | | Using Mmake |
| INSTALL : | | Using Mmake |
| INSTALL : | | Installing libraries with Mmake |
| INSTALL_MKDIR : | | Using Mmake |
| INSTALL_MKDIR : | | Using Mmake |
| INSTALL_MKDIR : | | Installing libraries with Mmake |
| INSTALL_PREFIX : | | Using Mmake |
| INSTALL_PREFIX : | | Installing libraries with Mmake |
| Intermodule optimization: | | Overall control of optimizations |
| interrupt, in debugger: | | Mercury debugger concepts |
| io_query (mdb command) : | | Interactive query commands |
|
J | | |
| jar files: | | Libraries and the Java grade |
| java (compilation grade: | | Target options |
| Java compiler: | | Options for compiling Java code |
| Java compiler flags: | | Options for compiling Java code |
| Java interpreter: | | Options for compiling Java code |
| Java libraries: | | Libraries and the Java grade |
| Java runtime options: | | Options for compiling Java code |
| JAVACFLAGS : | | Using Mmake |
|
L | | |
| LDFLAGS : | | Using Mmake |
| LD_BIND_NOW : | | Profiling and shared libraries |
| LD_LIBFLAGS : | | Using Mmake |
| level (mdb command) : | | Browsing commands |
| LIBGRADES : | | Using Mmake |
| LIBGRADES : | | Using Mmake |
| LIBGRADES : | | Installing libraries with Mmake |
| Libraries: | | Libraries |
| Libraries, linking with: | | Using installed libraries with mmc --make |
| Libraries, linking with: | | Using non-installed libraries with mmc --make |
| Libraries, linking with: | | Using libraries with Mmake |
| Libraries, linking with: | | Options for linking C or C# code |
| LIB_LINKAGES : | | Using Mmake |
| LIB_LINKAGES : | | Using Mmake |
| line numbers: | | Parameter commands |
| lines (mdb command) : | | Parameter commands |
| LINKAGE : | | Using Mmake |
| list (mdb command) : | | Browsing commands |
| list_cmd (mdb command) : | | Parameter commands |
| list_context_lines (mdb command) : | | Parameter commands |
| list_path (mdb command) : | | Parameter commands |
| LLDS backend grade options: | | LLDS backend grade options |
|
M | | |
| Mac OS X, Using frameworks: | | Options for linking just C code |
| Mac OS X, Using frameworks: | | Options for linking just C code |
| MAIN_TARGET : | | Using Mmake |
| make --- see Mmake : | | Using Mmake |
| maxdepth (mdb command) : | | Forward movement commands |
| max_io_actions (mdb command) : | | Parameter commands |
| MC : | | Using Mmake |
| MCFLAGS : | | Using Mmake |
| MC_BUILD_FILES : | | Using Mmake |
| MC_MAKE_FLAGS : | | Using Mmake |
| mdb : | | Debugging |
| mdb : | | Quick overview |
| mdbrc: | | Mercury debugger invocation |
| mdprof : | | Profiling |
| mdprof : | | Building profiled applications |
| mdprof : | | Creating profiles |
| mdprof : | | Using mdprof |
| Measuring performance: | | Profiling introduction |
| Memory attribution: | | Using mprof for profiling memory retention |
| Memory profiling: | | Profiling |
| Memory profiling: | | Building profiled applications |
| Memory profiling: | | Creating profiles |
| Memory profiling: | | Using mprof for profiling memory allocation |
| Memory profiling: | | Profiling grade options |
| Memory retention: | | Using mprof for profiling memory retention |
| Mercury subdirectory: | | Options that control diagnostics |
| Mercury subdirectory: | | Options controlling searches for files |
| Mercury subdirectory: | | Options controlling searches for files |
| Mercury.options: | | Using Mmake |
| MERCURY_COLOR_SCHEME : | | Environment variables affecting the Mercury compiler |
| MERCURY_COMPILER : | | Environment variables affecting the Mercury compiler |
| MERCURY_DEBUGGER_INIT : | | Mercury debugger invocation |
| MERCURY_DEBUGGER_INIT : | | Environment variables affecting the Mercury debugger |
| MERCURY_DEFAULT_GRADE : | | Environment variables affecting the Mercury compiler |
| MERCURY_DEFAULT_GRADE : | | C compilers |
| MERCURY_ENABLE_COLOR : | | Environment variables affecting the Mercury compiler |
| MERCURY_LINKAGE : | | Using Mmake |
| MERCURY_MAIN_MODULES : | | Using Mmake |
| MERCURY_MKINIT : | | Environment variables affecting the Mercury compiler |
| MERCURY_OPTIONS : | | Running |
| MERCURY_OPTIONS : | | Environment variables affecting the Mercury runtime system |
| MERCURY_STDLIB_DIR : | | Environment variables affecting the Mercury compiler |
| mgnuc : | | Using mmc |
| MGNUC : | | Using Mmake |
| MGNUCFLAGS : | | Using Mmake |
| Microsoft Management Console: | | Using mmc |
| mindepth (mdb command) : | | Forward movement commands |
| ml : | | Using mmc |
| ML : | | Using Mmake |
| ML : | | Building libraries with Mmake |
| MLDS backend grade options: | | MLDS backend grade options |
| MLFLAGS : | | Using Mmake |
| MLFLAGS : | | Building libraries with Mmake |
| MLLIBS : | | Using Mmake |
| MLLIBS : | | Building libraries with Mmake |
| MLOBJS : | | Using Mmake |
| MLOBJS : | | Building libraries with Mmake |
| MLPICOBJS : | | Building libraries with Mmake |
| mmake : | | Using Mmake |
| Mmake variables: | | Using Mmake |
| mmc : | | Using mmc |
| mmc_options (mdb command) : | | Parameter commands |
| mm_stacks (mdb command) : | | Developer commands |
| Mode inference: | | Options that control inference |
| Mode inference: | | Options that control inference |
| modules (mdb command) : | | Breakpoint commands |
| mprof : | | Profiling |
| mprof : | | Building profiled applications |
| mprof : | | Creating profiles |
| mprof : | | Using mprof for time profiling |
| mprof : | | Using mprof for profiling memory allocation |
| mprof : | | Using mprof for profiling memory retention |
| mprof : | | Profiling and shared libraries |
| MSVC_FLAGS : | | Using Mmake |
|
N | | |
| neg_enter (trace event): | | Tracing of Mercury programs |
| neg_fail (trace event): | | Tracing of Mercury programs |
| neg_success (trace event): | | Tracing of Mercury programs |
| next (mdb command) : | | Forward movement commands |
| No clauses, procedures with: | | Options that control inference |
| nondet_stack (mdb command) : | | Developer commands |
| none (compilation grade: | | Target options |
| Now-unused former options kept for compatibility: | | Now-unused former options kept for compatibility |
| NO_COLOR : | | Environment variables affecting the Mercury compiler |
|
O | | |
| Object files, linking with: | | Options for linking just C code |
| Operation selection options for developers only: | | Operation selection options for developers only |
| Optimization: | | Profiling introduction |
| Optimization levels: | | Overall control of optimizations |
| Optimization options: | | Optimization options |
| Optimizations during code generation: | | Optimizations during code generation |
| Optimizations specific to high level code: | | Optimizations specific to high level code |
| Optimizations specific to low level code: | | Optimizations specific to low level code |
| Optional feature grade options: | | Optional feature grade options |
| Options about halting for warnings: | | Options about halting for warnings |
| Options controlling searches for files: | | Options controlling searches for files |
| Options controlling the library installation process: | | Options controlling the library installation process |
| Options files: | | Using Mmake |
| Options for compiling C code: | | Options for compiling C code |
| Options for compiling C# code: | | Options for compiling C# code |
| Options for compiling Java code: | | Options for compiling Java code |
| Options for controlling mmc –make: | | Options for controlling mmc --make |
| Options for developers only: | | Options for developers only |
| Options for dumping internal compiler data structures: | | Options for dumping internal compiler data structures |
| Options for linking: | | Options for linking |
| Options for linking C or C# code: | | Options for linking C or C# code |
| Options for linking just C code: | | Options for linking just C code |
| Options for linking just C# code: | | Options for linking just C# code |
| Options for linking just Java code: | | Options for linking just Java code |
| Options for modifying the command line: | | Options for modifying the command line |
| Options for target language compilation: | | Options for target language compilation |
| Options intended for internal use by the compiler only: | | Options intended for internal use by the compiler only |
| Options specifying properties of the environment: | | Options specifying properties of the environment |
| Options specifying the intended semantics: | | Options specifying the intended semantics |
| Options that ask for informational files: | | Options that ask for informational files |
| Options that ask for modified output: | | Options that ask for modified output |
| Options that control color in diagnostics: | | Options that control color in diagnostics |
| Options that control diagnostics: | | Options that control diagnostics |
| Options that control inference: | | Options that control inference |
| Options that control program analyses: | | Options that control program analyses |
| Options that control transitive intermodule optimization: | | Options that control transitive intermodule optimization |
| Options that control warnings: | | Options that control warnings |
| Options that give the compiler its overall task: | | Options that give the compiler its overall task |
| Options that record autoconfigured parameters: | | Options that record autoconfigured parameters |
| Options that request information: | | Options that request information |
| Ordering diagnostics: | | Ordering diagnostics |
| Overall control of optimizations: | | Overall control of optimizations |
|
P | | |
| Parallel execution profiling: | | Using threadscope |
| Parallel performance: | | Profiling introduction |
| Parallel runtime profiling: | | Building profiled applications |
| pass_trace_counts (mdb command) : | | Parameter commands |
| path: | | Tracing of Mercury programs |
| paths in terms: | | Mercury debugger concepts |
| PIC (position independent code): | | Building libraries with Mmake |
| Pneg stack size: | | Environment variables affecting the Mercury runtime system |
| Pneg stack size: | | Environment variables affecting the Mercury runtime system |
| pneg_stack (mdb command) : | | Developer commands |
| pop_list_dir (mdb command) : | | Parameter commands |
| Position independent code: | | Building libraries with Mmake |
| Preparing code for mdb debugging: | | Preparing code for mdb debugging |
| Preparing code for mdprof profiling: | | Preparing code for mdprof profiling |
| print (mdb command) : | | Browsing commands |
| print level: | | Mercury debugger concepts |
| printlevel (mdb command) : | | Parameter commands |
| print_optionals (mdb command) : | | Developer commands |
| procedure specification (in mdb): | | Mercury debugger concepts |
| procedures (mdb command) : | | Breakpoint commands |
| Procedures with no clauses: | | Options that control inference |
| Profiler feedback: | | Profiling grade options |
| Profiling: | | Profiling |
| Profiling: | | Profiling introduction |
| Profiling: | | Creating profiles |
| Profiling: | | Profiling grade options |
| Profiling: | | Profiling grade options |
| Profiling and shared libraries: | | Profiling and shared libraries |
| Profiling grade options: | | Profiling grade options |
| Profiling interrupts: | | Using mprof for time profiling |
| Profiling memory allocation: | | Profiling |
| Profiling memory allocation: | | Using mprof for profiling memory allocation |
| push_list_dir (mdb command) : | | Parameter commands |
|
Q | | |
| query (mdb command) : | | Interactive query commands |
| quit (mdb command) : | | Miscellaneous commands |
|
R | | |
| RANLIB : | | Building libraries with Mmake |
| RANLIBFLAGS : | | Building libraries with Mmake |
| Recompiling: | | Using Mmake |
| redo (trace event): | | Tracing of Mercury programs |
| reg (compilation grade: | | Target options |
| register (mdb command) : | | Breakpoint commands |
| retry (mdb command) : | | Backward movement commands |
| return (mdb command) : | | Forward movement commands |
| return (mdb command) : | | Forward movement commands |
|
S | | |
| save (mdb command) : | | Miscellaneous commands |
| scope (mdb command) : | | Parameter commands |
| scroll (mdb command) : | | Parameter commands |
| Search path: | | Options controlling searches for files |
| Search path: | | Options controlling searches for files |
| Search path: | | Options controlling searches for files |
| Search path: | | Environment |
| Search path for libraries: | | General options for linking |
| Search path for libraries: | | General options for linking |
| Search path for libraries: | | Options for linking C or C# code |
| Search path for libraries: | | Options for linking just C code |
| shallow tracing: | | Preparing a program for debugging |
| Shared libraries: | | Building libraries with Mmake |
| Shared libraries and profiling: | | Profiling and shared libraries |
| Shared objects: | | Building libraries with Mmake |
| show-ghc-events : | | Using threadscope |
| size (mdb command) : | | Parameter commands |
| source (mdb command) : | | Miscellaneous commands |
| Source-to-source optimizations: | | Source-to-source optimizations |
| Specialization of higher-order calls: | | Source-to-source optimizations |
| spy points: | | Mercury debugger concepts |
| stack (mdb command) : | | Browsing commands |
| Stack overflow: | | Running |
| Stack size: | | Running |
| stack_default_limit (mdb command) : | | Parameter commands |
| stack_regs (mdb command) : | | Developer commands |
| Static libraries: | | Building libraries with Mmake |
| stats (mdb command) : | | Developer commands |
| step (mdb command) : | | Forward movement commands |
| strict debugger commands: | | Mercury debugger concepts |
| Stubs: | | Options that control inference |
| Subdirectories: | | Options that control diagnostics |
| Subdirectories: | | Options controlling searches for files |
| Subdirectories: | | Options controlling searches for files |
| subgoal (mdb command) : | | Developer commands |
| switch (trace event): | | Tracing of Mercury programs |
|
T | | |
| table (mdb command) : | | Developer commands |
| table_io (mdb command) : | | I/O tabling commands |
| Tags: | | Developer grade options |
| Target options: | | Target options |
| term navigation: | | Mercury debugger concepts |
| then (trace event): | | Tracing of Mercury programs |
| Threads, Debugging: | | Environment variables affecting the Mercury runtime system |
| threadscope : | | Building profiled applications |
| threadscope : | | Using threadscope |
| Threadscope profiling: | | Building profiled applications |
| ThreadScope profiling: | | Using threadscope |
| Time profiling: | | Profiling |
| Time profiling: | | Building profiled applications |
| Time profiling: | | Creating profiles |
| Time profiling: | | Using mprof for time profiling |
| Time profiling: | | Profiling grade options |
| trace events: | | Tracing of Mercury programs |
| trace level: | | Preparing a program for debugging |
| Tracing: | | Debugging |
| Tracing: | | Tracing of Mercury programs |
| track (mdb command) : | | Backward movement commands |
| Trail size: | | Environment variables affecting the Mercury runtime system |
| Trail size: | | Environment variables affecting the Mercury runtime system |
| trail_details (mdb command) : | | Developer commands |
| trust (mdb command) : | | Declarative debugging mdb commands |
| trusted (mdb command) : | | Declarative debugging mdb commands |
| Type inference: | | Options that control inference |
| Type inference: | | Options that control inference |
| type_ctor (mdb command) : | | Developer commands |
|
U | | |
| unalias (mdb command) : | | Parameter commands |
| unhide_events (mdb command) : | | Developer commands |
| untrust (mdb command) : | | Declarative debugging mdb commands |
| up (mdb command) : | | Browsing commands |
| user defined event attributes (in mdb): | | Mercury debugger concepts |
| user defined events (in mdb): | | Mercury debugger concepts |
| user_event_context (mdb command) : | | Parameter commands |
| Using a different C compiler: | | C compilers |
|
V | | |
| Variables, environment: | | Environment |
| Variables, Mmake: | | Using Mmake |
| vars (mdb command) : | | Browsing commands |
| var_details (mdb command) : | | Developer commands |
| Verbose diagnostics: | | Verbose vs nonverbose messages |
| Verbosity: | | Verbose vs nonverbose messages |
| Verbosity options: | | Verbosity options |
| view (mdb command) : | | Browsing commands |
|
W | | |
| Warning options: | | Warning options |
| Warnings about possible incorrectness: | | Warnings about possible incorrectness |
| Warnings about possible performance issues: | | Warnings about possible performance issues |
| Warnings about programming style: | | Warnings about programming style |
| web_browser_cmd (mdb command) : | | Parameter commands |
| width (mdb command) : | | Parameter commands |
|