Remove unneeded intermediate vertexes for rbs

ruby · Aug 10, 2024 · 39e434f · 39e434f
1 parent 335fe6d
commit 39e434f
Show file tree

Hide file tree

Showing 10 changed files with 132 additions and 98 deletions.
diff --git a/lib/typeprof/core/ast/call.rb b/lib/typeprof/core/ast/call.rb
@@ -114,7 +114,9 @@ def install0(genv)
             @changes.add_edge(genv, @block_body.lenv.get_var(var), @lenv.get_var(var))
           end
 
-          block = Block.new(self, blk_f_args, @block_body.lenv.next_boxes)
+          blk_f_ary_arg = Vertex.new(self)
+          @changes.add_masgn_box(genv, blk_f_ary_arg, blk_f_args, nil, nil) # TODO: support splat "do |a, *b, c|"
+          block = Block.new(self, blk_f_ary_arg, blk_f_args, @block_body.lenv.next_boxes)
           blk_ty = Source.new(Type::Proc.new(genv, block))
         elsif @block_pass
           blk_ty = @block_pass.install(genv)