diff options
| author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2010-06-16 09:36:12 +0000 |
|---|---|---|
| committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2010-06-16 09:36:12 +0000 |
| commit | d80fe8a07076ebaee514b4e4550516f4a66f830a (patch) | |
| tree | 55543b78df2102c2d5bcb5ff26a1cf5d4204d6ff | |
| parent | db86a97393bde5378a01827deaf995dd1a8e91c8 (diff) | |
| download | ocaml-d80fe8a07076ebaee514b4e4550516f4a66f830a.tar.gz | |
Camlp4: fix PR#4938
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10577 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml index 2d6f8b50fc..11fd025041 100644 --- a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml +++ b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml @@ -732,6 +732,7 @@ Very old (no more supported) syntax:\n\ ; sem_expr_for_list: [ [ e = expr; ";"; el = SELF -> fun acc -> <:expr< [ $e$ :: $el acc$ ] >> + | e = expr; ";" -> fun acc -> <:expr< [ $e$ :: $acc$ ] >> | e = expr -> fun acc -> <:expr< [ $e$ :: $acc$ ] >> ] ] ; @@ -921,12 +922,14 @@ Very old (no more supported) syntax:\n\ ; sem_patt: [ LEFTA - [ p1 = SELF; ";"; p2 = SELF -> <:patt< $p1$; $p2$ >> + [ p1 = patt; ";"; p2 = SELF -> <:patt< $p1$; $p2$ >> | `ANTIQUOT ("list" as n) s -> <:patt< $anti:mk_anti ~c:"patt;" n s$ >> + | p = patt; ";" -> p | p = patt -> p ] ] ; sem_patt_for_list: [ [ p = patt; ";"; pl = SELF -> fun acc -> <:patt< [ $p$ :: $pl acc$ ] >> + | p = patt; ";" -> fun acc -> <:patt< [ $p$ :: $acc$ ] >> | p = patt -> fun acc -> <:patt< [ $p$ :: $acc$ ] >> ] ] ; |