Fixed #91: bind fun pointer to its associated call

spec/compiler/codegen/fun_spec.cr

@@ -120,4 +120,27 @@ describe "Code gen: fun" do
       c.call(pointerof(a))
       ").to_i.should eq(1)
   end
+
+  it "binds function pointer to associated call" do
+    run("
+      class A
+        def initialize(@e : Int32)
+        end
+
+        def on_something
+          @e
+        end
+      end
+
+      def _on_(p : A*)
+        p.value.on_something
+      end
+
+      c = ->_on_(A*)
+      a = A.new(12)
+      a.on_something
+
+      c.call(pointerof(a))
+      ").to_i.should eq(12)
+  end
 end

src/compiler/crystal/type_inference.cr

@@ -387,11 +387,10 @@ module Crystal
       call = Call.new(obj, node.name)
       prepare_call(call)
 
-      arg_types = node.args.map { |arg| arg.accept(self); arg.type.instance_type }
-
-      call.args = [] of ASTNode
-      arg_types.each_with_index do |arg_type, i|
-        call.args << Var.new("arg#{i}", arg_type)
+      call.args = Array(ASTNode).new(node.args.length)
+      node.args.each_with_index do |arg, i|
+        arg.accept(self)
+        call.args << Var.new("arg#{i}", arg.type.instance_type)
       end
 
       begin
@@ -400,10 +399,9 @@ module Crystal
         node.raise "error instantiating #{node}", ex
       end
 
-      arg_types.push call.type
-
-      node.type = mod.fun_of(arg_types)
       node.call = call
+      node.bind_to call
+
       false
     end
 

src/compiler/crystal/type_inference/ast.cr

@@ -326,6 +326,15 @@ module Crystal
 
   class FunPointer
     property! :call
+
+    def map_type(type)
+      return nil unless call.type?
+
+      arg_types = call.args.map &.type
+      arg_types.push call.type
+
+      call.type.program.fun_of(arg_types)
+    end
   end
 
   class IsA