# HG changeset patch
# User Chris Cannam
# Date 1630853859 -3600
#      Sun Sep 05 15:57:39 2021 +0100
# Node ID 8532afd5df3828b0a84deab91c91ba22380dfdb6
# Parent  1d114cea559bc79cd79e154ef348e34717802bf4
Summarise when budget missed

diff --git a/timing.sml b/timing.sml
--- a/timing.sml
+++ b/timing.sml
@@ -116,14 +116,15 @@
                          ])
             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