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

clarify role of empty stop-ids list in local-expand (#1335)

Browse Source
This commit is contained in:
Matthew Butterick 2016-08-19 06:03:54 -07:00 committed by Matthew Flatt
parent 88292a6e13
commit aef8f3e7bd
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/racket-doc/scribblings/reference/stx-trans.scrbl
View File

@ -232,7 +232,7 @@ identifier, the @racket[exn:fail:contract] exception is raised.
@defproc[(local-expand [stx any/c] @defproc[(local-expand [stx any/c]
[context-v (or/c 'expression 'top-level 'module 'module-begin list?)] [context-v (or/c 'expression 'top-level 'module 'module-begin list?)]
[stop-ids (or/c (listof identifier?) #f)] [stop-ids (or/c (listof identifier?) empty #f)]
[intdef-ctx (or/c internal-definition-context? [intdef-ctx (or/c internal-definition-context?
(and/c pair? (and/c pair?
(listof internal-definition-context?)) (listof internal-definition-context?))
@ -261,10 +261,17 @@ in a sub-expression, expansions stops for the sub-expression. If
@racket[stop-ids], then application and @racket[stop-ids], then application and
literal data expressions without the respective explicit form are not literal data expressions without the respective explicit form are not
wrapped with the explicit form, and @racket[#%top] wrappers are wrapped with the explicit form, and @racket[#%top] wrappers are
never added (even with an empty @racket[stop-ids] list). If @racket[stop-ids] is @racket[#f] never added (even with an empty @racket[stop-ids] list).
If @racket[stop-ids] is an empty list, then @racket[stx] is expanded
recursively (i.e., expansion proceeds to sub-expressions).
If @racket[stop-ids] is @racket[#f]
instead of a list, then @racket[stx] is expanded only as long as the instead of a list, then @racket[stx] is expanded only as long as the
outermost form of @racket[stx] is a macro (i.e., expansion does not outermost form of @racket[stx] is a macro (i.e., expansion does not
proceed to sub-expressions). A fully expanded form can include the proceed to sub-expressions).
A fully expanded form can include the
bindings listed in @secref["fully-expanded"] plus the bindings listed in @secref["fully-expanded"] plus the
@racket[letrec-syntaxes+values] form and @racket[#%expression] @racket[letrec-syntaxes+values] form and @racket[#%expression]
in any expression position. in any expression position.