suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

missed a spot in b100f4b

Browse Source
This commit is contained in:
Robby Findler 2016-12-17 17:08:43 -06:00
parent 23226d4290
commit 98c3906059
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
racket/collects/racket/contract/private/arr-i.rkt
View File

@ -1253,7 +1253,7 @@ evaluted left-to-right.)
;; opt/direct duplicates code (bad!) ;; opt/direct duplicates code (bad!)
(#,(if is-chaperone-contract? #'un-dep/chaperone #'un-dep) (#,(if is-chaperone-contract? #'un-dep/chaperone #'un-dep)
the-contract val blame neg-party indy-blame?))))) the-contract val blame neg-party indy-blame?)))))
;; then the non-dependent argument contracts that are themselves dependend on ;; then the non-dependent argument contracts that are themselves depended on
(list #,@(filter values (list #,@(filter values
(map (λ (arg/res indy-id) (map (λ (arg/res indy-id)
(and (free-identifier-mapping-get used-indy-vars (and (free-identifier-mapping-get used-indy-vars
@ -1267,7 +1267,7 @@ evaluted left-to-right.)
#,(if (istx-ress an-istx) #,(if (istx-ress an-istx)
#`(list (cons 'res-names res-exp-xs) ...) #`(list (cons 'res-names res-exp-xs) ...)
#''()) #''())
#,(if (istx-ress an-istx) #,(if (istx-ress an-istx)
#`(list #,@(for/list ([arg (in-list #`(list #,@(for/list ([arg (in-list
(istx-ress an-istx))] (istx-ress an-istx))]
#:when (arg/res-vars arg)) #:when (arg/res-vars arg))
@ -1283,6 +1283,7 @@ evaluted left-to-right.)
(gensym '->i-indy-boundary))) (gensym '->i-indy-boundary)))
(if (eres? arg) (if (eres? arg)
#`(λ #,orig-vars #`(λ #,orig-vars
#,@(arg/res-vars arg) ;; needed for check syntax arrows
(opt/c #,arg-stx)) (opt/c #,arg-stx))
#`(λ (#,@orig-vars) #`(λ (#,@orig-vars)
(define the-contract #,arg-stx) (define the-contract #,arg-stx)