0.8.7.33:

	just logging a bug

diff --git a/BUGS b/BUGS
index a52d83a..ae67a24 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1235,3 +1235,17 @@ 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))"

diff --git a/version.lisp-expr b/version.lisp-expr
index 08f7f72..c04b9b0 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.7.32"
+"0.8.7.33"