October 2008
Beginner to intermediate
208 pages
3h 1m
English
A module is a scope that contains declarations of types (Chapter 3), extents (Section 4.2), and computed values (Section 4.1). Modules override lexical scoping to import symbols that have been exported from another module.
Several modules may be contained within a CompilationUnit, typically a text file.
CompilationUnit:
ModuleDeclarationList
ModuleDeclarationList:
ModuleDeclaration
ModuleDeclarationList ModuleDeclaration
A ModuleDeclaration is a named container/scope for type declarations, field declarations, and computed value declarations.
ModuleDeclaration: module QualifiedIdentifer ModuleBody ;optQualifiedIdentifier: Identifier QualifiedIdentifier . IdentifierModuleBody: { ...