diff options
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 87cb9ddec..888938d40 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1300,7 +1300,9 @@ constructor_arguments: generalized_constructor_arguments: | COLON core_type_list MINUSGREATER simple_core_type - { (List.rev $2,$4) } + { (List.rev $2, $4) } + | COLON simple_core_type + { ([],$2) } ; |