diff options
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 615e25b416..7c63568398 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1394,15 +1394,7 @@ type_kind: | EQUAL PRIVATE core_type { (Ptype_abstract, Private, false, Some $3) } | EQUAL NEW core_type - { (Ptype_abstract, Public, true, Some $3) } - | EQUAL NEW - { (Ptype_abstract, Public, true, None) } - | EQUAL NEW constructor_declarations - { (Ptype_variant(List.rev $3), Public, true, None) } - | EQUAL NEW BAR constructor_declarations - { (Ptype_variant(List.rev $4), Public, true, None) } - | EQUAL NEW LBRACE label_declarations opt_semi RBRACE - { (Ptype_record(List.rev $4), Public, true, None) } + { (Ptype_abstract, Private, true, Some $3) } | EQUAL constructor_declarations { (Ptype_variant(List.rev $2), Public, false, None) } | EQUAL PRIVATE constructor_declarations |