8532afd5df38 — Chris Cannam 3 years ago
Summarise when budget missed
1 files changed, 9 insertions(+), 8 deletions(-)

M timing.sml
M timing.sml +9 -8
@@ 116,14 116,15 @@ structure Timing : TIMING = struct
                          ])
             val usBudget = toUsReal budget
             val () = if Time.> (elapsed, budget)
-                     then Log.warn
-                              (fn () =>
-                                  ["%1: exceeded budget of %2%3s with elapsed time of %4%5s (%6/s)",
-                                   tag,
-                                   N usBudget, mu,
-                                   N usElapsed, mu, usPerSecStr usElapsed
-                              ])
-                     else ()
+                     then (Log.warn
+                               (fn () =>
+                                   ["%1: exceeded budget of %2%3s with elapsed time of %4%5s (%6/s)",
+                                    tag,
+                                    N usBudget, mu,
+                                    N usElapsed, mu, usPerSecStr usElapsed
+                               ]);
+                           summarise Log.WARN)
+                      else ();
         in
             result
         end