diff options
Diffstat (limited to 'parsing/parser.mly')
-rw-r--r-- | parsing/parser.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 3f20e46d2c..2f8d65f84c 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1490,8 +1490,8 @@ match_case: { Exp.case $1 $3 } | pattern WHEN seq_expr MINUSGREATER seq_expr { Exp.case $1 ~guard:$3 $5 } - | pattern MINUSGREATER UNDERSCORE - { Exp.case_lhs $1 } + | pattern MINUSGREATER DOT + { Exp.case $1 (Exp.unreachable ~loc:(rhs_loc 3) ())} ; fun_def: MINUSGREATER seq_expr { $2 } |