Add cms cache support to cache information

janestreet · Aug 14, 2024 · 34e5a90 · 34e5a90
1 parent c452694
commit 34e5a90
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/kernel/mpipeline.ml b/src/kernel/mpipeline.ml
@@ -351,6 +351,8 @@ let cache_information t =
     `Assoc [ "hit", `Int h; "miss", `Int m ] in
   let cmt_stat = Cmt_cache.get_cache_stats () in
   let cmt = fmt_hit_miss cmt_stat.hit cmt_stat.miss in
+  let cms_stat = Cms_cache.get_cache_stats () in
+  let cms = fmt_hit_miss cms_stat.hit cmt_stat.miss in
   let cmi_stat = Cmi_cache.get_cache_stats () in
   let cmi = fmt_hit_miss cmi_stat.hit cmi_stat.miss in
   Cmt_cache.clear_cache_stats ();
@@ -361,5 +363,6 @@ let cache_information t =
     "ppx_phase"    , fmt_bool !(t.ppx_cache_hit);
     "typer"        , typer;
     "cmt"          , cmt;
+    "cms"          , cms;
     "cmi"          , cmi
   ]