X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fproclaim.lisp;h=3c94f2fa01ebdd8a7157f541613f04140f831290;hb=fdf07da187cb31fd5bdd872c73245fd72877b1a1;hp=5fe42b1b12e21dc53facaf6e6d02d9b66d01a37b;hpb=68c539ab90bb39f342229e68bf9286f63824597a;p=sbcl.git diff --git a/src/compiler/proclaim.lisp b/src/compiler/proclaim.lisp index 5fe42b1..3c94f2f 100644 --- a/src/compiler/proclaim.lisp +++ b/src/compiler/proclaim.lisp @@ -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)