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

doc corrections for syntax-make-delta-introducer

Browse Source
This commit is contained in:
Matthew Flatt 2016-08-13 13:38:54 -06:00
parent c9da43378f
commit 71b4f5f6c0
1 changed files with 20 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -968,9 +968,26 @@ and different result procedures use distinct scopes.
((syntax?) ((or/c 'flip 'add 'remove)) . ->* . syntax?)]{ ((syntax?) ((or/c 'flip 'add 'remove)) . ->* . syntax?)]{
Produces a procedure that behaves like the result of Produces a procedure that behaves like the result of
@racket[make-syntax-introducer], but using the @tech{scopes} of @racket[make-syntax-introducer], but using a set of @tech{scopes} from
@racket[ext-stx] that are not shared with @racket[base-stx], and with @racket[ext-stx] and with a default action of @racket['remove].
a default action of @racket['remove].
@itemlist[
@item{If the scopes of @racket[base-stx] are a subset of the scopes
of @racket[ext-stx], then the result of
@racket[make-syntax-delta-introducer] adds, removes, or flips
scopes that are in the set for @racket[ext-stx] and not in the
set for @racket[base-stx].}
@item{If the scopes of @racket[base-stx] are not a subset of the
scopes of @racket[ext-stx], but if it has a binding, then the
set of scopes associated with the binding id subtracted from
the set of scopes for @racket[ext-stx], and the result of
@racket[make-syntax-delta-introducer] adds, removes, or flips
that difference.}
]
A @racket[#f] value for @racket[base-stx] is equivalent to a syntax A @racket[#f] value for @racket[base-stx] is equivalent to a syntax
object with no @tech{scopes}. object with no @tech{scopes}.