From b12d284055d6121e8214ac022eedb2e89d6e8004 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Sat, 17 Dec 2011 21:14:54 -0700 Subject: [PATCH] fixed typo --- collects/racket/contract/private/misc.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/racket/contract/private/misc.rkt b/collects/racket/contract/private/misc.rkt index 6f51a1559a..6772165198 100644 --- a/collects/racket/contract/private/misc.rkt +++ b/collects/racket/contract/private/misc.rkt @@ -639,7 +639,7 @@ (define listof-func (*-listof list? list listof listof-generate)) (define/subexpression-pos-prop (listof x) (listof-func x)) -(define (non-empty-list? x) (and (pair? x) (list (cdr x)))) +(define (non-empty-list? x) (and (pair? x) (list? (cdr x)))) (define non-empty-listof-func (*-listof non-empty-list? non-empty-list non-empty-listof (λ (ctc) (make-generate-ctc-fail)))) (define/subexpression-pos-prop (non-empty-listof a) (non-empty-listof-func a))