From 59088cb961c1d0f1d8cc224555b16718cc21b10c Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Mon, 16 Sep 2024 17:24:57 -0700
Subject: [PATCH] Better debug info for hash codes

---
 lib/Cleanup2.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/Cleanup2.ml b/lib/Cleanup2.ml
index b42d6fd..f5e53c3 100644
--- 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) ()