0.7.9.25:

[sbcl.git] / BUGS

diff --git a/BUGS b/BUGS
index 1a3138c..af0d847 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -781,31 +781,6 @@ WORKAROUND:
   isn't too surprising since there are many differences in stack
   implementation and GC conservatism between the X86 and other ports.)
 
-166:
-  Compiling 
-    (in-package :cl-user)
-    (defstruct uustk)
-    (defmethod permanentize ((uustk uustk))
-      (flet ((frob (hash-table test-for-deletion)
-               )
-             (obj-entry.stale? (oe)
-               (destructuring-bind (key . datum) oe
-                 (declare (type simple-vector key))
-                 (deny0 (void? datum))
-                 (some #'stale? key))))
-        (declare (inline frob obj-entry.stale?))
-        (frob (uustk.args-hash->obj-alist uustk)
-              #'obj-entry.stale?)
-        (frob (uustk.hash->memoized-objs-list uustk)
-              #'objs.stale?))
-      (call-next-method))
-  in sbcl-0.7.3.11 causes an assertion failure, 
-    failed AVER:
-      "(NOT
-(AND (NULL (BLOCK-SUCC B))
-      (NOT (BLOCK-DELETE-P B))
-      (NOT (EQ B (COMPONENT-HEAD #)))))"
-
 167:
   In sbcl-0.7.3.11, compiling the (illegal) code 
     (in-package :cl-user)
@@ -1305,17 +1280,6 @@ WORKAROUND:
   arguments, but it could be tricky to check result types of PROG1, IF
   etc.
 
-221: 
-  Sometime between sbcl-0.7.8.51 and sbcl-0.7.9.5 the system lost the
-  ability to compile
-    (declaim (ftype (function (fixnum) (values package boolean)) f1))
-    (declaim (ftype (function (t) (values package boolean)) f2))
-    (defun ow (b x)
-      (funcall (if b #'f1 #'f2) x))
-  Now the compiler dies with
-    SUBTYPEP is illegal on this type: (VALUES PACKAGE (MEMBER T NIL))
-  apparently when attempting to infer the type of the IF expression.
-
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#: