diff --git a/tools/debug_printers b/tools/debug_printers index 118a6b03657c..83b4d86c9e43 100644 --- a/tools/debug_printers +++ b/tools/debug_printers @@ -1,4 +1,5 @@ load_printer "tools/debug_printers.cmo" install_printer Debug_printers.type_expr +install_printer Debug_printers.row_field install_printer Debug_printers.ident install_printer Debug_printers.path diff --git a/tools/debug_printers.ml b/tools/debug_printers.ml index 3b6d4603e609..9271de0c0498 100644 --- a/tools/debug_printers.ml +++ b/tools/debug_printers.ml @@ -1,5 +1,6 @@ let type_expr = Printtyp.raw_type_expr +let row_field = Printtyp.raw_field let ident = Ident.print_with_scope let path = Path.print diff --git a/typing/printtyp.mli b/typing/printtyp.mli index 8d7a33a38b24..719be215906a 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -47,6 +47,7 @@ val strings_of_paths: namespace -> Path.t list -> string list avoid name collisions *) val raw_type_expr: formatter -> type_expr -> unit +val raw_field : formatter -> row_field -> unit val string_of_label: Asttypes.arg_label -> string val wrap_printing_env: error:bool -> Env.t -> (unit -> 'a) -> 'a