0.9.13.4:
[sbcl.git] / BUGS
diff --git a/BUGS b/BUGS
index 4b009c1..4860f07 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -2130,21 +2130,4 @@ WORKAROUND:
   (c-string :deport-gen) ...)  in host-c-call.lisp.
 
 401: "optimizer runaway on bad constant type specifiers in TYPEP"
-  In 0.9.12.3 (and probably many earlier versions), COMPILE-FILE on
-    (defun ouch401 ()
-      (etypecase (signum (- x y))
-        ((-1 nil))
-         ((0 1) (oops "shouldn't happen"))))
-  or just
-    (defun foo401 (x)
-      (typep x '(-1 nil)))
-  spins emitting what seems to be an endless series of compiler 
-  warnings like
-    ; --> TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP 
-    ; --> TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP TYPEP 
-    ; --> TYPEP 
-    ; ==>
-    ;   (TYPEP SB-C::OBJECT '(-1 NIL))
-    ; 
-    ; caught WARNING:
-    ;   illegal type specifier for TYPEP: (-1 NIL)
+  (fixed in 0.9.12.12)