X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=365e53762053f536218cbab84e0e19aa81b853d5;hb=fab1ba8d4e92ecb5d496577fc205675218911b1d;hp=a52d83a81a297f340e83b974c0ff134a95eb0ff1;hpb=64ec717cf13c44fb4571c1fd7fbd508551ecfe01;p=sbcl.git

diff --git a/BUGS b/BUGS
index a52d83a..365e537 100644
--- a/BUGS
+++ b/BUGS
@@ -616,12 +616,6 @@ WORKAROUND:
   The careful type of X is {2k} :-(. Is it really important to be
   able to work with unions of many intervals?
 
-190: "PPC/Linux pipe? buffer? bug"
-  In sbcl-0.7.6, the run-program.test.sh test script sometimes hangs
-  on the PPC/Linux platform, waiting for a zombie env process.  This
-  is a classic symptom of buffer filling and deadlock, but it seems
-  only sporadically reproducible.
-
 191: "Miscellaneous PCL deficiencies"
   (reported by Alexey Dejneka sbcl-devel 2002-08-04)
   a. DEFCLASS does not inform the compiler about generated
@@ -1235,3 +1229,25 @@ WORKAROUND:
   less error prone to have EXPLICIT-CHECK be a local declaration,
   being put into the definition, instead of an attribute being kept in
   a separate file; maybe also put it into SB-EXT?
+
+301: ARRAY-SIMPLE-=-TYPE-METHOD breaks on corner cases which can arise
+     in NOTE-ASSUMED-TYPES
+  In sbcl-0.8.7.32, compiling the file
+	(defun foo (x y)
+	  (declare (type integer x))
+	  (declare (type (vector (or hash-table bit)) y))
+	  (bletch 2 y))
+	(defun bar (x y)
+	  (declare (type integer x))
+	  (declare (type (simple-array base (2)) y))
+	  (bletch 1 y))
+  gives the error
+    failed AVER: "(NOT (AND (NOT EQUALP) CERTAINP))"
+
+302: Undefined type messes up DATA-VECTOR-REF expansion.
+  Compiling this file
+    (defun dis (s ei x y)
+      (declare (type (simple-array function (2)) s) (type ei ei))
+      (funcall (aref s ei) x y))
+  on sbcl-0.8.7.36/X86/Linux causes a BUG to be signalled:
+    full call to SB-KERNEL:DATA-VECTOR-REF