diff options
| author | Jacques Le Normand <rathereasy@gmail.com> | 2010-11-12 11:33:41 +0000 |
|---|---|---|
| committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-11-12 11:33:41 +0000 |
| commit | f24d678e39ac5574b6226f1a6aaa6de9c2ccccc9 (patch) | |
| tree | 2bca8b2d4daeebc3153fbd602b6b4ed398066c60 /parsing/parser.mly | |
| parent | d2fedeb703120030ff3c204630e1d20e89bf591c (diff) | |
bootstrapped camlp4 gadts extension
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index fd821c79a..8b32847ce 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1396,9 +1396,7 @@ constructor_declarations: constructor_declaration: constr_ident constructor_arguments { ($1, $2, None, symbol_rloc()) } ; - -constructor_declaration: - constr_ident generalized_constructor_arguments + | constr_ident generalized_constructor_arguments { let arg_types,ret_type = $2 in ($1, arg_types,Some ret_type, symbol_rloc()) } ; |