Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv22647
Modified Files:
NEWS version.lisp-expr
Log Message:
1.0.18.4: use CAREFUL-SPECIFIER-TYPE when deriving the type COERCE
* Derived type of the second argument can eg. be a MEMBER type with
where all members are not valid type specifiers: this is a runtime
error, not a compile-time one.
Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.1362
retrieving revision 1.1363
diff -u -d -r1.1362 -r1.1363
--- NEWS 30 Jun 2008 09:18:32 -0000 1.1362
+++ NEWS 30 Jun 2008 09:44:42 -0000 1.1363
@@ -7,6 +7,9 @@
to single-float coercions.
** artihmetic operations involving large integers and single
floats give the same results in compiled and interpreted code.
+ ** deriving the result type of COERCE no longer signals an error
+ if the derived type of the second argument is a MEMBER type
+ containing invalid type specifiers.
changes in sbcl-1.0.18 relative to 1.0.17:
* minor incompatible change: SB-SPROF:WITH-PROFILING now by default
Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.4006
retrieving revision 1.4007
diff -u -d -r1.4006 -r1.4007
--- version.lisp-expr 30 Jun 2008 09:18:32 -0000 1.4006
+++ version.lisp-expr 30 Jun 2008 09:44:42 -0000 1.4007
@@ -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.18.3"
+"1.0.18.4"
|