X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftarget-type.lisp;h=5bff4bd413353764657785ff4d4685d2ba36662d;hb=ac93aa515b197d751dad85d70432ebc87fac420a;hp=a3775fb56eb7b67f6f98ee6a5e6e884753f12240;hpb=faafcfc8d751c0f549f8d30ff2ea4bc7342a7329;p=sbcl.git

diff --git a/src/code/target-type.lisp b/src/code/target-type.lisp
index a3775fb..5bff4bd 100644
--- a/src/code/target-type.lisp
+++ b/src/code/target-type.lisp
@@ -130,19 +130,11 @@
 ;;; 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
-                   type-union2-cache-clear
-                   values-subtypep-cache-clear
-                   csubtypep-cache-clear
-                   type-intersection2-cache-clear
-                   values-type-intersection-cache-clear
-                   type=-cache-clear))
-      (funcall (the function (symbol-function sym)))))
+  ;; FIXME: We would like to differentiate between different cache
+  ;; kinds, but at the moment all our caches pretty much are type
+  ;; caches.
+  (drop-all-hash-caches)
   (values))
 
 ;;; This is like TYPE-OF, only we return a CTYPE structure instead of