12.3 Syntax Object Bindings (original) (raw)
12.3 Syntax Object Bindings🔗ℹ
Returns #t if the identifier a-id would bindb-id (or vice versa) if the identifiers were substituted in a suitable expression context at the phase level indicated byphase-level, #f otherwise. A #f value forphase-level corresponds to the label phase level.
Examples:
> (check a a) 'binds > (check a b) 'no-binds > (define-syntax-rule (check-a x) (check a x)) > (check-a a) 'no-binds
“Same module binding” means that the identifiers refer to the same original definition site, and not necessarily to the samerequire or provide site. Due to renaming inrequire and provide, or due to a transformer binding to a rename transformer, the identifiers may return distinct results with syntax-e.
Examples:
> (check car) '(same: #procedure:car) > (check mcar) '(different: #procedure:mcar) '(different: #procedure:list) > (require (rename-in racket/base [car kar])) > (check kar) '(same: #procedure:car)
Same as (free-identifier=? a-id b-id #f).
Compares each identifier in ids with every other identifier in the list with bound-identifier=?. If any comparison returns #t, one of the duplicate identifiers is returned (the first one in ids that is a duplicate), otherwise the result is #f.
Returns one of three (if top-level-symbol? is #f) or four (if top-level-symbol? is true) kinds of values, depending on the binding ofid-stx at the phase level indicated byphase-level (where a #f value forphase-level corresponds to the label phase level):
- The result is 'lexical if id-stxhas a local binding.
- The result is a list of seven items when id-stxhas a module binding: (list from-mod from-sym nominal-from-mod nominal-from-sym from-phase import-phase+space-shift nominal-export-phase).
- from-mod is a module path index (seeCompiled Modules and References) that indicates the defining module. It is the “self” module path index if the binding refers to a definition in the enclosing module of id-stx.
- from-sym is a symbol for the identifier’s name at its definition site in the originating module. This can be different from the local name returned bysyntax->datum for several reasons: the identifier is renamed on import, it is renamed on export, or it is implicitly renamed because the binding site was generated by a macro invocation. In that last case, it may be anunreadable symbol, and it may be different from the result of syntax->datum on the identifier in the original source definition.
- nominal-from-mod is a module path index (seeCompiled Modules and References) that indicates the binding’s module as it appears locally in the source around id-stx: it indicates a module required into the context ofid-stx to provide its binding, or it is the same “self” as from-mod for a binding that refers to a definition in the enclosing module of id-stx. It can be different from from-mod due to a re-export innominal-from-mod of some imported identifier. If the same binding is imported in multiple ways, an arbitrary representative is chosen.
- nominal-from-sym is a symbol for the binding’s identifier as it appears locally in the source aroundid-stx: it is the identifier’s name as exported bynominal-from-mod, or it is the source identifier’s symbol for a definition within the enclosing module ofid-stx. It can be different from from-symdue to a renaming provide, even if from-modand nominal-from-mod are the same, or due to a definition that was introduced by a macro expansion.
- from-phase is an exact non-negative integer representing the originating phase. For example, it is1 if the definition is for-syntax.
- import-phase+space-shift is 0 if the binding import of nominal-from-mode is from a definition or a plain require, 1 if it is from afor-syntax import, a phase combined with a space name if it is from a for-space import, etc.
- nominal-export-phase+space is the phase leveland binding spaceof the export from nominal-from-mod for an imported binding, or it is the phase level of the definition for a binding from the enclosing module of id-stx.
- The result is (list top-sym) if id-stxhas a top-level binding andtop-level-symbol? is true. The top-symcan different from the name returned bysyntax->datum when the binding definition was generated by a macro invocation.
- The result is #f if id-stx has atop-level binding and top-level-symbol? is#f or if id-stx is unbound. An unbound identifier is typically treated the same as an identifier whose top-level binding is a variable.
If id-stx is bound to a rename-transformer, the result from identifier-binding is for the identifier in the transformer, so that identifier-binding is consistent withfree-identifier=?.
If exact-scopes? is a true value, then the result is#f unless the binding for id-stx has exactly thescopes of id-stx. An exact-scopes check is useful for detecting whether an identifier is already bound in a specific definition context, for example.
Changed in version 6.6.0.4 of package base: Added the top-level-symbol? argument to report information on top-level bindings.
Changed in version 8.2.0.3: Generalized phase results to phase–space combinations.
Changed in version 8.6.0.9: Added the exact-scopes? argument.
Same as (identifier-binding id-stx (and rt-phase-level (add1 rt-phase-level))).
Changed in version 8.2.0.3 of package base: Generalized phase results to phase–space combinations.
Changed in version 8.2.0.3 of package base: Generalized phase results to phase–space combinations.
Same as (identifier-binding id-stx #f).
Changed in version 8.2.0.3 of package base: Generalized phase results to phase–space combinations.
Like (identifier-binding id-stx phase-level top-level-symbol?), but the result is #f if the binding for id-stx has scopes that are a subset of the scopes for wrt-id-stx. That is, ifid-stx and wrt-id-stx have the same symbolic name, a binding for id-stx is returned only if the binding does not also apply to wrt-id-stx.
Added in version 8.3.0.8 of package base.
Changed in version 8.8.0.2: Added the top-level-symbol? argument.
Like identifier-binding, but produces a symbol that corresponds to the binding. The symbol result is the same for any identifiers that are free-identifier=?, but the result may also be the same for identifiers that are notfree-identifier=? (i.e., different symbols imply different bindings, but the same symbol does not imply the same binding).
When identifier-binding would produce a list, then the second element of that list is the result thatidentifier-binding-symbol produces.
If id-stx is bound at phase-level to portal syntax, either via define-syntax or #%require, then the portal syntax content is returned. The module that bindsid-stx must be declared, but it need not be instantiated at the relevant phase, and identifier-binding-portal-syntax does not instantiate the module.
Added in version 8.3.0.8 of package base.
Returns a list of all interned symbols for which(identifier-binding (datum->syntax stx sym) phase-level #f exact-scopes?)would produce a non-#f value. This procedure takes time proportional to the number of scopes on stx plus the length of the result list.
Added in version 8.6.0.6 of package base.
Changed in version 8.6.0.9: Added the exact-scopes? argument.
Returns a list of sym names of interned scopes for which(identifier-binding ((make-interned-syntax-introducer sym) stx) phase-level #f exact-scopes?)could produce a non-#f value. This procedure takes time proportional to the number of scopes on stx plus the length of the result list.
Added in version 8.13.0.8 of package base.
Returns a list that includes all phase-levels for which(syntax-bound-symbols stx phase-level) might produce a non-empty list.
Examples:
Added in version 8.6.0.8 of package base.