diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-10-05 10:10:19 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-10-05 10:10:19 +0000 |
| commit | 60f78407f39713d8a935b6dee26084a59ee011bc (patch) | |
| tree | 62a463e8fdb6508e49a74ba235ace3edfa6b64d6 /camlp4/meta/pa_r.ml | |
| parent | 77e6695ed68f461c312f1cabbbb4ae22777f148e (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/meta/pa_r.ml')
| -rw-r--r-- | camlp4/meta/pa_r.ml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/camlp4/meta/pa_r.ml b/camlp4/meta/pa_r.ml index c8cfa66c2..b489b8df0 100644 --- a/camlp4/meta/pa_r.ml +++ b/camlp4/meta/pa_r.ml @@ -659,11 +659,8 @@ EXTEND class_type: [ [ "["; t = ctyp; "]"; "->"; ct = SELF -> <:class_type< [ $t$ ] -> $ct$ >> - | "["; t = ctyp; ","; tl = LIST1 ctyp SEP ","; "]"; - id = clty_longident -> - <:class_type< [ $t$ , $list:tl$ ] $list:id$ >> - | "["; t = ctyp; "]"; id = clty_longident -> - <:class_type< [ $t$ ] $list:id$ >> + | id = clty_longident; "["; tl = LIST1 ctyp SEP ","; "]" -> + <:class_type< $list:id$ [ $list:tl$ ] >> | id = clty_longident -> <:class_type< $list:id$ >> | "object"; cst = OPT class_self_type; csf = LIST0 [ csf = class_sig_item; ";" -> csf ]; "end" -> |