still enable type use syntax, only ignore their index

Generative-Program-Analysis · Oct 16, 2024 · d9c6a13 · d9c6a13
1 parent 2ee9fcb
commit d9c6a13
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/benchmarks/wasm/loop_poly.wat b/benchmarks/wasm/loop_poly.wat
@@ -6,6 +6,7 @@
     i32.const 0
     block (param i32 i32) (result i32 i32)
         loop (type 1) (param i32) (result i32) ;; label = @1
+        ;; this type use will be ignored for now
         i32.const 1
         i32.const 2
         br 1 (;@1;)

diff --git a/src/main/scala/wasm/Parser.scala b/src/main/scala/wasm/Parser.scala
@@ -402,7 +402,8 @@ class GSWasmVisitor extends WatParserBaseVisitor[WIR] {
     if (ctx.typeUse != null) {
       // TODO: explicit type use
       val tyIndex = -1
-      VarBlockType(tyIndex, None)
+      val funcType = visitFuncType(ctx.funcType)
+      VarBlockType(tyIndex, Some(funcType))
     } else if (ctx.funcType != null){
       // abbreviation form
       val ty = visitFuncType(ctx.funcType)