diff options
Diffstat (limited to 'parsing/parsetree.mli')
| -rw-r--r-- | parsing/parsetree.mli | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index e1961aae42..cd7f1524ab 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -93,7 +93,7 @@ and core_type_desc = T tconstr (T1, ..., Tn) tconstr *) - | Ptyp_object of (string loc * attributes * core_type) list * closed_flag + | Ptyp_object of object_field list * closed_flag (* < l1:T1; ...; ln:Tn > (flag = Closed) < l1:T1; ...; ln:Tn; .. > (flag = Open) *) @@ -142,7 +142,7 @@ and package_type = Longident.t loc * (Longident.t loc * core_type) list *) and row_field = - | Rtag of label * attributes * bool * core_type list + | Rtag of string loc * attributes * bool * core_type list (* [`A] ( true, [] ) [`A of T] ( false, [T] ) [`A of T1 & .. & Tn] ( false, [T1;...Tn] ) @@ -158,6 +158,10 @@ and row_field = | Rinherit of core_type (* [ T ] *) +and object_field = + | Otag of string loc * attributes * core_type + | Oinherit of core_type + (* Patterns *) and pattern = |