fix error in 003e8c7
This commit is contained in:
parent
8918279b21
commit
b100f4bb75
|
@ -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!)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user