From 56f002ae2cdcd52f0f8abf73c97b0abc336702e4 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Mon, 24 Apr 2023 14:47:12 +0200
Subject: [PATCH] Optional trailing comma for match arms.

---
 parser/src/powdr.lalrpop | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/parser/src/powdr.lalrpop b/parser/src/powdr.lalrpop
index 10fb467ab..f30b2880e 100644
--- a/parser/src/powdr.lalrpop
+++ b/parser/src/powdr.lalrpop
@@ -357,7 +357,12 @@ PublicReference: String = {
 }
 
 MatchExpression: Box<Expression> = {
-    "match" <BoxedExpression> "{" <(<MatchArm> ",")*> "}" => Box::new(Expression::MatchExpression(<>))
+    "match" <BoxedExpression> "{" <MatchArms> "}" => Box::new(Expression::MatchExpression(<>))
+}
+
+MatchArms: Vec<(Option<Expression>, Expression)> = {
+    => vec![],
+    <mut list:( <MatchArm> "," )*> <end:MatchArm> ","?  => { list.push(end); list }
 }
 
 MatchArm: (Option<Expression>, Expression) = {