[Sbcl-commits] CVS: sbcl NEWS,1.405,1.406 package-data-list.lisp-expr,1.247,1.248 version.lisp-expr,1.1240,1.1241

[Christophe R. <cr...@us...>]

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1:/tmp/cvs-serv9659

Modified Files:
	NEWS package-data-list.lisp-expr version.lisp-expr 
Log Message:
0.8.3.56:
	Fix (BYTE 0 0)
	... again, in the %LDB-and-friends DERIVE-TYPE methods, but this
		time the failure seemed more justifiable, because...
	... (UNSIGNED-BYTE 0) is quite naturally interpreted as 
		(INTEGER 0 0), and that's what we wrote, but ...
	... ANSI saith "s---a positive integer".  Ugh.  So ...
	... implement SB!INT:UNSIGNED-BYTE* that does the right thing,
		and use it to simplify derive-type logic.


Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.405
retrieving revision 1.406
diff -u -d -r1.405 -r1.406
--- NEWS	12 Sep 2003 09:16:53 -0000	1.405
+++ NEWS	12 Sep 2003 15:23:07 -0000	1.406
@@ -2055,6 +2055,8 @@
     ** LOGBITP accepts a non-negative bignum as its INDEX argument.
     ** compiler incorrectly derived types of DPB and DEPOSIT-FIELD
        with negative last argument.
+    ** byte specifiers with zero size and position no longer cause
+       an error during type derivation.
 
 planned incompatible changes in 0.8.x:
   * (not done yet, but planned:) When the profiling interface settles

Index: package-data-list.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/package-data-list.lisp-expr,v
retrieving revision 1.247
retrieving revision 1.248
diff -u -d -r1.247 -r1.248
--- package-data-list.lisp-expr	11 Sep 2003 15:49:43 -0000	1.247
+++ package-data-list.lisp-expr	12 Sep 2003 15:23:07 -0000	1.248
@@ -784,7 +784,7 @@
              "INDEX" "LOAD/STORE-INDEX"
 	     "SIGNED-BYTE-WITH-A-BITE-OUT"
 	     "UNSIGNED-BYTE-WITH-A-BITE-OUT"
-             "SFUNCTION"
+             "SFUNCTION" "UNSIGNED-BYTE*"
              ;; ..and type predicates
              "INSTANCEP"
              "DOUBLE-FLOAT-P"

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1240
retrieving revision 1.1241
diff -u -d -r1.1240 -r1.1241
--- version.lisp-expr	12 Sep 2003 11:27:39 -0000	1.1240
+++ version.lisp-expr	12 Sep 2003 15:23:07 -0000	1.1241
@@ -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.3.55"
+"0.8.3.56"