0.6.10:

[sbcl.git] / src / code / typep.lisp

diff --git a/src/code/typep.lisp b/src/code/typep.lisp
index 2c461ed..8c58fac 100644 (file)
--- 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")