# A Compiler Switches

This appendix describes the available boolean switches, giving their name, their default setting, and their effects on the compilation process if they are set.

## Global Configuration

`\switch +``compilerpasses` (default: `false`)

  Output tracing information about the different phases the execution of each query proceeds through.

`\switch +``showinsert` (default: `false`)

  Show the names of files as they get inserted by the `\insert` macro directive, after their name has been resolved by means of the environment variable `OZPATH` (see Section 2.2).

`\switch +``echoqueries` (default: `true`)

  Output each (compilation) query verbatim.

`\switch +``showdeclares` (default: `true`)

  Summarize the variables declared by each query and thus added to the environment (provided the compilation succeeds and the compiled code is actually executed).

`\switch +``watchdog` (default: `true`)

  Terminate the current compilation if one of the compiler's threads blocks unexpectedly. This is useful for debugging the compiler.

## Warnings

`\switch +``warnredecl` (default: `false`)

  Output warnings about redeclarations of top-level variables, either by `declare` or locally.

`\switch +``warnshadow` (default: `false`)

  Output warnings about redeclarations of all variables, either by `declare` or locally (subsumes `\switch +``warnredecl`).

`\switch +``warnunused` (default: `true`)

  Output warnings about local variables never used or used only once (that is, initialized but never used again).

`\switch +``warnunusedformals` (default: `false`)

  Output the above warnings also for formal parameters. If `\switch +``warnunused` is not set, this switch is ignored.

`\switch +``warnforward` (default: `false`)

  Warn about uses of features, attributes, or methods which are not known to be declared in the enclosing class.

`\switch +``warnopt` (default: `false`)

  Warn if a `case` conditional cannot be translated into optimized code. Also warn if a `cond` or disjunction's guard is translated with an explicit thread creation.

## I. Parsing and Expanding

`\switch +``unnest` (default: `true`)

  Enable unnesting. If unnesting is disabled, none of the following passes are executed either.

`\switch +``expression` (default: `false`)

  Compile expressions, not statements. The result of an evaluated expression can be obtained through an output argument of the enqueued query (see Section 4.3) or the variable ``result``.

`\switch +``allowdeprecated` (default: `true`)

  Allow the use of deprecated syntax, i. e., allow to use `case` for boolean conditionals and to mix `if` with `elsecase` and `case` with `elseif`.

`\switch +``gump` (default: `false`)

  Allow Gump definitions. If this switch is off, Gump keywords are parsed as ordinary atoms.

The remaining Gump-related switches are described in ``Gump - A Front-End Generator for Oz''.

## II. Static Analysis

`\switch +``staticanalysis` (default: `true`)

  Perform static analysis. Switching this off has severe impacts on optimization and error reporting.

## III. Core Output

`\switch +``core` (default: `false`)

  Output the result of the core expansion of a query.

`\switch +``realcore` (default: `false`)

  Output the core expansion as it really is (and not beautified by, e. g., the use of operator symbols).

`\switch +``debugvalue` (default: `false`)

  Include annotations about the values propagated by static analysis.

`\switch +``debugtype` (default: `false`)

  Include annotations about the types inferred by static analysis.

## IV. Code Generation

`\switch +``codegen` (default: `true`)

  Generate code.

`\switch +``outputcode` (default: `false`)

  Output the generated code as human-readable assembly code.

`\switch +``recordhoist` (default: `true`)

  Perform the record hoisting optimization.

## V. Feeding to the Emulator

`\switch +``feedtoemulator` (default: `true`)

  Load the generated code into the emulator and execute it.

`\switch +``threadedqueries` (default: `true`)

  Execute each piece of generated code in a separate thread without waiting for it to terminate before proceeding to the next query.

`\switch +``profile` (default: `false`)

  Include profiling information in the generated code.

## VI. Debugging

Most of these switches are used by the source level debugger, described in ``The Mozart Debugger''.

`\switch +``runwithdebugger` (default: `false`)

  Place a static breakpoint on the first statement of each compiled query.

Note that the following switches severely impact code size and run-time efficiency of the generated code.

`\switch +``controlflowinfo` (default: `false`)

  Include program flow information in the generated code.

`\switch +``staticvarnames` (default: `false`)

  Include environment information in the generated code.

`\switch +``dynamicvarnames` (default: `false`)

  All created local variables are annotated with their print name at run time, such that `System.printName` applied to the variable's value returns this name.