From b9f423c9c5ebb198c129c0a8b6a0db3d547634ff Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 10 Jul 2014 04:55:22 -0500 Subject: [PATCH] unbreak contract system fix bug introduced in 72c83a32e --- racket/collects/racket/contract/private/arr-i.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/racket/collects/racket/contract/private/arr-i.rkt b/racket/collects/racket/contract/private/arr-i.rkt index 5da52c55c2..bd26f34e23 100644 --- a/racket/collects/racket/contract/private/arr-i.rkt +++ b/racket/collects/racket/contract/private/arr-i.rkt @@ -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)