Next: Compiler Input
Up: The Compiler
Previous: Procedure Types
  Index
The compiler has several modes of operation, each mode
generating code with different properties.
The operating mode is controlled by a set of global flags,
which may be modified at any time, even during the compilation
so that a part of the program is compiled in a different mode.
These flags and the associated modes are listed below.
-
- debug_compile
When this flag is on, the compiler generates code which can
be traced with the debugger.
To generate optimised (untraceable) code, this flag must be switched off.
This can also be achieved by the use of nodebug compiler pragma in the
program:
:- pragma(nodebug).
-
- occur_check
When this flag is on, the compiled code will perform
the occur check if necessary.
This means that every time a variable will be unified
with a compound term that might already contain a reference
to this variable, the compound term will be scanned for this occurrence
and if it is found, the unification fails.
In this way, the creation of infinite (cyclic) terms is impossible
and thus the behaviour of the system is closer
to the first order logic theory.
Unifications with the occur check may sometimes be very slow,
and most Prolog programs do not need it, because
no cyclic terms are created.
Note that this flag must be set both at compile time and at runtime in order
to actually perform the checks. In particular, as ECLiPSe built-ins are
compiled without this flag set, the builtins will not perform the check.
-
- variable_names
ECLiPSe can remember the source variable names of the input variables.
When this flag is on, the compiled predicates
will keep the names of the source variables and will display
them whenever the variables are printed.
In this case the usage of the global stack and code space is slightly higher
(to store the name), and the efficiency of the code is marginally lower.
Setting this flag to check_singletons has the same effect as on,
but additionally, the compiler will issue warnings about variables which occur
only once in a clause and whose names do not start with an underscore character.
-
- all_dynamic
When this flag is on, all procedures are compiled
as dynamic ones (and there is no equivalent static/1
declaration).
It can be used to port programs from older interpreters
which rely heavily on the fact that all predicates
in these interpreters were dynamic.
Another possible use is to switch it on at the beginning of a file
that contains many dynamic predicates and switch it off at its end.
-
- macro_expansion
This is in fact a parser flag, is enables or disables the macro transformation
(see Chapter 12) for the input source.
-
- goal_expansion
Specifies whether to apply goal-macros or not (see Chapter 12).
Next: Compiler Input
Up: The Compiler
Previous: Procedure Types
  Index
Warwick Harvey
2004-08-07