Merge branch 'experiments' into mono-experiments

1 files changed, 7 insertions, 1 deletions

diff --git a/src/parser.mly b/src/parser.mly
index 10241137..5413ac0d 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -519,7 +519,7 @@ atomic_pat:
     { ploc (P_list([])) }
   | SquareBarBar pat BarBarSquare
     { ploc (P_list([$2])) }
-  | SquareBarBar comma_pats BarBarSquare
+  | SquareBarBar semi_pats BarBarSquare
     { ploc (P_list($2)) }
   | atomic_pat ColonColon pat
     { ploc (P_cons ($1, $3)) }
@@ -552,6 +552,12 @@ comma_pats:
   | atomic_pat Comma comma_pats
     { $1::$3 }
 
+semi_pats:
+  | atomic_pat Semi atomic_pat
+    { [$1;$3] }
+  | atomic_pat Semi semi_pats
+    { $1::$3 }
+
 fpat:
   | id Eq pat
     { fploc (FP_Fpat($1,$3)) }