suzanne.soy/generic-syntax-expanders
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #5 from jsmaniac/doc-changes

Browse Source 
A few fixes in the documentation
This commit is contained in:
Jack Firth 2016-08-14 18:36:25 -07:00 committed by GitHub
commit 0a9b106e22
3 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
private/define-expanders.scrbl
View File

@ -17,11 +17,12 @@ 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}
@item{@code{expand-all-id-expanders} - a procedure bound at phase @item{@code{expand-all-id-expanders} - a procedure bound at phase
@; TODO: expand-all-expanders-of-type is not documented
level 1 that's equivalent to @racket[expand-all-expanders-of-type] with level 1 that's equivalent to @racket[expand-all-expanders-of-type] with
the @code{id-expander-type} as the type argument} the @code{id-expander-type} as the type argument}
]} ]}

4
private/define-scoped-transformers.scrbl
View File

@ -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] ...))].
} }

2
private/expanders.scrbl
View File

@ -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