[Sbcl-commits] CVS: sbcl BUGS,1.276,1.277 NEWS,1.256,1.257 version.lisp-expr,1.813,1.814

[Alexey D. <ade...@us...>]

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

Modified Files:
	BUGS NEWS version.lisp-expr 
Log Message:
0.7.13.24:
        * [N]REVERSE and NRECONC check properness of list arguments;
        * [P]SXHASH always consider NIL to be a symbol.


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.276
retrieving revision 1.277
diff -u -d -r1.276 -r1.277
--- BUGS	10 Mar 2003 14:54:16 -0000	1.276
+++ BUGS	11 Mar 2003 18:24:28 -0000	1.277
@@ -1169,17 +1169,6 @@
 229:
   (subtypep 'function '(function)) => nil, t.
 
-231: "SETQ does not correctly check the type of a variable being set"
-  b.
-    (defun foo (x z)
-      (declare (type integer x))
-      (locally (declare (type (real 1) x))
-        (setq x z))
-      (list x z))
-    (foo 0 0) => (0 0).
-
-  (fixed in 0.7.12.8)
-
 233: bugs in constraint propagation
   a.
   (defun foo (x)

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.256
retrieving revision 1.257
diff -u -d -r1.256 -r1.257
--- NEWS	10 Mar 2003 17:25:11 -0000	1.256
+++ NEWS	11 Mar 2003 18:24:32 -0000	1.257
@@ -1593,11 +1593,14 @@
        types got intertwined, has been fixed;
     ** the type system is now able to reason about the interaction
        between INTEGER and RATIO types more completely;
-    ** APPEND checks its arguments for being proper lists;
+    ** APPEND, [N]REVERSE and NRECONC check that those their
+       arguments, which must be proper lists, are really so;
     ** An array specialized to be unable to hold elements has been
        implemented (as required -- yes, really) by ANSI;
     ** GETF and GET-PROPERTIES throw a TYPE-ERROR, not a SIMPLE-ERROR,
        on malformed property lists;
+  * fixed SXHASH, giving different results for NIL depending on type
+    declarations (SYMBOL or LIST). (thanks to Gerd Moellmann)
 
 planned incompatible changes in 0.7.x:
   * (not done yet, but planned:) When the profiling interface settles

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.813
retrieving revision 1.814
diff -u -d -r1.813 -r1.814
--- version.lisp-expr	11 Mar 2003 10:14:12 -0000	1.813
+++ version.lisp-expr	11 Mar 2003 18:24:32 -0000	1.814
@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.13.23"
+"0.7.13.24"