diff options
| author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2009-03-05 16:11:15 +0000 |
|---|---|---|
| committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2009-03-05 16:11:15 +0000 |
| commit | 436a615911f879f594025e4334e45af1e7903550 (patch) | |
| tree | 1a62e84652efe8da758932e47f96aef503051277 | |
| parent | 73e85b3edf19919eb0d3de7b108ee54f0ba6f67b (diff) | |
| download | ocaml-436a615911f879f594025e4334e45af1e7903550.tar.gz | |
camlp4: restore the empty data type (e.g. <<type t = [];>> in revised)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml index f3beee674d..dc3f3af3c2 100644 --- a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml +++ b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml @@ -1040,6 +1040,7 @@ Very old (no more supported) syntax: | "("; t = SELF; "*"; tl = star_ctyp; ")" -> <:ctyp< ( $t$ * $tl$ ) >> | "("; t = SELF; ")" -> t + | "["; "]" -> <:ctyp< [ ] >> | "["; t = constructor_declarations; "]" -> <:ctyp< [ $t$ ] >> | "["; "="; rfl = row_field; "]" -> <:ctyp< [ = $rfl$ ] >> |