Don't print unique identifiers for variables

This didn't turn out to be helpful and it makes diffs huge.
johnridesabike · Nov 24, 2024 · 3ee8ddc · 3ee8ddc
1 parent a027715
commit 3ee8ddc
Show file tree

Hide file tree

Showing 2 changed files with 921 additions and 1,045 deletions.
diff --git a/lib/instruct.ml b/lib/instruct.ml
@@ -1229,14 +1229,7 @@ end
 let pp (type a) pp_import ppf c =
   let module F = Format in
   let module M = Make (struct
-    module Tbl = Hashtbl.MakeSeeded (String)
-
-    let var =
-      let tbl = Tbl.create 128 in
-      fun v ->
-        let i = try Tbl.find tbl v with Not_found -> 0 in
-        Tbl.add tbl v (succ i);
-        F.dprintf "%s/%i" v i
+    let var = F.dprintf "%s"
 
     type 'a stmt = F.formatter -> unit
     type 'a obs = F.formatter -> unit