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

fix docs to clarify that `#%expression' appears from local-expand

Browse Source
This commit is contained in:
Matthew Flatt 2011-07-15 19:24:08 -06:00
parent bed64be873
commit d718a2b128
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/scribblings/reference/stx-trans.scrbl
View File

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

6
collects/scribblings/reference/syntax-model.scrbl
View File

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