diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2013-03-18 20:17:14 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2013-03-18 20:17:14 +0000 |
| commit | 3455ffd361ec9268a984b433d840406a5b9bd26a (patch) | |
| tree | cdc8eb7bcc4bc64473c56cd05776a40d9456ec77 /parsing | |
| parent | d78a0b0bc361859d01d9e2c9a4268641100aaf8f (diff) | |
| download | ocaml-3455ffd361ec9268a984b433d840406a5b9bd26a.tar.gz | |
Allow parentheses around the typexpr in "type t = [> typexpr ]".
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/parser.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 9b616e349c..808eba315b 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1576,7 +1576,7 @@ simple_core_type2: | LBRACKET tag_field RBRACKET { mktyp(Ptyp_variant([$2], true, None)) } /* PR#3835: this is not LR(1), would need lookahead=2 - | LBRACKET simple_core_type2 RBRACKET + | LBRACKET simple_core_type RBRACKET { mktyp(Ptyp_variant([$2], true, None)) } */ | LBRACKET BAR row_field_list RBRACKET @@ -1611,7 +1611,7 @@ row_field_list: ; row_field: tag_field { $1 } - | simple_core_type2 { Rinherit $1 } + | simple_core_type { Rinherit $1 } ; tag_field: name_tag OF opt_ampersand amper_type_list |