X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftarget-type.lisp;h=5639b786fb6fe312cf467a02b3341a7e92b08606;hb=3fe0010d2777b41e01ea9b4a0f894cfa40f7df1b;hp=fc5250b5a118811ea9a57686376d27680f48f458;hpb=2d3cb6dba6461e98744eca2a1df4f770cea468ca;p=sbcl.git diff --git a/src/code/target-type.lisp b/src/code/target-type.lisp index fc5250b..5639b78 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,10 +192,9 @@ :specialized-element-type etype))) (cons (make-cons-type *universal-type* *universal-type*)) + (character + (specifier-type 'character)) (t (classoid-of x)))) - -;;; Clear this cache on GC so that we don't hold onto too much garbage. -(pushnew 'ctype-of-cache-clear *before-gc-hooks*) (!defun-from-collected-cold-init-forms !target-type-cold-init)