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

unbreak contract system

Browse Source 
fix bug introduced in 72c83a32e
This commit is contained in:
Robby Findler 2014-07-10 04:55:22 -05:00
parent 72c83a32e6
commit b9f423c9c5
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -112,7 +112,7 @@
(define (exercise->i ctc)
(define arg-deps (->i-arg-dep-ctcs ctc))
(cond
[(null? arg-deps)
[(and (null? arg-deps) (not (->i-rest ctc)))
(λ (fuel)
(define gens (for/list ([arg-ctc (in-list (->i-arg-ctcs ctc))]
#:when (and (not (->i-arg-optional? arg-ctc))
@ -1018,8 +1018,8 @@
(filter values (map (λ (arg) (and (not (arg/res-vars arg))
(list
(arg/res-var arg)
(arg-kwd arg)
(arg-optional? arg)
(and (arg? arg) (arg-kwd arg))
(and (arg? arg) (arg-optional? arg))
(syntax-property
(syntax-property
(arg/res-ctc arg)