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

diff --git a/NEWS b/NEWS
index 5cea3b8..66949cc 100644 (file)
--- 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 (file)
--- 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