From e747937ceba32867e8f993ba4796ba0b84cb03c2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 14 Apr 2011 08:03:21 -0600 Subject: [PATCH] clarify mark interactions for `syntax-local-lift-require' Closes PR 11850 --- collects/scribblings/reference/stx-trans.scrbl | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/collects/scribblings/reference/stx-trans.scrbl b/collects/scribblings/reference/stx-trans.scrbl index e3ff6b13f9..5bee637748 100644 --- a/collects/scribblings/reference/stx-trans.scrbl +++ b/collects/scribblings/reference/stx-trans.scrbl @@ -544,6 +544,14 @@ resulting syntax object (assuming that the lexical information of @scheme[stx] includes the binding environment into which the @scheme[#%require] is lifted). +If @racket[raw-require-spec] and @racket[stx] are part of the input to +a transformer, then typically @racket[syntax-local-introduce] should be +applied to each before passing them to +@racket[syntax-local-lift-require], and then +@racket[syntax-local-introduce] should be applied to the result of +@racket[syntax-local-lift-require]. Otherwise, marks added +by the macro expander can prevent access to the new imports. + @transform-time[]} @defproc[(syntax-local-lift-provide [raw-provide-spec-stx syntax?])