preserve originalness so that arrows in define/contract

work properly with check syntax

Thanks to Matthew for the fix

Please include in 6.3
This commit is contained in:
Robby Findler 2015-10-24 14:13:51 -05:00
parent 3eb2c20ad0
commit c0209b1d80

View File

@ -679,7 +679,7 @@
[(free-vars free-ctcs)
(values (syntax->list #'(fv.var ...))
(syntax->list #'(fv.ctc ...)))])
(define add-context (make-syntax-introducer))
(define add-context (make-syntax-introducer #t))
(with-syntax ([blame-stx #''(region blame)]
[blame-id (generate-temporary)]
[(res ...) (generate-temporaries #'(rc.ctc ...))]
@ -733,7 +733,7 @@
[(protected protections)
(values (syntax->list #'(ec.var ...))
(syntax->list #'(ec.ctc ...)))])
(define add-context (make-syntax-introducer))
(define add-context (make-syntax-introducer #t))
(with-syntax ([blame-stx #''(region blame)]
[blame-id (generate-temporary)]
[(free-var ...) free-vars]