0.9.0.14:

	Fix for WARN's type-error (among others: ENFORCE-TYPE / PFD
	ansi-tests)
	... the initarg is :DATUM, not :VALUE.

diff --git a/NEWS b/NEWS
index 304a432..0a1e81d 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,8 @@ changes in sbcl-0.9.1 relative to sbcl-0.9.0:
   * fixed cross-compiler leakages that prevented building a 32-bit
     target with a 64-bit host compiler.
   * contrib improvement: implement SB-POSIX:MKSTEMP (Yannick Gingras)
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** the type-error signalled from WARN has a filled-in DATUM slot.
 
 changes in sbcl-0.9.0 relative to sbcl-0.8.21:
   * incompatible change: the --noprogrammer option, deprecated since

diff --git a/src/code/early-extensions.lisp b/src/code/early-extensions.lisp
index 9b9be1e..0062a7b 100644 (file)
--- a/src/code/early-extensions.lisp
+++ b/src/code/early-extensions.lisp
@@ -818,8 +818,10 @@
        (%failed-enforce-type ,value ',type))))
 
 (defun %failed-enforce-type (value type)
-  (error 'simple-type-error ; maybe should be TYPE-BUG, subclass of BUG?
-        :value value
+  ;; maybe should be TYPE-BUG, subclass of BUG?  If it is changed,
+  ;; check uses of it in user-facing code (e.g. WARN)
+  (error 'simple-type-error 
+        :datum value
         :expected-type type
         :format-control "~@<~S ~_is not a ~_~S~:>"
         :format-arguments (list value type)))

diff --git a/version.lisp-expr b/version.lisp-expr
index 8965216..c0a74cf 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -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.9.0.13"
+"0.9.0.14"