X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftype-class.lisp;h=fcd47069489fc4026a9a064d61bf626cf130785b;hb=62d333e05a6ae7de4e7b5c918d67608a457b3da7;hp=d493d41f62776d3d2c9bef4271778114efde8352;hpb=22b819c0cd0ca0ea5be52ba280b9e9e0b8e86210;p=sbcl.git

diff --git a/src/code/type-class.lisp b/src/code/type-class.lisp
index d493d41..fcd4706 100644
--- a/src/code/type-class.lisp
+++ b/src/code/type-class.lisp
@@ -85,6 +85,8 @@
   (complex-intersection2 nil :type (or function null))
   (simple-= #'must-supply-this :type function)
   (complex-= nil :type (or function null))
+  ;; monadic functions
+  (negate #'must-supply-this :type function)
   ;; a function which returns a Common Lisp type specifier
   ;; representing this type
   (unparse #'must-supply-this :type function)
@@ -120,6 +122,7 @@
       (:complex-intersection2 . type-class-complex-intersection2)
       (:simple-= . type-class-simple-=)
       (:complex-= . type-class-complex-=)
+      (:negate . type-class-negate)
       (:unparse . type-class-unparse))))
 
 (declaim (ftype (function (type-class) type-class) copy-type-class-coldly))