* yarvcore.h, compile.c (set_arguments): support post arguments.

* test/ruby/test_method.rb: add tests for above.
* test/ruby/test_proc.rb: ditto.
* proc.c: fix an arity bug ([ruby-core:11029]).
* vm.c, vm.h, insns.def, vm_dump.h: fix bmethod process.
* vm.c: support block argument on block parameter.



git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@12231 b2dd03c8-39d4-4d8f-98ff-823fe69b080e

2 files changed, 9 insertions, 3 deletions

diff --git a/test/ruby/test_method.rb b/test/ruby/test_method.rb
index c30705cb15..5f436406a5 100644
--- a/test/ruby/test_method.rb
+++ b/test/ruby/test_method.rb
@@ -8,6 +8,8 @@ class TestMethod < Test::Unit::TestCase
   def mo2(a, b = nil) end
   def mo3(*a) end
   def mo4(a, *b, &c) end
+  def mo5(a, *b, c) end
+  def mo6(a, *b, c, &d) end
 
   class Base
     def foo() :base end
@@ -24,6 +26,8 @@ class TestMethod < Test::Unit::TestCase
     assert_equal(-2, method(:mo2).arity)
     assert_equal(-1, method(:mo3).arity)
     assert_equal(-2, method(:mo4).arity)
+    assert_equal(-3, method(:mo5).arity)
+    assert_equal(-3, method(:mo6).arity)
   end
 
   def test_unbind
diff --git a/test/ruby/test_proc.rb b/test/ruby/test_proc.rb
index f293bbc1a7..49e9d9284b 100644
--- a/test/ruby/test_proc.rb
+++ b/test/ruby/test_proc.rb
@@ -57,12 +57,15 @@ class TestProc < Test::Unit::TestCase
     assert_equal(-2, proc{|x, *y|}.arity)
     assert_equal(-1, proc{|*x|}.arity)
     assert_equal(-1, proc{|*|}.arity)
+    assert_equal(-3, proc{|x, *y, z|}.arity)
+    assert_equal(-4, proc{|x, *y, z, a|}.arity)
 
     assert_arity(0) {}
     assert_arity(0) {||}
     assert_arity(1) {|x|}
     assert_arity(2) {|x, y|}
     assert_arity(-2) {|x, *y|}
+    assert_arity(-3) {|x, *y, z|}
     assert_arity(-1) {|*x|}
     assert_arity(-1) {|*|}
   end
@@ -89,9 +92,8 @@ class TestProc < Test::Unit::TestCase
   end
 
   def test_block_par
-    assert false, "TODO: block parameter |&b| not supported"
-    # assert_equal(10, Proc.new{|&b| b.call(10)}.call {|x| x})
-    # assert_equal(12, Proc.new{|a,&b| b.call(a)}.call(12) {|x| x})
+    assert_equal(10, Proc.new{|&b| b.call(10)}.call {|x| x})
+    assert_equal(12, Proc.new{|a,&b| b.call(a)}.call(12) {|x| x})
   end
 
   def test_safe