From 71b4f5f6c0e81ccdba4201cb653a02ede4d46ed8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 13 Aug 2016 13:38:54 -0600 Subject: [PATCH] doc corrections for `syntax-make-delta-introducer` --- .../scribblings/reference/stx-trans.scrbl | 23 ++++++++++++++++--- 1 file changed, 20 insertions(+), 3 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/stx-trans.scrbl b/pkgs/racket-doc/scribblings/reference/stx-trans.scrbl index 871da2b0fa..64d0c6cae2 100644 --- a/pkgs/racket-doc/scribblings/reference/stx-trans.scrbl +++ b/pkgs/racket-doc/scribblings/reference/stx-trans.scrbl @@ -968,9 +968,26 @@ and different result procedures use distinct scopes. ((syntax?) ((or/c 'flip 'add 'remove)) . ->* . syntax?)]{ Produces a procedure that behaves like the result of -@racket[make-syntax-introducer], but using the @tech{scopes} of -@racket[ext-stx] that are not shared with @racket[base-stx], and with -a default action of @racket['remove]. +@racket[make-syntax-introducer], but using a set of @tech{scopes} from +@racket[ext-stx] and with 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 object with no @tech{scopes}.