From 685d44400057ebf5779228fde2882c995467cebd Mon Sep 17 00:00:00 2001 From: Liam Stevenson Date: Wed, 14 Aug 2024 11:59:50 -0400 Subject: [PATCH] Add cms cache support to cache information --- src/kernel/mpipeline.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/kernel/mpipeline.ml b/src/kernel/mpipeline.ml index cbfedbe79..8df230567 100644 --- 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 ]