From c0209b1d80e9ef1b4603f51279a134783d1a1039 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 24 Oct 2015 14:13:51 -0500 Subject: [PATCH] preserve originalness so that arrows in define/contract work properly with check syntax Thanks to Matthew for the fix Please include in 6.3 --- racket/collects/racket/contract/region.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/racket/collects/racket/contract/region.rkt b/racket/collects/racket/contract/region.rkt index ac92a82878..c93643074a 100644 --- a/racket/collects/racket/contract/region.rkt +++ b/racket/collects/racket/contract/region.rkt @@ -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]