Skip to content

Commit

Permalink
Split 'hxb read' timers
Browse files Browse the repository at this point in the history
  • Loading branch information
kLabz committed Aug 9, 2024
1 parent b909068 commit b0810f5
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/compiler/server.ml
Original file line number Diff line number Diff line change
Expand Up @@ -440,7 +440,7 @@ class hxb_reader_api_server
let is_display_file = DisplayPosition.display_position#is_in_file (Path.UniqueKey.lazy_key mc.mc_extra.m_file) in
let full_restore = com.is_macro_context || com.display.dms_full_typing || is_display_file in
let f_next chunks until =
let t_hxb = Timer.timer ["server";"module cache";"hxb read"] in
let t_hxb = Timer.timer ["server";"module cache";"hxb read";"until " ^ (string_of_chunk_kind until)] in
let r = reader#read_chunks_until (self :> HxbReaderApi.hxb_reader_api) chunks until (not full_restore) in
t_hxb();
r
Expand Down Expand Up @@ -590,7 +590,7 @@ and type_module sctx com delay mpath p =
api
in
let f_next chunks until =
let t_hxb = Timer.timer ["server";"module cache";"hxb read"] in
let t_hxb = Timer.timer ["server";"module cache";"hxb read";"until " ^ (string_of_chunk_kind until)] in
let r = reader#read_chunks_until api chunks until (not full_restore) in
t_hxb();
r
Expand Down

0 comments on commit b0810f5

Please sign in to comment.