Print type of value when handling CHECK-TYPE.

[sbcl.git] / src / code / target-error.lisp

diff --git a/src/code/target-error.lisp b/src/code/target-error.lisp
index 9a7aa8f..1d20b51 100644 (file)
--- 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)