X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftarget-type.lisp;h=f8dccd315ed0a03a90ea63a29d53d486bfb4d5d6;hb=0b96758f3645dff3e681d82cc97ddab1faae27ac;hp=b45d004495a926870a3ceb619f795abb5a70fd74;hpb=b0642df835dc2fca3e4cf47aff978ecdc88799d5;p=sbcl.git

diff --git a/src/code/target-type.lisp b/src/code/target-type.lisp
index b45d004..f8dccd3 100644
--- a/src/code/target-type.lisp
+++ b/src/code/target-type.lisp
@@ -33,6 +33,7 @@
 	 named-type
 	 member-type
 	 array-type
+        character-set-type
 	 built-in-classoid
 	 cons-type)
      (values (%typep obj type) t))
@@ -148,6 +149,8 @@
 
 ;;; Clear memoization of all type system operations that can be
 ;;; altered by type definition/redefinition.
+;;;
+;;; FIXME: This should be autogenerated.
 (defun clear-type-caches ()
   (declare (special *type-system-initialized*))
   (when *type-system-initialized*
@@ -157,7 +160,8 @@
 		   values-subtypep-cache-clear
 		   csubtypep-cache-clear
 		   type-intersection2-cache-clear
-		   values-type-intersection-cache-clear))
+		   values-type-intersection-cache-clear
+                   type=-cache-clear))
       (funcall (the function (symbol-function sym)))))
   (values))
 
@@ -188,6 +192,8 @@
 			:specialized-element-type etype)))
     (cons
      (make-cons-type *universal-type* *universal-type*))
+    (character
+     (specifier-type 'character))
     (t
      (classoid-of x))))