X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftypep.lisp;h=8c58facaeaeeb1a57c95e193b602b06ed8758a99;hb=b8f63d9b4e978bec3bfc1f4fc471e5ed946781fd;hp=b82f92c1b78912239c86f1b9dcb07e63027443ba;hpb=cea4896b2482b7b2b429c1631d774b4cfbc0efba;p=sbcl.git

diff --git a/src/code/typep.lisp b/src/code/typep.lisp
index b82f92c..8c58fac 100644
--- a/src/code/typep.lisp
+++ b/src/code/typep.lisp
@@ -114,6 +114,10 @@
      (dolist (type (union-type-types type))
        (when (%%typep object type)
 	 (return t))))
+    (cons-type
+     (and (consp object)
+	  (%%typep (car object) (cons-type-car-type type))
+	  (%%typep (cdr object) (cons-type-cdr-type type))))
     (unknown-type
      ;; dunno how to do this ANSIly -- WHN 19990413
      #+sb-xc-host (error "stub: %%TYPEP UNKNOWN-TYPE in xcompilation host")