Move call grammar declaration

privacy-scaling-explorations · Aug 28, 2024 · 9712c58 · 9712c58
1 parent cce3de0
commit 9712c58
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/parser/chiquito.lalrpop b/src/parser/chiquito.lalrpop
@@ -116,10 +116,6 @@ HyperTransition: Statement<BigInt, Identifier> = {
     <l: @L> <ids: ParseIdsList> "<==" <call:Expression> "->" <st: Identifier> <r: @R> => build_hyper_transition(dsym_factory.create(l,r), ids, call, st),
 }
 
-Call: Expression<BigInt, Identifier> = {
-    <l: @L> <fun: Identifier> "(" <es:ParseExpressionList> ")" <r: @R> => Expression::Call(dsym_factory.create(l,r), fun, es),
-}
-
 ParseSignalDecl: Statement<BigInt, Identifier> = {
     <l: @L> "signal" <ids: ParseTypedIdList> <r: @R> => Statement::SignalDecl(dsym_factory.create(l,r), ids),
 }
@@ -205,6 +201,10 @@ ParsePrefix: Expr = {
     ExpressionTerm
 }
 
+Call: Expr = {
+    <l: @L> <fun: Identifier> "(" <es:ParseExpressionList> ")" <r: @R> => Expression::Call(dsym_factory.create(l,r), fun, es),
+}
+
 ExpressionTerm: Expr = {
     <l: @L> <id: Identifier> <r: @R> => build_query(id, dsym_factory.create(l,r)),
     <l: @L> <lit: FieldElement> <r: @R> => lit,