From: Nikodemus Siivola <nikodemus@random-state.net>
Date: Wed, 23 May 2012 06:53:34 +0000 (+0300)
Subject: make %COERCE-TO-CALLABLE compilers notes make sense
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=6ea0a4fb102b1194986298749db241cee1ea55ec;p=sbcl.git

make %COERCE-TO-CALLABLE compilers notes make sense

  Get the cause and the problem right.
---

diff --git a/src/compiler/ir1-translators.lisp b/src/compiler/ir1-translators.lisp
index dc47dae..add4fa1 100644
--- a/src/compiler/ir1-translators.lisp
+++ b/src/compiler/ir1-translators.lisp
@@ -604,7 +604,7 @@ be a lambda expression."
         (cond (cname
                `(global-function ,cname))
               (give-up
-               (give-up-ir1-transform give-up))
+               (give-up-ir1-transform "not known to be a function"))
               (t
                `(%coerce-callable-to-fun ,lvar-name))))))
 
@@ -647,8 +647,9 @@ be a lambda expression."
 (define-source-transform funcall (function &rest args)
   `(%funcall ,(ensure-source-fun-form function) ,@args))
 
-(deftransform %coerce-callable-to-fun ((thing) * *)
-  (ensure-lvar-fun-form thing 'thing "optimize away possible call to FDEFINITION at runtime"))
+(deftransform %coerce-callable-to-fun ((thing) * * :node node)
+  "optimize away possible call to FDEFINITION at runtime"
+  (ensure-lvar-fun-form thing 'thing t))
 
 (define-source-transform %coerce-callable-to-fun (thing)
   (ensure-source-fun-form thing t))