add a useful debug printer

stedolan · Dec 23, 2022 · 3da21bc · 3da21bc
1 parent 83b7c72
commit 3da21bc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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