Scope Rules
Next: Variables and Declarations
Up: ScopesDeclarations, and
Previous: External Names
The scope rules are:
- An identifier may not be defined twice in a scope. Note that
this rule implies that an identifier defined in a scope may not be
redefined in a nested scope.
- Within a single program unit (1.7), an identifier may not
appear as an external name in one scope and as a scoped identifier in
another scope.
theta-questions@lcs.mit.edu