Make syntax-local-lift-require not affect syntax-original?-ness

This commit is contained in:
Alexis King 2018-04-25 10:52:14 -05:00
parent b87793640b
commit e2ef7cdd5c
4 changed files with 9 additions and 4 deletions

View File

@ -822,7 +822,12 @@ applied to each before passing them to
@racket[syntax-local-lift-require]. Otherwise, marks added
by the macro expander can prevent access to the new imports.
@transform-time[]}
@transform-time[]
@history[#:changed "6.90.0.27" @elem{Changed the @tech{scope} added to inputs from a
macro-introduction scope to one that does not affect whether or
not the resulting syntax is considered original as reported by
@racket[syntax-original?].}]}
@defproc[(syntax-local-lift-provide [raw-provide-spec-stx syntax?])
void?]{

View File

@ -281,7 +281,7 @@
(values ctx post-s))
(define/who (syntax-local-lift-require s use-s)
(define sc (new-scope 'macro))
(define sc (new-scope 'lifted-require))
(define-values (ctx added-s)
(do-local-lift-to-module who
(datum->syntax #f s)

View File

@ -72,7 +72,7 @@
;; generally not share a most-recent scope.
(struct scope (id ; internal scope identity; used for sorting
kind ; debug info
kind ; 'macro for macro-introduction scopes, otherwise treated as debug info
[binding-table #:mutable]) ; see "binding-table.rkt"
#:authentic
;; Custom printer:

View File

@ -42653,7 +42653,7 @@ static const char *startup_source =
" 'syntax-local-lift-require"
"(let-values()"
"(let-values()"
"(let-values(((sc_33)(new-scope 'macro)))"
"(let-values(((sc_33)(new-scope 'lifted-require)))"
"(let-values(((ctx_59 added-s_1)"
"(let-values(((who118_0) 'syntax-local-lift-require)"
"((temp119_0)(datum->syntax$1 #f s_333))"