Steel Bank Common Lisp

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv25535

Modified Files:
	BUGS version.lisp-expr 
Log Message:
0.9.9.6:
	Place yet another obstacle in the way of version 1.0.  (bug #399)


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.486
retrieving revision 1.487
diff -u -d -r1.486 -r1.487
--- BUGS	13 Jan 2006 11:32:46 -0000	1.486
+++ BUGS	27 Jan 2006 20:42:19 -0000	1.487
@@ -2150,3 +2150,20 @@
 
   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.

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.2665
retrieving revision 1.2666
diff -u -d -r1.2665 -r1.2666
--- version.lisp-expr	27 Jan 2006 15:53:20 -0000	1.2665
+++ version.lisp-expr	27 Jan 2006 20:42:20 -0000	1.2666
@@ -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"