diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-01-29 00:28:20 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-01-29 00:28:20 +0000 |
| commit | f808aee0668abbc25e27c0ef1744fd4728b46d2c (patch) | |
| tree | 2f6610aaa2fb73d4a0b1e63fb0479469aca30657 /camlp4 | |
| parent | fe0f46244c7c7fa6442900bc8ba97d1ccde5c11b (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
| -rw-r--r-- | camlp4/etc/pa_o.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/camlp4/etc/pa_o.ml b/camlp4/etc/pa_o.ml index 7ffdc7119..b2c3bea46 100644 --- a/camlp4/etc/pa_o.ml +++ b/camlp4/etc/pa_o.ml @@ -256,7 +256,10 @@ value test_ctyp_minusgreater = | Some _ -> ignore_upto end_kwd (n + 1) | None -> raise Stream.Failure ] in - skip_simple_ctyp 1) + match Stream.peek strm with + [ Some (("", "[") | ("LIDENT" | "UIDENT", _)) -> skip_simple_ctyp 1 + | Some ("", "object") -> raise Stream.Failure + | _ -> 1 ]) ; value test_label_eq = |