1 files changed, 14 insertions, 5 deletions
diff --git a/compiler/ExtractBuiltin.ml b/compiler/ExtractBuiltin.ml
index ef746ddf..6de47920 100644
--- a/compiler/ExtractBuiltin.ml
+++ b/compiler/ExtractBuiltin.ml
@@ -299,10 +299,15 @@ let builtin_funs () : (pattern * bool list option * builtin_fun_info list) list
   ]
 
 let mk_builtin_funs_map () =
-  NameMatcherMap.of_list
-    (List.map
-       (fun (name, filter, info) -> (name, (filter, info)))
-       (builtin_funs ()))
+  let m =
+    NameMatcherMap.of_list
+      (List.map
+         (fun (name, filter, info) -> (name, (filter, info)))
+         (builtin_funs ()))
+  in
+  log#ldebug
+    (lazy ("builtin_funs_map:\n" ^ NameMatcherMap.to_string (fun _ -> "") m));
+  m
 
 let builtin_funs_map = mk_memoized mk_builtin_funs_map
 
@@ -555,6 +560,10 @@ let builtin_trait_impls_info () : (pattern * (bool list option * string)) list =
   ]
 
 let mk_builtin_trait_impls_map () =
-  NameMatcherMap.of_list (builtin_trait_impls_info ())
+  let m = NameMatcherMap.of_list (builtin_trait_impls_info ()) in
+  log#ldebug
+    (lazy
+      ("builtin_trait_impls_map:\n" ^ NameMatcherMap.to_string (fun _ -> "") m));
+  m
 
 let builtin_trait_impls_map = mk_memoized mk_builtin_trait_impls_map