summaryrefslogtreecommitdiff
path: root/parsing/printast.ml
diff options
context:
space:
mode:
Diffstat (limited to 'parsing/printast.ml')
-rw-r--r--parsing/printast.ml9
1 files changed, 7 insertions, 2 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml
index 3d334c3981..53688aa5ef 100644
--- a/parsing/printast.ml
+++ b/parsing/printast.ml
@@ -46,9 +46,11 @@ let fmt_constant f x =
match x with
| Const_int (i) -> fprintf f "Const_int %d" i;
| Const_char (c) -> fprintf f "Const_char %02x" (Char.code c);
- | Const_string (s) ->
- fprintf f "Const_string %S" s;
+ | Const_string (s) -> fprintf f "Const_string %S" s;
| Const_float (s) -> fprintf f "Const_float %s" s;
+ | Const_int32 (i) -> fprintf f "Const_int32 %ld" i;
+ | Const_int64 (i) -> fprintf f "Const_int64 %Ld" i;
+ | Const_nativeint (i) -> fprintf f "Const_nativeint %nd" i;
;;
let fmt_mutable_flag f x =
@@ -322,6 +324,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_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