diff options
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 429e4b6738..6c25eeeebd 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1304,6 +1304,8 @@ simple_core_type2: { mktyp(Ptyp_class($3, [$1], $4)) } | LPAREN core_type_comma_list RPAREN SHARP class_longident opt_present { mktyp(Ptyp_class($5, List.rev $2, $6)) } + | LBRACKET RBRACKET + { mktyp(Ptyp_variant([], true, None)) } | LBRACKET tag_field RBRACKET { mktyp(Ptyp_variant([$2], true, None)) } /* PR#3835: this is not LR(1), would need lookahead=2 |