summaryrefslogtreecommitdiffstats
path: root/parsing/printast.ml
diff options
context:
space:
mode:
Diffstat (limited to 'parsing/printast.ml')
-rw-r--r--parsing/printast.ml11
1 files changed, 5 insertions, 6 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml
index 005a757f0..a70414a83 100644
--- a/parsing/printast.ml
+++ b/parsing/printast.ml
@@ -317,6 +317,7 @@ and type_declaration i ppf x =
list (i+1) core_type_x_core_type_x_location ppf x.ptype_cstrs;
line i ppf "ptype_kind =\n";
type_kind (i+1) ppf x.ptype_kind;
+ line i ppf "ptype_private = %a\n" fmt_private_flag x.ptype_private;
line i ppf "ptype_manifest =\n";
option (i+1) core_type ppf x.ptype_manifest;
@@ -324,14 +325,12 @@ and type_kind i ppf x =
match x with
| Ptype_abstract ->
line i ppf "Ptype_abstract\n"
- | Ptype_variant (l, priv) ->
- line i ppf "Ptype_variant %a\n" fmt_private_flag priv;
+ | Ptype_variant l ->
+ line i ppf "Ptype_variant\n";
list (i+1) string_x_core_type_list_x_location ppf l;
- | Ptype_record (l, priv) ->
- line i ppf "Ptype_record %a\n" fmt_private_flag priv;
+ | Ptype_record l ->
+ line i ppf "Ptype_record\n";
list (i+1) string_x_mutable_flag_x_core_type_x_location ppf l;
- | Ptype_private ->
- line i ppf "Ptype_private\n"
and exception_declaration i ppf x = list i core_type ppf x