From d718a2b128a1f9dadffa541a022347635bb83ecf Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 15 Jul 2011 19:24:08 -0600 Subject: [PATCH] fix docs to clarify that `#%expression' appears from local-expand --- collects/scribblings/reference/stx-trans.scrbl | 3 ++- collects/scribblings/reference/syntax-model.scrbl | 6 ++++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/reference/stx-trans.scrbl b/collects/scribblings/reference/stx-trans.scrbl index 7120454734..1626411f0c 100644 --- a/collects/scribblings/reference/stx-trans.scrbl +++ b/collects/scribblings/reference/stx-trans.scrbl @@ -215,7 +215,8 @@ 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 proceed to sub-expressions). A fully expanded form can include the bindings listed in @secref["fully-expanded"] plus the -@racket[letrec-syntaxes+values] form. +@racket[letrec-syntaxes+values] form and @racket[#%expression] +in any expression position. The optional @racket[intdef-ctx] argument must be either @racket[#f], the result of @racket[syntax-local-make-definition-context], or a list diff --git a/collects/scribblings/reference/syntax-model.scrbl b/collects/scribblings/reference/syntax-model.scrbl index 621ce25a87..245cadd6da 100644 --- a/collects/scribblings/reference/syntax-model.scrbl +++ b/collects/scribblings/reference/syntax-model.scrbl @@ -254,8 +254,10 @@ comparisons are made using @racket[free-transformer-identifier=?] instead of @racket[free-identifier=?]). In addition to the grammar above, @racket[letrec-syntaxes+values] can -appear in a fully local-expanded expression, such as the result from -@racket[local-expand] when the stop list is empty. +appear in a fully local-expanded expression, as can +@racket[#%expression] in any expression position. For example, +@racket[letrec-syntaxes+values] and @racket[#%expression] can appear +in the result from @racket[local-expand] when the stop list is empty. @;- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @subsection[#:tag "expand-steps"]{Expansion Steps}