diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/parser.mly | 2 | ||||
| -rw-r--r-- | parsing/parsetree.mli | 2 | ||||
| -rw-r--r-- | parsing/printast.ml | 4 |
3 files changed, 5 insertions, 3 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 7898c2701..8b97e5ff9 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -185,7 +185,7 @@ let bigarray_set arr arg newval = "", newval])) let mktype_kind pflag kind = - if pflag = Private && kind != Ptype_abstract then Ptype_virtual kind else kind + if pflag = Private && kind != Ptype_abstract then Ptype_private kind else kind %} diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 652a411df..69763d256 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -131,7 +131,7 @@ and type_kind = Ptype_abstract | Ptype_variant of (string * core_type list) list | Ptype_record of (string * mutable_flag * core_type) list - | Ptype_virtual of type_kind + | Ptype_private of type_kind and exception_declaration = core_type list diff --git a/parsing/printast.ml b/parsing/printast.ml index a44c61efe..5ea5d4e0d 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -320,7 +320,9 @@ and type_kind i ppf x = | Ptype_record (l) -> line i ppf "Ptype_record\n"; list (i+1) string_x_mutable_flag_x_core_type ppf l; - | Ptype_virtual x -> type_kind i ppf x + | Ptype_private x -> + line i ppf "Ptype_private\n"; + type_kind (i + 1) ppf x and exception_declaration i ppf x = list i core_type ppf x |