a case shows that block can have inputs

benchmarks/wasm/block.wat

@@ -0,0 +1,19 @@
+(module
+  (func $test_block (param i32 i32 i32) (result i32)
+  	local.get 0
+  	local.get 1
+  	local.get 2
+    block (param i32 i32 i32) (result i32 i32)
+      i32.add
+    end
+    i32.add
+  )
+
+  (func $real_main (result i32)
+	  i32.const 1
+	  i32.const 3
+	  i32.const 5
+	  call $test_block
+  )
+  (export "real_main" (func $real_main))
+)

src/test/scala/genwasym/TestEval.scala

@@ -44,6 +44,9 @@ class TestEval extends FunSuite {
   test("load") { testFile("./benchmarks/wasm/load.wat", None, Some(1)) }
   test("btree") { testFile("./benchmarks/wasm/btree/2o1u-unlabeled.wat") }
   test("fib") { testFile("./benchmarks/wasm/fib.wat", None, Some(144)) }
+
+
+  test("block") { testFile("./benchmarks/wasm/block.wat", Some("$real_main"), Some(9)) }
 
   // TODO: add wasm spec tests? How to utilize wast files?
 }