diff options
author | Calvin <calvin@EESI> | 2013-05-28 10:47:11 -0400 |
---|---|---|
committer | Calvin <calvin@EESI> | 2013-05-28 10:47:11 -0400 |
commit | dd38d0d1dda2be42bf280aeca110542f2f2fef1b (patch) | |
tree | c921dc0690e29f1b7b913aaa72b9c12539faa5a1 /src/nbc/stopwatch.sml | |
parent | 2f33e34ae06b96c3f3e4456ce960172903f60bfb (diff) |
removed files
Diffstat (limited to 'src/nbc/stopwatch.sml')
-rw-r--r-- | src/nbc/stopwatch.sml | 24 |
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 |