Add debugging printers for uniqueness

Sadly this doesn't actually work in the debugger.

ocaml/tools/debug_printers.ml

@@ -7,3 +7,13 @@ let sort = Jkind.Sort.Debug_printers.t
 let sort_var = Jkind.Sort.Debug_printers.var
 let jkind = Jkind.Debug_printers.t
 let zero_alloc_var = Zero_alloc.debug_printer
+let maybe_unique = Uniqueness_analysis.Maybe_unique.print
+let maybe_aliased = Uniqueness_analysis.Maybe_aliased.print
+let aliased = Uniqueness_analysis.Aliased.print
+let tag = Uniqueness_analysis.Tag.print
+let projection = Uniqueness_analysis.Projection.print
+let usage_tree = Uniqueness_analysis.Usage_tree.print
+let usage_forest = Uniqueness_analysis.Usage_forest.print
+let paths = Uniqueness_analysis.Paths.print
+let value = Uniqueness_analysis.Value.print
+let ienv = Uniqueness_analysis.Ienv.print

ocaml/typing/ident.mli

@@ -24,6 +24,7 @@ include Identifiable.S with type t := t
    - [compare] compares identifiers by binding location
 *)
 
+val print : Format.formatter -> t -> unit
 val print_with_scope : Format.formatter -> t -> unit
         (** Same as {!print} except that it will also add a "[n]" suffix
             if the scope of the argument is [n]. *)

ocaml/typing/typecore.ml

@@ -26,7 +26,6 @@ open Mode
 open Typedtree
 open Btype
 open Ctype
-open Uniqueness_analysis
 
 type comprehension_type =
   | List_comprehension
@@ -9702,11 +9701,11 @@ and type_send env loc explanation e met =
 
 let maybe_check_uniqueness_exp exp =
   if Language_extension.is_enabled Unique then
-    check_uniqueness_exp exp
+    Uniqueness_analysis.check_uniqueness_exp exp
 
 let maybe_check_uniqueness_value_bindings vbl =
   if Language_extension.is_enabled Unique then
-    check_uniqueness_value_bindings vbl
+    Uniqueness_analysis.check_uniqueness_value_bindings vbl
 
 (* Typing of toplevel bindings *)
 

ocaml/typing/typedtree.ml

@@ -87,10 +87,26 @@ module Unique_barrier = struct
       if Language_extension.is_enabled Unique then
         Misc.fatal_error "A unique barrier was not enabled by the analysis"
       else Uniqueness.Const.Aliased
+
+  let print ppf t =
+    let open Format in
+    let print = function
+      | Enabled u -> fprintf ppf "Enabled(%a)" (Mode.Uniqueness.print ()) u
+      | Resolved uc ->
+        fprintf ppf "Resolved(%a)" Mode.Uniqueness.Const.print uc
+      | Not_computed -> fprintf ppf "Not_computed"
+    in
+    print !t
 end
 
 type unique_use = Mode.Uniqueness.r * Mode.Linearity.l
 
+let print_unique_use ppf (u,l) =
+  let open Format in
+  fprintf ppf "@[(%a,@ %a)@]"
+    (Mode.Uniqueness.print ()) u
+    (Mode.Linearity.print ()) l
+
 type alloc_mode = {
   mode : Mode.Alloc.r;
   locality_context : Env.locality_context option;

ocaml/typing/typedtree.mli

@@ -80,6 +80,8 @@ module Unique_barrier : sig
 
   (* Resolve the unique barrier once type-checking is complete. *)
   val resolve : t -> Mode.Uniqueness.Const.t
+
+  val print : Format.formatter -> t -> unit
 end
 
 (** A unique use annotates accesses to an allocation.
@@ -98,6 +100,8 @@ end
     its actual_mode will have to be many. *)
 type unique_use = Mode.Uniqueness.r * Mode.Linearity.l
 
+val print_unique_use : Format.formatter -> unique_use -> unit
+
 type alloc_mode = {
   mode : Mode.Alloc.r;
   locality_context : Env.locality_context option;