a problematic WIP implementation

Generative-Program-Analysis · Oct 14, 2024 · 86a6fbb · 86a6fbb
1 parent ff51ba1
commit 86a6fbb
Show file tree

Hide file tree

Showing 5 changed files with 1,087 additions and 999 deletions.
diff --git a/grammar/WatParser.g4 b/grammar/WatParser.g4
@@ -203,9 +203,10 @@ blockInstr
   | IF bindVar? block (ELSE bindVar? instrList)? END bindVar?
   ;
 
-// treat blockType as an alias to funcType
 blockType
-  : funcType
+  : (LPAR RESULT valType RPAR)?
+  | typeUse funcType
+  | funcType // abbreviation
   ;
 
 block