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

diff --git a/src/code/target-type.lisp b/src/code/target-type.lisp
index fc5250b..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,7 +149,10 @@
 
 ;;; 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*
     (dolist (sym '(values-specifier-type-cache-clear
 		   values-type-union-cache-clear
@@ -156,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))
 
@@ -187,6 +192,8 @@
 			:specialized-element-type etype)))
     (cons
      (make-cons-type *universal-type* *universal-type*))
+    (character
+     (specifier-type 'character))
     (t
      (classoid-of x))))