Better debug info for hash codes

AeneasVerif · Sep 17, 2024 · 59088cb · 59088cb
1 parent 1a65dbf
commit 59088cb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/Cleanup2.ml b/lib/Cleanup2.ml
@@ -656,6 +656,7 @@ let improve_names files =
        | [ trait_impl ] ->
            let hash = Hashtbl.hash trait_impl in
            let n = Printf.sprintf "%s_%02x" n (hash land 0xFF) in
+           Krml.Monomorphization.maybe_debug_hash hash (lazy PPrint.(string "trait impl:" ^/^ string trait_impl));
            let n = Krml.Idents.mk_fresh n (fun n -> Hashtbl.mem allocated (m, n)) in
            Hashtbl.add renamed lid ((m, n), trait_impl);
            Hashtbl.add allocated (m, n) ()