[Sbcl-commits] CVS: sbcl BUGS, 1.529, 1.530 version.lisp-expr, 1.3860, 1.3861

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

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

Modified Files:
	BUGS version.lisp-expr 
Log Message:
1.0.14.32: fix bug 407

 * %SINGLE-FLOAT and %DOUBLE-FLOAT should not be flushable.

 * BUGS entry remains: should (COERCE (EXPT 2 1024) 'SINGLE-FLOAT)
   really signal a TYPE-ERROR?


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.529
retrieving revision 1.530
diff -u -d -r1.529 -r1.530
--- BUGS	21 Jan 2008 14:40:54 -0000	1.529
+++ BUGS	17 Feb 2008 13:26:15 -0000	1.530
@@ -1713,6 +1713,10 @@
 		3: (SB-C::BOUND-FUNC ...)
 		4: (SB-C::%SINGLE-FLOAT-DERIVE-TYPE-AUX ...)
 
+  These are now fixed, but (COERCE HUGE 'SINGLE-FLOAT) still signals a
+  type-error at runtime. The question is, should it instead signal a
+  floating-point overflow, or return an infinity?
+
 408: SUBTYPEP confusion re. OR of SATISFIES of not-yet-defined predicate
 	As reported by Levente M\'{e}sz\'{a}ros sbcl-devel 2006-02-20,
 		(aver (equal (multiple-value-list

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.3860
retrieving revision 1.3861
diff -u -d -r1.3860 -r1.3861
--- version.lisp-expr	17 Feb 2008 08:18:40 -0000	1.3860
+++ version.lisp-expr	17 Feb 2008 13:26:15 -0000	1.3861
@@ -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".)
-"1.0.14.31"
+"1.0.14.32"