Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1:/tmp/cvs-serv14914
Modified Files:
BUGS version.lisp-expr
Log Message:
0.7.10.32:
New bug.
Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.257
retrieving revision 1.258
diff -u -d -r1.257 -r1.258
--- BUGS 22 Dec 2002 14:19:52 -0000 1.257
+++ BUGS 26 Dec 2002 20:05:02 -0000 1.258
@@ -1190,14 +1190,20 @@
229:
(subtypep 'function '(function)) => nil, t.
-232:
- (shown by Paul Dietz' test suite)
-
- (loop for v fixnum being each hash-key in ...)
+233:
+ Bug in constraint propagation:
- in 0.7.10.29 signals an error "NIL is not of type FIXNUM".
- (fixed in 0.7.10.30)
+ (defun foo (x)
+ (declare (optimize (speed 2) (safety 3)))
+ (let ((y 0d0))
+ (values
+ (the double-float x)
+ (setq y (+ x 1d0))
+ (setq x 3d0)
+ (quux y (+ y 2d0) (* y 3d0)))))
+ (foo 4) => segmentation violation
+ (see usage of CONTINUATION-ASSERTED-TYPE in USE-RESULT-CONSTRAINTS)
DEFUNCT CATEGORIES OF BUGS
IR1-#:
Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.708
retrieving revision 1.709
diff -u -d -r1.708 -r1.709
--- version.lisp-expr 23 Dec 2002 13:52:59 -0000 1.708
+++ version.lisp-expr 26 Dec 2002 20:05:03 -0000 1.709
@@ -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.10.31"
+"0.7.10.32"
|