X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fproclaim.lisp;h=3c94f2fa01ebdd8a7157f541613f04140f831290;hb=dfa55a883f94470267b626dae77ce7e7dfac3df6;hp=e2be4a231f3364a1c0eccf227dfd2601dbca45a4;hpb=fa8962d732057015fbb9a2f8a08ea8d5299b50dd;p=sbcl.git diff --git a/src/compiler/proclaim.lisp b/src/compiler/proclaim.lisp index e2be4a2..3c94f2f 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 @@ -218,9 +219,6 @@ (setf (class-state subclass) :sealed)))))))) (optimize (setq *policy* (process-optimize-decl form *policy*))) - (optimize-interface - (setq *interface-policy* - (process-optimize-decl form *interface-policy*))) ((inline notinline maybe-inline) (dolist (name args) (proclaim-as-function-name name)