0.9.9.6:

	Place yet another obstacle in the way of version 1.0.  (bug #399)

diff --git a/BUGS b/BUGS
index bc78b72..7816958 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -2150,3 +2150,20 @@ WORKAROUND:
 
   For some more details see comments for (define-alien-type-method
   (c-string :deport-gen) ...)  in host-c-call.lisp.
+
+399: LOOP FOR ACROSS and full call to DATA-VECTOR-REF
+  The following is a simplified version of code that Gary King posted
+  to #lisp which triggers a BUG on a full call to DATA-VECTOR-REF:
+
+  (defun foo (x)
+    (declare (type (or (simple-array character (6))
+                       (simple-array character (5))) x))
+    (aref x 0))
+
+  The similar code:
+
+  (defun foo (x)
+    (declare (type (simple-array character (5)) x))
+    (aref x 0))
+
+  does not trigger the full call.

diff --git a/version.lisp-expr b/version.lisp-expr
index cd1b95b..bdf26c7 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.9.9.5"
+"0.9.9.6"