Fix callback generation for prods sharing a callback block

Binding validation code is disabled by this commit, and needs to be replaced when implementing richer binding patterns.
BranchTaken · Aug 22, 2024 · e2c3b9f · e2c3b9f
1 parent b4f3074
commit e2c3b9f
Show file tree

Hide file tree

Showing 3 changed files with 52 additions and 54 deletions.
diff --git a/bootstrap/bin/hocc/Parse.hmh b/bootstrap/bin/hocc/Parse.hmh
@@ -450,9 +450,8 @@ include hocc
       | "|" prod:Prod prods_tl:ProdsTl -> ProdsTlProd {prod; prods_tl}
       | epsilon -> ProdsTlEpsilon
 
-    (* XXX Fix analysis bug that prevents using a single callback. *)
     nonterm Prods of nonterm_prods ::=
-      | "|" prod:Prod prods_tl:ProdsTl -> ProdsProd {prod; prods_tl}
+      | "|" prod:Prod prods_tl:ProdsTl
       | prod:Prod prods_tl:ProdsTl -> ProdsProd {prod; prods_tl}
 
     nonterm Reduction of nonterm_reduction ::=