X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftypep.lisp;h=a4f79202b6102f469058efec9b095921ca92fe50;hb=d68f3f83e6c5b9bed9789279cbae346f240488cc;hp=5c7ee7bb89ce249e1461b59a7f803a539e5b7fe6;hpb=b0fab8a8c774f4e2921877c408ecca0b39d38676;p=sbcl.git

diff --git a/src/code/typep.lisp b/src/code/typep.lisp
index 5c7ee7b..a4f7920 100644
--- a/src/code/typep.lisp
+++ b/src/code/typep.lisp
@@ -158,6 +158,8 @@
 	   (error "unknown type specifier: ~S"
 		  (unknown-type-specifier reparse))
 	   (%%typep object reparse))))
+    (negation-type
+     (not (%%typep object (negation-type-type type))))
     (hairy-type
      ;; Now the tricky stuff.
      (let* ((hairy-spec (hairy-type-specifier type))