diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-03-28 17:08:53 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-03-28 17:08:53 +0000 |
| commit | 132ff5155953920048744eee2131f7f67cf9282c (patch) | |
| tree | 551fb2b0e49d05865f7c71c29b3d53efb2cbd992 /parsing/parsetree.mli | |
| parent | f95407dd09b1749102f59997e1f0e9947eae86ef (diff) | |
| download | ocaml-132ff5155953920048744eee2131f7f67cf9282c.tar.gz | |
Some preparation for record arguments.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/parsetree.mli')
| -rw-r--r-- | parsing/parsetree.mli | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 7bf5537c6b..f5463eb430 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -361,11 +361,16 @@ and label_declaration = and constructor_declaration = { pcd_name: string loc; - pcd_args: core_type list; + pcd_args: constructor_arguments; pcd_res: core_type option; pcd_loc: Location.t; pcd_attributes: attributes; (* C [@id1] [@id2] of ... *) } + +and constructor_arguments = + | Pcstr_tuple of core_type list + | Pcstr_record of label_declaration list + (* | C of T1 * ... * Tn (res = None) | C: T0 (args = [], res = Some T0) |