diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/parser.mly | 8 | ||||
| -rw-r--r-- | parsing/parsetree.mli | 2 | ||||
| -rw-r--r-- | parsing/printast.ml | 4 |
3 files changed, 7 insertions, 7 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 02f94b2202..4e2505be01 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1158,8 +1158,8 @@ type_kind: { (Ptype_variant(List.rev $6, $4), Some $2) } | EQUAL core_type EQUAL private_flag LBRACE label_declarations opt_semi RBRACE { (Ptype_record(List.rev $6, $4), Some $2) } - | AS core_type - { (Ptype_fixed, Some $2) } + | EQUAL PRIVATE core_type + { (Ptype_private, Some $3) } ; type_parameters: /*empty*/ { [] } @@ -1218,8 +1218,8 @@ with_constraint: { ($2, Pwith_module $4) } ; with_type_binder: - EQUAL { Ptype_abstract } - | AS { Ptype_fixed } + EQUAL { Ptype_abstract } + | EQUAL PRIVATE { Ptype_private } ; /* Polymorphic types */ diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index d2ca899c9e..33a0e655b2 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -133,7 +133,7 @@ and type_kind = | Ptype_variant of (string * core_type list * Location.t) list * private_flag | Ptype_record of (string * mutable_flag * core_type * Location.t) list * private_flag - | Ptype_fixed + | Ptype_private and exception_declaration = core_type list diff --git a/parsing/printast.ml b/parsing/printast.ml index ae7094e5c4..986cb0f156 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -323,8 +323,8 @@ and type_kind i ppf x = | Ptype_record (l, priv) -> line i ppf "Ptype_record %a\n" fmt_private_flag priv; list (i+1) string_x_mutable_flag_x_core_type_x_location ppf l; - | Ptype_fixed -> - line i ppf "Ptype_fixed\n" + | Ptype_private -> + line i ppf "Ptype_private\n" and exception_declaration i ppf x = list i core_type ppf x |