diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-08 17:25:36 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-08 17:25:36 +0000 |
| commit | b1231d6d1d68c0151a744919bec073d3940cc11e (patch) | |
| tree | 7ea7c18581c634836fccf291456d0932f2728e5b /parsing/parser.mly | |
| parent | 77d4f18ce657800ebd85530c510521b467d7c3dd (diff) | |
variant types
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2678 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index afb9c4139..1f65d7ba6 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1213,6 +1213,8 @@ simple_core_type: { mktyp(Ptyp_variant(List.rev $2, not $3, List.rev $5)) } | LBRACKET RBRACKET { mktyp(Ptyp_variant([],true,[])) } + | LBRACKETLESS DOTDOT RBRACKET + { mktyp(Ptyp_variant([],false,[])) } ; opt_opened: BAR DOTDOT { true } |