X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=4860f0797c6b6128a7e04b32bfa1bf47c0733992;hb=e404d36bb823d93ad20ccd6c653244cf443f2633;hp=4b009c11566065249bb7475e8b3deb9b1f886643;hpb=3558758e6943e53c15bf76c2d4cfd4ee896c726b;p=sbcl.git

diff --git a/BUGS b/BUGS
index 4b009c1..4860f07 100644
--- 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)