From b100f4bb75d93fd70cf65f452efffbad30d7066d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 15 Dec 2016 17:35:23 -0600 Subject: [PATCH] fix error in 003e8c7 --- racket/collects/racket/contract/private/arr-i.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/racket/collects/racket/contract/private/arr-i.rkt b/racket/collects/racket/contract/private/arr-i.rkt index a69dfcdd42..e4dd1363b9 100644 --- a/racket/collects/racket/contract/private/arr-i.rkt +++ b/racket/collects/racket/contract/private/arr-i.rkt @@ -1244,6 +1244,7 @@ evaluted left-to-right.) (gensym '->i-indy-boundary))) #`(λ (#,@orig-vars) (define the-contract #,ctc-stx) + #,@(arg/res-vars arg) ;; needed for check syntax arrows (λ (val blame neg-party indy-blame?) ;; this used to use opt/direct, but ;; opt/direct duplicates code (bad!) @@ -1282,6 +1283,7 @@ evaluted left-to-right.) (opt/c #,arg-stx)) #`(λ (#,@orig-vars) (define the-contract #,arg-stx) + #,@(arg/res-vars arg) ;; needed for check syntax arrows (λ (val blame neg-party indy-blame?) ;; this used to use opt/direct, but ;; opt/direct duplicates code (bad!)