diff --git a/private/define-expanders.scrbl b/private/define-expanders.scrbl index 645de57..f25d175 100644 --- a/private/define-expanders.scrbl +++ b/private/define-expanders.scrbl @@ -17,7 +17,7 @@ expanders for use with other macros. with @code{id-expander-type}} @item{@code{id-expander?} - a predicate bound at phase level 1 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 identifier as a @code{id-expander?} for use in a transformer environment} diff --git a/private/define-scoped-transformers.scrbl b/private/define-scoped-transformers.scrbl index 9fa66ea..64f1633 100644 --- a/private/define-scoped-transformers.scrbl +++ b/private/define-scoped-transformers.scrbl @@ -9,6 +9,6 @@ and friends. @defform[(define-syntax-with-scoped-pre-transformers id ([stx-lens pre-transformer] ...) transformer-expr)]{ - Binds @racket[id] as a syntax transformer equivalent to - @racket[with-scoped-pre-transformers transformer-expr ([stx-lens pre-transformer] ...)]. + Binds @racket[id] as a syntax transformer that is equivalent to + @racket[(with-scoped-pre-transformers transformer-expr ([stx-lens pre-transformer] ...))]. } diff --git a/private/expanders.scrbl b/private/expanders.scrbl index e460e04..3645fa3 100644 --- a/private/expanders.scrbl +++ b/private/expanders.scrbl @@ -26,7 +26,7 @@ expansion context. (define exp (expander A (λ (stx) stx))) (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 generic syntax expanders of the given type. When an expander is found, its transformer is called with the given syntax value of its location