X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fproclaim.lisp;h=39e494c7b84f66d890f15826199ab8d0c01cbb16;hb=a8fa26a6e9804d3548f5bca9361a91345a689099;hp=e2be4a231f3364a1c0eccf227dfd2601dbca45a4;hpb=fa8962d732057015fbb9a2f8a08ea8d5299b50dd;p=sbcl.git

diff --git a/src/compiler/proclaim.lisp b/src/compiler/proclaim.lisp
index e2be4a2..39e494c 100644
--- a/src/compiler/proclaim.lisp
+++ b/src/compiler/proclaim.lisp
@@ -102,7 +102,7 @@
 (defun canonized-decl-spec (decl-spec)
   (let ((id (first decl-spec)))
     (unless (symbolp id)
-      (error "The declaration identifier is not a symbol: ~S" what))
+      (error "The declaration identifier is not a symbol: ~S" id))
     (let ((id-is-type (info :type :kind id))
 	  (id-is-declared-decl (info :declaration :recognized id)))
       (cond ((and id-is-type id-is-declared-decl)
@@ -196,11 +196,12 @@
 		    (when (eq (info :function :where-from name) :declared)
 		      (let ((old-type (info :function :type name)))
 			(when (type/= type old-type)
-			  (style-warn "new FTYPE proclamation~@
-                                       ~S~@
-                                       for ~S does not match old FTYPE proclamation~@
-                                       ~S"
-				      (list type name old-type)))))
+			  (style-warn
+			   "new FTYPE proclamation~@
+                            ~S~@
+                            for ~S does not match old FTYPE proclamation~@
+                            ~S"
+			   (list type name old-type)))))
 
 		    (proclaim-as-function-name name)
 		    (note-name-defined name :function)
@@ -209,7 +210,7 @@
       (freeze-type
        (dolist (type args)
 	 (let ((class (specifier-type type)))
-	   (when (typep class 'class)
+	   (when (typep class 'sb!xc:class)
 	     (setf (class-state class) :sealed)
 	     (let ((subclasses (class-subclasses class)))
 	       (when subclasses