X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fproclaim.lisp;h=1609080cc615f3e8e0a05ac1fc4a15c81b076223;hb=51cf665f514935c8067f86f3850fd917731cada0;hp=89af8fba01017c6687bcc6c5ae1ac0799234cf35;hpb=c5df202d52732a0dea8dc3558954a729073b7970;p=sbcl.git

diff --git a/src/compiler/proclaim.lisp b/src/compiler/proclaim.lisp
index 89af8fb..1609080 100644
--- a/src/compiler/proclaim.lisp
+++ b/src/compiler/proclaim.lisp
@@ -121,33 +121,19 @@
 	     (unless (csubtypep ctype (specifier-type 'function))
 	       (error "not a function type: ~S" (first args)))
 	     (dolist (name (rest args))
-	       
-	       ;; KLUDGE: Something like the commented-out TYPE/=
-	       ;; check here would be nice, but it has been
-	       ;; commented out because TYPE/= doesn't support
-	       ;; function types. It could probably be made to do
-	       ;; so, but it might take some time, since function
-	       ;; types involve values types, which aren't
-	       ;; supported, and since the SUBTYPEP operator for
-	       ;; FUNCTION types is rather broken, e.g.
-	       ;;   (SUBTYPEP '(FUNCTION (T BOOLEAN) NIL)
-	       ;;             '(FUNCTION (FIXNUM FIXNUM) NIL)) => T, T
-	       ;; -- WHN 20000229
-	       #|
-	     (when (eq (info :function :where-from name) :declared)
-	       (let ((old-type (info :function :type name)))
-		 (when (type/= ctype old-type)
-		   (style-warn
-		    "new FTYPE proclamation~@
-                     ~S~@
-                     for ~S does not match old FTYPE proclamation~@
-                     ~S"
-		    (list ctype name old-type)))))
-	       |#
+               (when (eq (info :function :where-from name) :declared)
+                 (let ((old-type (info :function :type name)))
+                   (when (type/= ctype old-type)
+                     (style-warn
+                      "new FTYPE proclamation~@
+                       ~S~@
+                       for ~S does not match old FTYPE proclamation~@
+                       ~S"
+                      ctype name old-type))))
 
 	       ;; Now references to this function shouldn't be warned
 	       ;; about as undefined, since even if we haven't seen a
-	       ;; definition yet, we know one is planned. 
+	       ;; definition yet, we know one is planned.
 	       ;;
 	       ;; Other consequences of we-know-you're-a-function-now
 	       ;; are appropriate too, e.g. any MACRO-FUNCTION goes away.