Previous: , Up: Top   [Contents][Index]


Index

Jump to:   -   .  
A   B   C   D   E   F   G   H   I   J   L   M   N   O   P   Q   R   S   T   U   V   W  
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

Jump to:   -   .  
A   B   C   D   E   F   G   H   I   J   L   M   N   O   P   Q   R   S   T   U   V   W  

Previous: , Up: Top   [Contents][Index]