now block instructions can accept input

Generative-Program-Analysis · Oct 13, 2024 · 7ad2fab · 7ad2fab
1 parent 24d3070
commit 7ad2fab
Show file tree

Hide file tree

Showing 6 changed files with 910 additions and 943 deletions.
diff --git a/grammar/WatParser.g4 b/grammar/WatParser.g4
@@ -203,12 +203,13 @@ blockInstr
   | IF bindVar? block (ELSE bindVar? instrList)? END bindVar?
   ;
 
+// treat blockType as an alias to function type
 blockType
-  : LPAR RESULT valType RPAR
+  : funcType
   ;
 
 block
-  : blockType? instrList
+  : blockType instrList
   ;
 
 foldedInstr
@@ -221,7 +222,7 @@ expr
   | BLOCK bindVar? block
   | LOOP bindVar? block
   // | IF bindVar? ifBlock
-  | IF bindVar? blockType? foldedInstr* LPAR THEN instrList (LPAR ELSE instrList RPAR)?
+  | IF bindVar? blockType foldedInstr* LPAR THEN instrList (LPAR ELSE instrList RPAR)?
   ;
 
 callExprType