2.9 Files and Include Declarations

The current UW Cecil implementation is file-based. The compiler is given a single file name, naming the file containing the program to compile. To include other files into the program, a file can include an include declaration, at the global scope:

include_decl	::=	"include" file_name ";"
file_name	::=	string
included_file	::=	file_body

The effect of an include declaration is to include the declarations from the named file into the current scope. The named file must have the syntax of a single declaration block. File inclusion is idempotent: redundant inclusions of a file into a particular scope have no effect.