This commit is contained in:
Robby Findler 2016-12-15 17:35:23 -06:00
parent 8918279b21
commit b100f4bb75

View File

@ -1244,6 +1244,7 @@ evaluted left-to-right.)
(gensym '->i-indy-boundary))) (gensym '->i-indy-boundary)))
#`(λ (#,@orig-vars) #`(λ (#,@orig-vars)
(define the-contract #,ctc-stx) (define the-contract #,ctc-stx)
#,@(arg/res-vars arg) ;; needed for check syntax arrows
(λ (val blame neg-party indy-blame?) (λ (val blame neg-party indy-blame?)
;; this used to use opt/direct, but ;; this used to use opt/direct, but
;; opt/direct duplicates code (bad!) ;; opt/direct duplicates code (bad!)
@ -1282,6 +1283,7 @@ evaluted left-to-right.)
(opt/c #,arg-stx)) (opt/c #,arg-stx))
#`(λ (#,@orig-vars) #`(λ (#,@orig-vars)
(define the-contract #,arg-stx) (define the-contract #,arg-stx)
#,@(arg/res-vars arg) ;; needed for check syntax arrows
(λ (val blame neg-party indy-blame?) (λ (val blame neg-party indy-blame?)
;; this used to use opt/direct, but ;; this used to use opt/direct, but
;; opt/direct duplicates code (bad!) ;; opt/direct duplicates code (bad!)