more precise profiles

SkySkimmer · Jul 25, 2024 · e497538 · e497538
1 parent 440afa2
commit e497538
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/kernel/ConstrSharing.ml b/kernel/ConstrSharing.ml
@@ -426,8 +426,8 @@ let parse chan =
   (ans.(0), memory)
 
 let repr v =
-  let s = Marshal.to_string v [] in
-  parse s
+  let s = NewProfile.profile "constrsharing.marshal" (fun () -> Marshal.to_string v []) () in
+  NewProfile.profile "constrsharing.repr" (fun () -> parse s) ()
 
 type t = {
   uid : int;
@@ -605,8 +605,8 @@ let do_constr memory c data =
   do_constr c data
 
 let of_constr c =
-  NewProfile.profile "constrsharing" (fun () ->
-      let data, memory = repr c in
+  let data, memory = repr c in
+  NewProfile.profile "constrsharing.do_constr" (fun () ->
       do_constr memory c data)
     ()