X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fclass.lisp;h=392ccfaa9953226ec2e67e9add5d1ffbfbfd43cf;hb=f73c1f391342c797b8daebe4e8c27e5923341b6d;hp=fd432d41e6cd1f2c207da2d753fb824fe52300ce;hpb=fc999187f3f80dfcf170348df676386b8403e261;p=sbcl.git

diff --git a/src/code/class.lisp b/src/code/class.lisp
index fd432d4..392ccfa 100644
--- a/src/code/class.lisp
+++ b/src/code/class.lisp
@@ -871,6 +871,9 @@
       (values nil nil)
       (invoke-complex-subtypep-arg1-method type1 class2 nil t)))
 
+(!define-type-method (classoid :negate) (type)
+  (make-negation-type :type type))
+
 (!define-type-method (classoid :unparse) (type)
   (classoid-proper-name type))