From e5b6856e8b1a068340a9b67489a352ed39f4dbcf Mon Sep 17 00:00:00 2001 From: Nikodemus Siivola Date: Fri, 2 Dec 2011 14:20:08 +0200 Subject: [PATCH] muffle style-warnings for INFO :FUNCTION :TYPE Even if the function object's type contains unknown types, this is not the right place to complain about them. lp#806243 --- NEWS | 2 ++ src/compiler/globaldb.lisp | 3 ++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 5cea3b8..66949cc 100644 --- a/NEWS +++ b/NEWS @@ -34,6 +34,8 @@ changes relative to sbcl-1.0.54: * bug fix: *EVALUATOR-MODE* :COMPILE treated (LET () ...) identically to (LOCALLY ...) leading to internally inconsistent toplevel-formness. * bug fix: non-toplevel DEFSTRUCT signaled a style warning for unknown type. + * bug fix: redefining a function whose previous definition contained an + unknown type no longer causes a style-warning. (lp#806243) changes in sbcl-1.0.54 relative to sbcl-1.0.53: * minor incompatible changes: diff --git a/src/compiler/globaldb.lisp b/src/compiler/globaldb.lisp index 69c579c..da77f64 100644 --- a/src/compiler/globaldb.lisp +++ b/src/compiler/globaldb.lisp @@ -926,7 +926,8 @@ :default #+sb-xc-host (specifier-type 'function) #-sb-xc-host (if (fboundp name) - (specifier-type (sb!impl::%fun-type (fdefinition name))) + (handler-bind ((style-warning #'muffle-warning)) + (specifier-type (sb!impl::%fun-type (fdefinition name)))) (specifier-type 'function))) ;;; the ASSUMED-TYPE for this function, if we have to infer the type -- 1.7.10.4