Chapter 6 The Compiler
Summary
Compiler Invocation
Source Files
Main Compiler Options
Source Structure
Clauses and Predicates
Compilation and Modules
Incrementality
Directives
Modules and Declarations
Conditional Compilation
Include Directives
Compiler Pragmas
Precompiled (ECO) Files
Making Precompiled Files
Restrictions
Loading Precompiled Files
Using the Compiler with a Makefile
Special Compiler Features
Compiling Non-Textual Source
Mode Declarations
Inlining
Clause Expansion
Writing Efficient Code
Implementation Notes