- (:symbol name "globally declaring the ftype of ~A"))
- (when (eq (info :function :where-from name) :declared)
- (let ((old-type (info :function :type name)))
- (when (type/= ctype old-type)
- ;; FIXME: changing to FTYPE-PROCLAMATION-MISMATCH
- ;; broke late-proclaim.lisp.
- (style-warn
- "new FTYPE proclamation~@
- ~S~@
- for ~S does not match old FTYPE proclamation~@
- ~S"
- ctype name old-type))))
+ (:symbol name "globally declaring the ftype of ~A")
+ (when (eq (info :function :where-from name) :declared)
+ (let ((old-type (info :function :type name)))
+ (when (type/= ctype old-type)
+ ;; FIXME: changing to FTYPE-PROCLAMATION-MISMATCH
+ ;; broke late-proclaim.lisp.
+ (style-warn
+ "~@<new FTYPE proclamation for ~S~@:_ ~S~@:_~
+ does not match the old FTYPE proclamation:~@:_ ~S~@:>"
+ name (type-specifier ctype) (type-specifier old-type)))))