suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

clarify that unbound = top-level binding in reference

Browse Source 
svn: r12226
This commit is contained in:
Matthew Flatt 2008-11-03 16:18:16 +00:00
parent b8f6e1a91a
commit 3a433f4ae4
2 changed files with 17 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/scribblings/reference/stx-comp.scrbl
View File

@ -21,9 +21,10 @@ suitable expression context at the @tech{phase level} indicated by
boolean?]{
Returns @scheme[#t] if @scheme[a-id] and @scheme[b-id] access the same
lexical, module, or top-level binding at the @tech{phase level}
indicated by @scheme[phase-level]. A @scheme[#f] value for
@scheme[phase-level] corresponds to the @tech{label phase level}.
@tech{local binding}, @tech{module binding}, or @tech{top-level
binding} at the @tech{phase level} indicated by
@scheme[phase-level]. A @scheme[#f] value for @scheme[phase-level]
corresponds to the @tech{label phase level}.
``Same module binding'' means that the identifiers refer to the same
original definition site, not necessarily the @scheme[require] or
@ -127,8 +128,9 @@ Returns one of three kinds of values, depending on the binding of
}}
@item{The result is @scheme[#f] if @scheme[id-stx]
has a @tech{top-level binding}.}
@item{The result is @scheme[#f] if @scheme[id-stx] has a
@tech{top-level binding} (or, equivalently, if it is
@tech{unbound}).}
}}

15
collects/scribblings/reference/syntax-model.scrbl
View File

@ -42,16 +42,13 @@ some are quoted to produce a symbol or a syntax object.
An identifier @deftech{binds} another (i.e., it is a
@deftech{binding}) when the former is parsed as a @tech{variable} and
the latter is parsed as a reference to the former; the latter is
@deftech{bound}. The @deftech{scope} of a @tech{binding} is the set
@deftech{bound}. The @deftech{scope} of a @tech{binding} is the set
of source forms to which it applies. The @deftech{environment} of a
form is the set of bindings whose @tech{scope} includes the form. A
binding for a sub-expression @deftech{shadows} any @tech{bindings}
(i.e., it is @deftech{shadowing}) in its @tech{environment}, so that
uses of an @tech{identifier} refer to the @tech{shadowing}
@tech{binding}. A @deftech{top-level binding} is a @tech{binding}
from a definition at the top-level; a @deftech{module binding} is a
binding from a definition in a module; and a @deftech{local binding}
is another other kind of binding.
@tech{binding}.
For example, as a bit of source, the text
@ -63,6 +60,14 @@ appears twice). When this source is parsed in a typical
@tech{variable} (unlike @scheme[let]). In particular, the first
@scheme[x] @tech{binds} the second @scheme[x].
A @deftech{top-level binding} is a @tech{binding} from a definition at
the top-level; a @deftech{module binding} is a binding from a
definition in a module; and a @deftech{local binding} is another other
kind of binding. There is no difference between an @deftech{unbound}
identifier and one with a @tech{top-level binding}; within a module,
references to @tech{top-level bindings} are disallowed, and so such
identifiers are called @tech{unbound} in a module context.
Throughout the documentation, @tech{identifiers} are typeset to
suggest the way that they are parsed. A black, boldface
@tech{identifier} like @scheme[lambda] indicates as a reference to a