X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fcheckgen.lisp;h=9d13c974f2829a4c712d50dd3f507c207df0b010;hb=51cf665f514935c8067f86f3850fd917731cada0;hp=e437e9b42e8c67796a921b7d7300242fafcf3d99;hpb=d7ca32c95549ea9dd6c68b813c4ac1f1d66984e1;p=sbcl.git

diff --git a/src/compiler/checkgen.lisp b/src/compiler/checkgen.lisp
index e437e9b..9d13c97 100644
--- a/src/compiler/checkgen.lisp
+++ b/src/compiler/checkgen.lisp
@@ -487,9 +487,9 @@
             (:too-hairy
              (let ((*compiler-error-context* cast))
                (when (policy cast (>= safety inhibit-warnings))
-                 (compiler-note
+                 (compiler-notify
                   "type assertion too complex to check:~% ~S."
-                  (type-specifier (cast-asserted-type cast)))))
+                  (type-specifier (coerce-to-values (cast-asserted-type cast))))))
              (setf (cast-type-to-check cast) *wild-type*)
              (setf (cast-%type-check cast) nil)))))))
   (values))