X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcode%2Ftarget-type.lisp;h=5639b786fb6fe312cf467a02b3341a7e92b08606;hb=3fe0010d2777b41e01ea9b4a0f894cfa40f7df1b;hp=b45d004495a926870a3ceb619f795abb5a70fd74;hpb=b0642df835dc2fca3e4cf47aff978ecdc88799d5;p=sbcl.git diff --git a/src/code/target-type.lisp b/src/code/target-type.lisp index b45d004..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,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,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)