| Index Entry | | Section |
|---|
|
| - | | |
|---|
| --allow-non-contiguity-for: | | Warnings about missing contiguity |
| --allow-stubs: | | Options that control inference |
| --allow-undefined: | | Options for linking just C code |
| --analyse-exceptions: | | Other program analyses |
| --analyse-mm-tabling: | | Other program analyses |
| --analyse-trail-usage: | | Other program analyses |
| --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 |
| --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 |
| --cc: | | Options for compiling C code |
| --cc: | | C compilers |
| --cflag: | | Options for compiling C code |
| --cflags: | | Options for compiling C code |
| --check-term: | | The termination analyser based on linear inequality constraints |
| --check-termination: | | The termination analyser based on linear inequality constraints |
| --checked-nondet-tailcalls: | | Optimizations specific to low level code |
| --chk-term: | | The termination analyser based on linear inequality constraints |
| --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 |
| --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: | | Deep 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 |
| --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: | | Mdb debugging grade options |
| --debug-threads (runtime option): | | Environment variables affecting the Mercury runtime system |
| --decl-debug: | | Mdb debugging grade options |
| --deep-profiling: | | Deep 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: | | Compilation details |
| --detstack-size (runtime option): | | Environment variables affecting the Mercury runtime system |
| --detstack-size-kwords (runtime option): | | Environment variables affecting the Mercury runtime system |
| --dump-hlds: | | Dumping out internal compiler data structures |
| --dump-hlds-options: | | Dumping out internal compiler data structures |
| --dump-hlds-pred-name: | | Dumping out internal compiler data structures |
| --dump-same-hlds: | | Dumping out internal compiler data structures |
| --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: | | The termination analyser based on linear inequality constraints |
| --enable-termination: | | The termination analyser based on linear inequality constraints |
| --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 |
| --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 |
| --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 |
| --filenames-from-stdin: | | Options for modifying the command line |
| --flags: | | Options for modifying the command line |
| --flags-file: | | Options for modifying the command line |
| --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 |
| --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: | | 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 |
| --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 |
| --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: | | Dumping out internal compiler data structures |
| --host-env-type: | | Options specifying properties of the environment |
| --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 style issues with goals |
| --inform-incomplete-switch-threshold: | | Warnings about style issues with goals |
| --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 style issues with goals |
| --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-call-cost: | | Source-to-source optimizations |
| --inline-compound-threshold: | | 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-prefix: | | Options controlling the library installation process |
| --intermod-directory: | | Options controlling searches for files |
| --intermod-inline-simple-threshold: | | Source-to-source optimizations |
| --intermod-opt: | | Non-transitive intermodule optimization |
| --intermod-unused-args: | | Source-to-source optimizations |
| --intermodule-optimisation: | | Non-transitive intermodule optimization |
| --intermodule-optimization: | | Building libraries with Mmake |
| --intermodule-optimization: | | Using libraries with Mmake |
| --intermodule-optimization: | | Non-transitive intermodule optimization |
| --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-flag: | | Options for compiling Java code |
| --java-flags: | | Options for compiling Java code |
| --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: | | Compilation details |
| --make-int: | | Interface files |
| --make-int: | | Options that give the compiler its overall task |
| --make-interface: | | Interface files |
| --make-interface: | | Options that give the compiler its overall task |
| --make-opt-int: | | Compilation details |
| --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: | | Optimization files |
| --make-optimization-interface: | | Options that give the compiler its overall task |
| --make-priv-int: | | Compilation details |
| --make-priv-int: | | Options that give the compiler its overall task |
| --make-priv-interface: | | Interface files |
| --make-private-interface: | | Interface files |
| --make-private-interface: | | Options that give the compiler its overall task |
| --make-short-int: | | Compilation details |
| --make-short-int: | | Interface files |
| --make-short-int: | | Options that give the compiler its overall task |
| --make-short-interface: | | Interface files |
| --make-short-interface: | | Options that give the compiler its overall task |
| --make-trans-opt: | | Compilation details |
| --make-trans-opt: | | Optimization files |
| --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: | | Optimization files |
| --make-transitive-optimization-interface: | | Optimization files |
| --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 |
| --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 |
| --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: | | Mprof 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-optimise: | | Optimizations specific to high level code |
| --mlds-optimize: | | Optimizations specific to high level code |
| --mlds-peephole: | | Optimizations specific to high level code |
| --mode-inference-iteration-limit: | | Options that control inference |
| --mono-path-dir: | | Options for compiling C# code |
| --mono-path-directory: | | Options for compiling C# code |
| --no-: | | Invocation overview |
| --no-allow-non-contiguity-for: | | Warnings about missing contiguity |
| --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: | | Deep profiling grade options |
| --no-csharp-flags: | | Options for compiling C# code |
| --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-detect-libgrades: | | Options controlling the library installation process |
| --no-detect-stdlib-grades: | | Options controlling the library installation process |
| --no-dump-hlds: | | Dumping out internal compiler data structures |
| --no-dump-hlds-pred-name: | | Dumping out 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: | | Dumping out 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-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-mono-path-dir: | | Options for compiling C# code |
| --no-mono-path-directory: | | Options for compiling C# code |
| --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: | | Mprof profiling grade options |
| --no-read-opt-files-transitively: | | Non-transitive intermodule optimization |
| --no-reorder-conj: | | Options specifying the intended semantics |
| --no-reorder-disj: | | Options specifying the intended semantics |
| --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-make: | | Verbosity options |
| --no-warn-accumulator-swaps: | | Warnings about possible performance issues |
| --no-warn-ambiguous-pragma: | | Warnings about possible pragma incorrectness |
| --no-warn-ambiguous-pragmas: | | Warnings about possible pragma incorrectness |
| --no-warn-det-decls-too-lax: | | Warnings about possible predicate incorrectness |
| --no-warn-inferred-erroneous: | | Warnings about possible predicate incorrectness |
| --no-warn-insts-without-matching-type: | | Warnings about possible inst incorrectness |
| --no-warn-interface-imports: | | Warnings about possible module incorrectness |
| --no-warn-known-bad-format-calls: | | Warnings about possible goal incorrectness |
| --no-warn-missing-opt-files: | | Warnings about missing files |
| --no-warn-missing-trans-opt-deps: | | Warnings about missing files |
| --no-warn-non-contiguous-decls: | | Warnings about missing contiguity |
| --no-warn-non-tail-recursion: | | Warnings about possible performance issues |
| --no-warn-non-term-special-preds: | | Warnings about possible predicate incorrectness |
| --no-warn-nothing-exported: | | Warnings about possible module incorrectness |
| --no-warn-obsolete: | | Warnings about possible goal incorrectness |
| --no-warn-overlapping-scopes: | | Warnings about possible goal incorrectness |
| --no-warn-redundant-coerce: | | Warnings about style issues with goals |
| --no-warn-repeated-singleton-variables: | | Warnings about possible goal incorrectness |
| --no-warn-repeated-singleton-vars: | | Warnings about possible goal incorrectness |
| --no-warn-simple-code: | | Warnings about style issues with goals |
| --no-warn-singleton-variables: | | Warnings about possible goal incorrectness |
| --no-warn-singleton-vars: | | Warnings about possible goal incorrectness |
| --no-warn-state-var-shadowing: | | Warnings about style issues with goals |
| --no-warn-stdlib-shadowing: | | Warnings about possible module incorrectness |
| --no-warn-stubs: | | Warnings about possible predicate incorrectness |
| --no-warn-suspected-occurs-check-failure: | | Warnings about possible goal incorrectness |
| --no-warn-suspected-occurs-failure: | | Warnings about possible goal incorrectness |
| --no-warn-table-with-inline: | | Warnings about possible pragma incorrectness |
| --no-warn-target-code: | | General options for compiling target language code |
| --no-warn-undefined-options-variables: | | Warnings about missing files |
| --no-warn-undefined-options-vars: | | Warnings about missing files |
| --no-warn-unification-cannot-succeed: | | Warnings about possible goal 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 style issues with goals |
| --no-warn-unneeded-initial-statevars-lambda: | | Warnings about style issues with goals |
| --no-warn-unneeded-mode-specific-clause: | | Warnings about style issues with predicates |
| --no-warn-unresolved-polymorphism: | | Warnings about possible predicate incorrectness |
| --no-warn-up-to-date: | | Options that control warnings |
| --nondetstack-size: | | Compilation details |
| --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 |
| --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 |
| --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 |
| --procs-per-c-function: | | Optimizations specific to low level code |
| --procs-per-C-function: | | Optimizations specific to low level code |
| --profile-for-feedback: | | Deep profiling grade options |
| --profile-for-implicit-parallelism: | | Deep profiling grade options |
| --profile-optimised: | | Preparing code for mdprof profiling |
| --profile-optimized: | | Preparing code for mdprof profiling |
| --profiling: | | Mprof profiling grade options |
| --program-in-window (mdb option): | | Mercury debugger invocation |
| --read-opt-files-transitively: | | Non-transitive intermodule optimization |
| --rebuild: | | Options that give the compiler its overall task |
| --reorder-conj: | | Options specifying the intended semantics |
| --reorder-disj: | | Options specifying the intended semantics |
| --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 |
| --single-prec-float: | | Optional feature grade options |
| --single-precision-float: | | Optional feature grade options |
| --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 |
| --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-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 |
| --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: | | The termination analyser based on linear inequality constraints |
| --term-norm: | | The termination analyser based on linear inequality constraints |
| --term-path-limit: | | The termination analyser based on linear inequality constraints |
| --term-single-arg: | | The termination analyser based on linear inequality constraints |
| --termination-error-limit: | | The termination analyser based on linear inequality constraints |
| --termination-norm: | | The termination analyser based on linear inequality constraints |
| --termination-path-limit: | | The termination analyser based on linear inequality constraints |
| --termination-single-argument-analysis: | | The termination analyser based on linear inequality constraints |
| --thread-pinning (runtime option): | | Environment variables affecting the Mercury runtime system |
| --threadscope: | | Building profiled applications |
| --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-init-file: | | Options for linking just C code |
| --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: | | Transitive intermodule optimization |
| --transitive-intermodule-optimisation: | | Transitive intermodule optimization |
| --transitive-intermodule-optimization: | | Compilation details |
| --transitive-intermodule-optimization: | | Transitive intermodule optimization |
| --try-switch-size: | | Optimizations specific to low level code |
| --tty (mdb option): | | Mercury debugger invocation |
| --type-inference-iteration-limit: | | Options that control inference |
| --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 |
| --unneeded-code: | | Source-to-source optimizations |
| --unneeded-code-copy-limit: | | Source-to-source optimizations |
| --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: | | Non-transitive intermodule optimization |
| --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: | | Transitive intermodule optimization |
| --user-guided-type-specialisation: | | Source-to-source optimizations |
| --user-guided-type-specialization: | | Source-to-source optimizations |
| --verb-check-term: | | The termination analyser based on linear inequality constraints |
| --verb-chk-term: | | The termination analyser based on linear inequality constraints |
| --verbose: | | Verbosity options |
| --verbose-check-termination: | | The termination analyser based on linear inequality constraints |
| --verbose-commands: | | Verbosity options |
| --verbose-error-messages: | | Options that control diagnostics |
| --verbose-errors: | | Options that control diagnostics |
| --verbose-make: | | Verbosity options |
| --version: | | Help options |
| --very-verbose: | | Verbosity options |
| --warn-accumulator-swaps: | | Warnings about possible performance issues |
| --warn-all-format-string-errors: | | Options that control warnings |
| --warn-ambiguous-pragma: | | Warnings about possible pragma incorrectness |
| --warn-ambiguous-pragmas: | | Warnings about possible pragma incorrectness |
| --warn-can-fail-function: | | Warnings about style issues with predicates |
| --warn-dead-predicates: | | Warnings about style issues with predicates |
| --warn-dead-preds: | | Warnings about style issues with predicates |
| --warn-dead-procedures: | | Warnings about style issues with predicates |
| --warn-dead-procs: | | Warnings about style issues with predicates |
| --warn-det-decls-too-lax: | | Warnings about possible predicate incorrectness |
| --warn-duplicate-calls: | | Warnings about style issues with goals |
| --warn-implicit-stream-calls: | | Warnings about style issues with goals |
| --warn-include-and-non-include: | | Warnings about style issues with modules |
| --warn-inconsistent-pred-order: | | Warnings about missing order |
| --warn-inconsistent-pred-order-clauses: | | Warnings about missing order |
| --warn-inconsistent-pred-order-foreign-procs: | | Warnings about missing order |
| --warn-inferred-erroneous: | | Warnings about possible predicate incorrectness |
| --warn-insts-with-functors-without-type: | | Warnings about possible inst incorrectness |
| --warn-insts-without-matching-type: | | Warnings about possible inst incorrectness |
| --warn-interface-imports: | | Warnings about possible module incorrectness |
| --warn-interface-imports-in-parents: | | Warnings about possible module incorrectness |
| --warn-known-bad-format-calls: | | Warnings about possible goal incorrectness |
| --warn-missing-opt-files: | | Warnings about missing files |
| --warn-missing-trans-opt-deps: | | Warnings about missing files |
| --warn-missing-trans-opt-files: | | Warnings about missing files |
| --warn-non-contiguous-clauses: | | Warnings about missing contiguity |
| --warn-non-contiguous-decls: | | Warnings about missing contiguity |
| --warn-non-contiguous-foreign-procs: | | Warnings about missing contiguity |
| --warn-non-stratification: | | Warnings about possible predicate incorrectness |
| --warn-non-tail-recursion: | | Warnings about possible performance issues |
| --warn-non-term-special-preds: | | Warnings about possible predicate incorrectness |
| --warn-nothing-exported: | | Warnings about possible module incorrectness |
| --warn-obsolete: | | Warnings about possible goal incorrectness |
| --warn-obvious-non-tail-recursion: | | Warnings about possible performance issues |
| --warn-overlapping-scopes: | | Warnings about possible goal incorrectness |
| --warn-potentially-ambiguous-pragma: | | Warnings about possible pragma incorrectness |
| --warn-potentially-ambiguous-pragmas: | | Warnings about possible pragma incorrectness |
| --warn-redundant-coerce: | | Warnings about style issues with goals |
| --warn-repeated-singleton-variables: | | Warnings about possible goal incorrectness |
| --warn-repeated-singleton-vars: | | Warnings about possible goal incorrectness |
| --warn-simple-code: | | Warnings about style issues with goals |
| --warn-singleton-variables: | | Warnings about possible goal incorrectness |
| --warn-singleton-vars: | | Warnings about possible goal incorrectness |
| --warn-state-var-shadowing: | | Warnings about style issues with goals |
| --warn-stdlib-shadowing: | | Warnings about possible module incorrectness |
| --warn-stubs: | | Warnings about possible predicate incorrectness |
| --warn-suspected-occurs-check-failure: | | Warnings about possible goal incorrectness |
| --warn-suspected-occurs-failure: | | Warnings about possible goal incorrectness |
| --warn-suspicious-foreign-code: | | Warnings about style issues with goals |
| --warn-suspicious-foreign-procs: | | Warnings about style issues with goals |
| --warn-suspicious-recursion: | | Warnings about possible goal incorrectness |
| --warn-table-with-inline: | | Warnings about possible pragma incorrectness |
| --warn-target-code: | | General options for compiling target language code |
| --warn-too-private-instances: | | Warnings about possible module incorrectness |
| --warn-undefined-options-variables: | | Warnings about missing files |
| --warn-undefined-options-vars: | | Warnings about missing files |
| --warn-unification-cannot-succeed: | | Warnings about possible goal incorrectness |
| --warn-unknown-format-calls: | | Warnings about style issues with goals |
| --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 style issues with goals |
| --warn-unneeded-initial-statevars-lambda: | | Warnings about style issues with goals |
| --warn-unneeded-mode-specific-clause: | | Warnings about style issues with predicates |
| --warn-unresolved-polymorphism: | | Warnings about possible predicate incorrectness |
| --warn-unsorted-import-block: | | Warnings about missing order |
| --warn-unsorted-import-blocks: | | Warnings about missing order |
| --warn-unused-args: | | Warnings about possible goal incorrectness |
| --warn-unused-imports: | | Warnings about possible module incorrectness |
| --warn-up-to-date: | | Options that control warnings |
| --window (mdb option): | | Mercury debugger invocation |
| --window-command (mdb option): | | Mercury debugger invocation |
| -?: | | Help options |
| -c: | | Compilation details |
| -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: | | Dumping out internal compiler data structures |
| -D (runtime option): | | Environment variables affecting the Mercury runtime system |
| -d-: | | Dumping out 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: | | Options that ask for modified output |
| -o: | | Compilation details |
| -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: | | Mprof profiling grade options |
| -p (runtime option): | | Environment variables affecting the Mercury runtime system |
| -P (runtime option): | | Environment variables affecting the Mercury runtime system |
| -p-: | | Mprof 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: | | Mdb debugging grade options |
| .decldebug (grade modifier: | | Mdb debugging grade options |
| .gc (grade modifier: | | Optional feature grade options |
| .mdbrc: | | Mercury debugger invocation |
| .memprof (grade modifier: | | Mprof profiling grade options |
| .par (grade modifier: | | Optional feature grade options |
| .prof (grade modifier: | | Mprof profiling grade options |
| .profdeep (grade modifier: | | Deep profiling grade options |
| .stseg (grade modifier: | | Optional feature 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: | | Mprof 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: | | Deep 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: | | Compilation details |
| 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: | | Deep profiling grade options |
| Coverage profiling: | | Deep 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: | | Mdb debugging grade options |
| Debugging: | | Mdb 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: | | Deep profiling grade options |
| Deep profiling grade options: | | Deep 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 |
| Dumping out internal compiler data structures: | | Dumping out internal compiler data structures |
|
| 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 |
| 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: | | Compilation details |
| Heap profiling: | | Profiling |
| Heap profiling: | | Building profiled applications |
| Heap profiling: | | Creating profiles |
| Heap profiling: | | Using mprof for profiling memory retention |
| Heap profiling: | | Mprof profiling grade options |
| Heap size: | | Compilation details |
| 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 |
| Intermodule optimization: | | Intermodule optimization |
| 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 |
| Mdb debugging grade options: | | Mdb debugging grade options |
| 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: | | Mprof 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: | | Compilation details |
| MERCURY_OPTIONS: | | Environment variables affecting the Mercury runtime system |
| MERCURY_STDLIB_DIR: | | Environment variables affecting the Mercury compiler |
| mgnuc: | | Compilation details |
| MGNUC: | | Using Mmake |
| MGNUCFLAGS: | | Using Mmake |
| Microsoft Management Console: | | Introduction to mmc |
| mindepth (mdb command): | | Forward movement commands |
| ml: | | Compilation details |
| 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: | | Introduction to 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 |
| Mprof profiling grade options: | | Mprof profiling grade options |
| 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 |
| Non-transitive intermodule optimization: | | Non-transitive intermodule optimization |
| 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 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 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 |
| Other program analyses: | | Other program analyses |
| 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: | | Deep profiling grade options |
| Profiling: | | Profiling |
| Profiling: | | Profiling introduction |
| Profiling: | | Creating profiles |
| Profiling: | | Mprof profiling grade options |
| Profiling: | | Mprof 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 |
| Program analyses: | | Program analyses |
| 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: | | Compilation details |
| Stack size: | | Compilation details |
| 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 |
| The termination analyser based on linear inequality constraints: | | The termination analyser based on linear inequality constraints |
| 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: | | Mprof 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 |
| Transitive intermodule optimization: | | Transitive intermodule optimization |
| 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 missing contiguity: | | Warnings about missing contiguity |
| Warnings about missing files: | | Warnings about missing files |
| Warnings about missing order: | | Warnings about missing order |
| Warnings about possible goal incorrectness: | | Warnings about possible goal incorrectness |
| Warnings about possible incorrectness: | | Warnings about possible incorrectness |
| Warnings about possible inst incorrectness: | | Warnings about possible inst incorrectness |
| Warnings about possible module incorrectness: | | Warnings about possible module incorrectness |
| Warnings about possible performance issues: | | Warnings about possible performance issues |
| Warnings about possible pragma incorrectness: | | Warnings about possible pragma incorrectness |
| Warnings about possible predicate incorrectness: | | Warnings about possible predicate incorrectness |
| Warnings about programming style: | | Warnings about programming style |
| Warnings about style issues with goals: | | Warnings about style issues with goals |
| Warnings about style issues with modules: | | Warnings about style issues with modules |
| Warnings about style issues with predicates: | | Warnings about style issues with predicates |
| web_browser_cmd (mdb command): | | Parameter commands |
| width (mdb command): | | Parameter commands |
|