Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added checkTimer;
authorwenzelm
Sun, 20 Jun 2004 09:28:35 +0200
changeset 14979 245955f0c579
parent 14978 108ce0289c35
child 14980 267cc670317a
added checkTimer;
src/Pure/ML-Systems/cpu-timer-basis.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/cpu-timer-gc.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/cpu-timer-basis.ML	Sun Jun 20 09:27:40 2004 +0200
+++ b/src/Pure/ML-Systems/cpu-timer-basis.ML	Sun Jun 20 09:28:35 2004 +0200
@@ -21,3 +21,8 @@
       handle Time => ""
   end;
 
+fun checkTimer timer =
+  let
+    val {sys, usr} = Timer.checkCPUTimer timer;
+    val gc = Timer.checkGCTime timer;    (* FIXME already included in usr? *)
+  in (sys, usr, gc) end;
--- a/src/Pure/ML-Systems/cpu-timer-gc.ML	Sun Jun 20 09:27:40 2004 +0200
+++ b/src/Pure/ML-Systems/cpu-timer-gc.ML	Sun Jun 20 09:28:35 2004 +0200
@@ -23,3 +23,6 @@
       handle Time => ""
   end;
 
+fun checkTimer timer =
+  let val {sys, usr, gc} = Timer.checkCPUTimer timer
+  in (sys, usr, gc) end;
isabelle