X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftypep.lisp;h=2c461ed7097e0c9efbc4aed4bf85235b48dd4c75;hb=2d65a5544c5134461574a0e69a6f1361bb98b27c;hp=505b55cd350684028a103dc470baafe852198fff;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git diff --git a/src/code/typep.lisp b/src/code/typep.lisp index 505b55c..2c461ed 100644 --- a/src/code/typep.lisp +++ b/src/code/typep.lisp @@ -9,9 +9,6 @@ (in-package "SB!KERNEL") -(file-comment - "$Header$") - ;;; The actual TYPEP engine. The compiler only generates calls to this ;;; function when it can't figure out anything more intelligent to do. (defun %typep (object specifier) @@ -117,6 +114,12 @@ (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)))) (unknown-type ;; dunno how to do this ANSIly -- WHN 19990413 #+sb-xc-host (error "stub: %%TYPEP UNKNOWN-TYPE in xcompilation host")