From: Olof-Joachim Frahm <olof@macrolet.net>
Date: Thu, 25 Apr 2013 23:37:37 +0000 (+0200)
Subject: Print type of value when handling CHECK-TYPE.
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=c0a02a29111490e0fa3a78ae0329f228bdcbe6ef;p=sbcl.git

Print type of value when handling CHECK-TYPE.
---

diff --git a/src/code/target-error.lisp b/src/code/target-error.lisp
index 9a7aa8f..1d20b51 100644
--- a/src/code/target-error.lisp
+++ b/src/code/target-error.lisp
@@ -249,8 +249,10 @@ with that condition (or with no condition) will be returned."
           :datum place-value
           :expected-type type
           :format-control
-          "The value of ~S is ~S, which is not ~:[of type ~S~;~:*~A~]."
-          :format-arguments (list place place-value type-string type))))
+          "The value of ~S is ~S, which is not ~:[of type ~S~;~:*~A~*~] ~
+           but ~2:*~:[~;of type ~]~*~S."
+          :format-arguments (list place place-value type-string type
+                                  (type-of place-value)))))
     (restart-case (error condition)
       (store-value (value)
         :report (lambda (stream)