diff options
| -rw-r--r-- | parsing/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index ccbd7a58b..678f29463 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -339,6 +339,8 @@ expr: { mkexp(Pexp_let($2, List.rev $3, $5)) } | PARSER bp_parser_cases %prec prec_fun { Pstream.cparser $2 } + | PARSER MATCH expr WITH bp_parser_cases %prec prec_match + { mkexp(Pexp_apply(Pstream.cparser $5, [$3])) } | FUNCTION opt_bar match_cases %prec prec_fun { mkexp(Pexp_function(List.rev $3)) } | FUN simple_pattern fun_def %prec prec_fun |