# HG changeset patch
# User paulson
# Date 883736226 -3600
# Node ID f21ec26b22654f6854544ab679291d7a13ffd2b0
# Parent  4a2c872b6513b1f345ae47dce8068d929faed8d6
Declared startTiming and endTiming

diff -r 4a2c872b6513 -r f21ec26b2265 src/Pure/ML-Systems/smlnj-0.93.ML
--- a/src/Pure/ML-Systems/smlnj-0.93.ML	Wed Dec 31 15:19:51 1997 +0100
+++ b/src/Pure/ML-Systems/smlnj-0.93.ML	Fri Jan 02 11:17:06 1998 +0100
@@ -27,35 +27,37 @@
   System.Control.Print.printLength := n);
 
 
+
 (* timing *)
 
+(*Note start point for timing*)
+fun startTiming() = System.Timer.start_timer();
+
+(*Finish timing and return string*)
 local
   (*print microseconds, suppressing trailing zeroes*)
   fun umakestring 0 = ""
     | umakestring n =
         chr (ord "0" + n div 100000) ^ umakestring (10 * (n mod 100000));
+
+  fun string_of_time (System.Timer.TIME {sec, usec}) =
+      makestring sec ^ "." ^ (if usec=0 then "0" else umakestring usec)
+
 in
-  (*a conditional timing function: applies f to () and, if the flag is true,
-    prints its runtime*)
-  fun cond_timeit flag f =
-    if flag then
-      let fun string_of_time (System.Timer.TIME {sec, usec}) =
-              makestring sec ^ "." ^ (if usec=0 then "0" else umakestring usec)
-          open System.Timer;
-          val start = start_timer()
-          val result = f();
-          val nongc = check_timer(start)
-          and gc = check_timer_gc(start);
-          val both = add_time(nongc, gc)
-      in  print("Non GC " ^ string_of_time nongc ^
-                 "   GC " ^ string_of_time gc ^
-                 "  both "^ string_of_time both ^ " secs\n");
-          result
-      end
-    else f();
+
+fun endTiming start =
+  let val nongc = System.Timer.check_timer(start)
+      and gc    = System.Timer.check_timer_gc(start);
+      val both  = System.Timer.add_time(nongc, gc)
+  in  "Non GC " ^ string_of_time nongc ^
+      "   GC " ^ string_of_time gc ^
+      "  both "^ string_of_time both ^ " secs\n"
+  end
 end;
 
 
+
+
 (* toplevel pretty printing (see also Pure/install_pp.ML) *)
 
 fun make_pp path pprint =