summaryrefslogtreecommitdiff
path: root/src/nbc/stopwatch.sml
diff options
context:
space:
mode:
authorCalvin <calvin@EESI>2013-05-28 10:47:11 -0400
committerCalvin <calvin@EESI>2013-05-28 10:47:11 -0400
commitdd38d0d1dda2be42bf280aeca110542f2f2fef1b (patch)
treec921dc0690e29f1b7b913aaa72b9c12539faa5a1 /src/nbc/stopwatch.sml
parent2f33e34ae06b96c3f3e4456ce960172903f60bfb (diff)
removed files
Diffstat (limited to 'src/nbc/stopwatch.sml')
-rw-r--r--src/nbc/stopwatch.sml24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/nbc/stopwatch.sml b/src/nbc/stopwatch.sml
deleted file mode 100644
index 43547ed..0000000
--- a/src/nbc/stopwatch.sml
+++ /dev/null
@@ -1,24 +0,0 @@
-signature STOPWATCH = sig
- exception FinishWithoutStart
- val start: string -> unit
- val finish: unit -> unit
-end
-structure Stopwatch :> STOPWATCH = struct
- exception FinishWithoutStart
- local
- val time = ref NONE
- in
- fun start doing = (
- print (concat [doing, "..."])
- ; time := SOME (Time.now ())
- )
- fun finish () = case !time of
- SOME t => (
- print (concat [
- " done in "
- , Time.toString (Time.- (Time.now (), t))
- , " seconds.\n"
- ]); time := NONE
- ) | NONE => raise FinishWithoutStart
- end
-end