diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 8 |
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)) } |