From 3d5db41255842ddbde31db777214378fcf5dfc34 Mon Sep 17 00:00:00 2001
From: William Harold Newman <william.newman@airmail.net>
Date: Fri, 30 Jan 2004 21:07:17 +0000
Subject: [PATCH] 0.8.7.33: 	just logging a bug

---
 BUGS              |   14 ++++++++++++++
 version.lisp-expr |    2 +-
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/BUGS b/BUGS
index a52d83a..ae67a24 100644
--- 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
--- 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"
-- 
1.7.10.4