1.0.14.10: friendly CHECK-TYPE error message for quoted type-specifiers

 * (QUOTE ...) is never a valid type-specifier.

 * When printing the macro-form responsible for an error, increase
   *PRINT-LEVEL* from 1 to 3, for a slightly better compiler-log
   reading experience.

diff --git a/src/code/macros.lisp b/src/code/macros.lisp
index ebddde6..838d699 100644 (file)
--- a/src/code/macros.lisp
+++ b/src/code/macros.lisp
@@ -63,6 +63,12 @@
 is not of the specified type. If an error is signalled and the restart
 is used to return, this can only return if the STORE-VALUE restart is
 invoked. In that case it will store into PLACE and start over."
+  ;; Detect a common user-error.
+  (when (and (consp type) (eq 'quote (car type)))
+    (error 'simple-reference-error
+           :format-control "Quoted type specifier in ~S: ~S"
+           :format-arguments (list 'check-type type)
+           :references (list '(:ansi-cl :macro check-type))))
   ;; KLUDGE: We use a simpler form of expansion if PLACE is just a
   ;; variable to work around Python's blind spot in type derivation.
   ;; For more complex places getting the type derived should not

diff --git a/src/compiler/ir1tran.lisp b/src/compiler/ir1tran.lisp
index 2b0e386..9642368 100644 (file)
--- a/src/compiler/ir1tran.lisp
+++ b/src/compiler/ir1tran.lisp
@@ -750,7 +750,7 @@
              (let ((*print-pretty* nil)
                    ;; We rely on the printer to abbreviate FORM.
                    (*print-length* 3)
-                   (*print-level* 1))
+                   (*print-level* 3))
                (format
                 nil
                 #-sb-xc-host "(in macroexpansion of ~S)"

diff --git a/version.lisp-expr b/version.lisp-expr
index 23b050c..7d89be4 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".)
-"1.0.14.9"
+"1.0.14.10"