Documentation changes.
* Small change in define-scoped-transformers.scrbl * expand-syntax-tree-with-expanders-of-type was called expand-stx-tree-with-expanders-of-type in the docs. * define-id-expander instead of define-id-expander?
This commit is contained in:
parent
3005f0f4d9
commit
6ca56908bd
|
@ -17,7 +17,7 @@ expanders for use with other macros.
|
||||||
with @code{id-expander-type}}
|
with @code{id-expander-type}}
|
||||||
@item{@code{id-expander?} - a predicate bound at phase level 1
|
@item{@code{id-expander?} - a predicate bound at phase level 1
|
||||||
recognizing expanders produced by @code{make-id-expander}}
|
recognizing expanders produced by @code{make-id-expander}}
|
||||||
@item{@code{define-id-expander?} - a syntactic form at phase level
|
@item{@code{define-id-expander} - a syntactic form at phase level
|
||||||
0 that takes an identifier and a transformer procedure and binds the
|
0 that takes an identifier and a transformer procedure and binds the
|
||||||
identifier as a @code{id-expander?} for use in a transformer
|
identifier as a @code{id-expander?} for use in a transformer
|
||||||
environment}
|
environment}
|
||||||
|
|
|
@ -9,6 +9,6 @@ and friends.
|
||||||
@defform[(define-syntax-with-scoped-pre-transformers id
|
@defform[(define-syntax-with-scoped-pre-transformers id
|
||||||
([stx-lens pre-transformer] ...)
|
([stx-lens pre-transformer] ...)
|
||||||
transformer-expr)]{
|
transformer-expr)]{
|
||||||
Binds @racket[id] as a syntax transformer equivalent to
|
Binds @racket[id] as a syntax transformer that is equivalent to
|
||||||
@racket[with-scoped-pre-transformers transformer-expr ([stx-lens pre-transformer] ...)].
|
@racket[(with-scoped-pre-transformers transformer-expr ([stx-lens pre-transformer] ...))].
|
||||||
}
|
}
|
||||||
|
|
|
@ -26,7 +26,7 @@ expansion context.
|
||||||
(define exp (expander A (λ (stx) stx)))
|
(define exp (expander A (λ (stx) stx)))
|
||||||
(expander-of-type? A exp)]}
|
(expander-of-type? A exp)]}
|
||||||
|
|
||||||
@defproc[(expand-stx-tree-with-expanders-of-type [type expander-type?] [syntax syntax?]) syntax?]{
|
@defproc[(expand-syntax-tree-with-expanders-of-type [type expander-type?] [syntax syntax?]) syntax?]{
|
||||||
Recursively searches through @racket[syntax] for identifiers bound to
|
Recursively searches through @racket[syntax] for identifiers bound to
|
||||||
generic syntax expanders of the given type. When an expander is found,
|
generic syntax expanders of the given type. When an expander is found,
|
||||||
its transformer is called with the given syntax value of its location
|
its transformer is called with the given syntax value of its location
|
||||||
|
|
Loading…
Reference in New Issue
Block a user