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

diff --git a/src/code/typep.lisp b/src/code/typep.lisp
index 2c461ed..8c58fac 100644
--- a/src/code/typep.lisp
+++ b/src/code/typep.lisp
@@ -114,12 +114,10 @@
      (dolist (type (union-type-types type))
        (when (%%typep object type)
 	 (return t))))
-    ;; MNA: cons compound-type patch
-    ;; FIXIT: all commented out
-;     (cons-type
-;      (and (consp object)
-;  	  (%%typep (car object) (cons-type-car-type type))
-; 	  (%%typep (cdr object) (cons-type-cdr-type type))))
+    (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")