feat: anonymous inline rules

src/lib/desugar/eliminate_inline.mbt

@@ -21,7 +21,7 @@ fn find_leaf_inline_rules(rules : Map[String, @elab.Rule]) -> Set[String] {
               Token(_) => true
               RuleCall(rule_name, [], _type) =>
                 not(all_inline_rules.contains(rule_name))
-              Param(_) | RuleCall(_, _, _) => panic()
+              Param(_) | RuleCall(_) | AnonmousInlineRule(_) => panic()
             }
           })
         })
@@ -44,7 +44,7 @@ fn eliminate_inline_rules(
       match item.term {
         Token(_) => false
         RuleCall(rule_name, [], _type) => inline_rules.contains(rule_name)
-        Param(_) | RuleCall(_, _, _) => panic()
+        Param(_) | RuleCall(_, _, _) | AnonmousInlineRule(_) => panic()
       }
     })
   }
@@ -60,7 +60,7 @@ fn eliminate_inline_rules(
             let rule = spec.rules[rule_name].unwrap()
             expand_points[index] = ({ val: 0 }, rule.clauses.length() - 1)
           }
-        Param(_) | RuleCall(_, _, _) => panic()
+        Param(_) | RuleCall(_, _, _) | AnonmousInlineRule(_) => panic()
       }
     }
     let expand_point_indexes = expand_points.keys().to_array()
@@ -127,7 +127,7 @@ fn eliminate_inline_rules(
             } else {
               new_items.push(item)
             }
-          Param(_) | RuleCall(_, _, _) => panic()
+          Param(_) | RuleCall(_, _, _) | AnonmousInlineRule(_) => panic()
         }
       }
       yield_({

src/lib/desugar/eliminate_parametric_rules.mbt

@@ -44,6 +44,7 @@ pub fn eliminate_rule_args(spec : @elab.ParserSpec) -> @elab.ParserSpec {
           Some(term) => term
           None => term
         }
+      AnonmousInlineRule(_) => panic()
     }
   }
 
@@ -139,6 +140,7 @@ fn derive_term_ident(term : @elab.Term) -> String {
     RuleCall(rule_name, [], _type) => rule_name
     RuleCall(rule_name, args, _type) =>
       rule_name + "__" + args.iter().map(derive_term_ident).join("_")
+    AnonmousInlineRule(_) => panic()
   }
 }
 
@@ -187,6 +189,7 @@ fn infer_return_type(
         Token(token) => token.type_
         Param(_, type_) => type_
         RuleCall(_, _, type_) => type_
+        AnonmousInlineRule(_) => panic()
       },
     )
   }

src/lib/driver/driver.mbt

@@ -152,7 +152,7 @@ pub fn compile(
             Token(token) => T(get_terminal_by_name(token.name))
             RuleCall(rule_name, [], _type) =>
               NT(get_nonterminal_by_name(rule_name))
-            Param(_) | RuleCall(_, _, _) => panic()
+            Param(_) | RuleCall(_) | AnonmousInlineRule(_) => panic()
           }
         }),
         prec: clause.prec,

src/lib/elab/east.mbt

@@ -139,6 +139,7 @@ pub(all) enum Term {
   Token(Token)
   Param(String, TypeExpr)
   RuleCall(Symbol, Array[Term], TypeExpr)
+  AnonmousInlineRule(Array[Item], Action)
 }
 
 ///|
@@ -147,5 +148,6 @@ pub fn Item::type_(self : Item) -> TypeExpr {
     Token(token) => token.type_
     Param(_, type_) => type_
     RuleCall(_, _, type_) => type_
+    AnonmousInlineRule(_, action) => action.type_
   }
 }

src/lib/elab/elaborate.mbt

@@ -175,6 +175,7 @@ pub fn elaborate(
           rule.type_,
         )
       }
+      AnonmousInlineRule(_, _) => ...
     }
   }
 
@@ -214,7 +215,7 @@ pub fn elaborate(
                 }
                 break
               }
-              Param(_) | RuleCall(_) => ()
+              Param(_) | RuleCall(_) | AnonmousInlineRule(_) => ()
             }
           }
           last_prec

src/lib/parser/ast.mbt

@@ -115,4 +115,5 @@ pub(all) enum Term {
   Symbol(Symbol)
   Image(String)
   RuleCall(Symbol, Array[Term])
+  AnonmousInlineRule(Array[ClauseItem], ClauseAction)
 } derive(ToJson)