summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>1995-11-09 16:03:52 +0000
committerDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>1995-11-09 16:03:52 +0000
commitabd2049344be64aa9810080bed1a6e1023a39513 (patch)
tree992ca79d4a25b03e8d9c8f9ff1a8de8230a7b951
parent8b3e212947e9d9311be32808da43583b4dccc382 (diff)
Added "parser match".
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--parsing/parser.mly2
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