[Sbcl-commits] CVS: sbcl BUGS,1.424,1.425 NEWS,1.655,1.656 version.lisp-expr,1.1894,1.1895

[Nikodemus S. <de...@us...>]

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

Modified Files:
	BUGS NEWS version.lisp-expr 
Log Message:
0.8.16.32: Fix #302
            * PRIMITIVE-TYPE used to return (any) for all intersection
               types. Make it smarter.


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.424
retrieving revision 1.425
diff -u -d -r1.424 -r1.425
--- BUGS	29 Oct 2004 13:56:55 -0000	1.424
+++ BUGS	4 Nov 2004 11:21:19 -0000	1.425
@@ -1101,14 +1101,6 @@
   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
-
 303: "nonlinear LVARs" (aka MISC.293)
     (defun buu (x)
       (multiple-value-call #'list

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.655
retrieving revision 1.656
diff -u -d -r1.655 -r1.656
--- NEWS	3 Nov 2004 14:00:07 -0000	1.655
+++ NEWS	4 Nov 2004 11:21:19 -0000	1.656
@@ -16,6 +16,8 @@
   * minor incompatible change: SB-C::*COMPILER-ERROR-PRINT-FOO* variables
     are no longer supported: use SB-EXT:*COMPILER-PRINT-VARIABLE-ALIST*
     instead. 
+  * fixed bug #302: better primitive-type selection for intersection
+    types.
   * fixed bug #308: non-graphic characters now all have names, as
     required.  (reported by Bruno Haible)
   * bug fix: Cyclic structures and unprintable objects in compiler

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1894
retrieving revision 1.1895
diff -u -d -r1.1894 -r1.1895
--- version.lisp-expr	3 Nov 2004 22:35:11 -0000	1.1894
+++ version.lisp-expr	4 Nov 2004 11:21:21 -0000	1.1895
@@ -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.16.31"
+"0.8.16.32"