From 0f16392602307bdc5b8f8a2f0e90b8d5328fe88b Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 4 Apr 2002 18:50:01 +0000
Subject: [PATCH] ..

original commit: 60cf32b7a737466614fc3b6bc6f9ef7d693899cc
---
 collects/framework/specs.ss | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/collects/framework/specs.ss b/collects/framework/specs.ss
index fe8da20..8d18af9 100644
--- a/collects/framework/specs.ss
+++ b/collects/framework/specs.ss
@@ -504,7 +504,7 @@
            false? any? 
            union symbols
            subclass?/c implementation?/c is-a?/c
-           listof vectorof
+           listof vectorof cons/p
 	   mixin-contract make-mixin-contract/<%> make-mixin-contract/%)
   
   (define-syntax (name stx)
@@ -567,11 +567,17 @@
                  (andmap p v)))))
   
   (define (vectorof p)
-    (name vectorof 
+    (name vectorof
           (lambda (v)
             (and (vector? v)
                  (andmap p (vector->list v))))))
 
+  (define (cons/p hdp tlp)
+    (lambda (x)
+      (and (pair? x)
+	   (hdp (car x))
+	   (tlp (cdr x)))))
+
   (define mixin-contract
     (class?
      . ->d .