svn: r15296
This commit is contained in:
Eli Barzilay 2009-06-26 01:28:14 +00:00
parent a12141f3ca
commit 93e2aa5e82

View File

@ -97,7 +97,7 @@ dependency.
If an identifier has a @tech{local binding}, then it is the same for If an identifier has a @tech{local binding}, then it is the same for
all phase levels, though the reference is allowed only at a particular all phase levels, though the reference is allowed only at a particular
phase level. Attempting to reference a @tech{local binding} in a phase level. Attempting to reference a @tech{local binding} in a
different @tech{phase level} than the binding's context produces a different @tech{phase level} from the binding's context produces a
syntax error. If an identifier has a @tech{top-level binding} or syntax error. If an identifier has a @tech{top-level binding} or
@tech{module binding}, then it can have different such bindings in @tech{module binding}, then it can have different such bindings in
different phase levels. different phase levels.