annotate timer.ur @ 24:d314d2ec3300

Be able to obtain the name from a navItem
author Ron de Bruijn <rmbruijn@gmail.com>
date Sun, 04 Dec 2011 16:45:31 +0100
parents 37eefd0a2ed4
children
rev   line source
adam@0 1 type t = source bool
adam@0 2
adam@0 3 fun create r =
adam@0 4 b <- source False;
adam@0 5 spawn (sleep r.Milliseconds;
adam@0 6 b <- get b;
adam@0 7 if b then
adam@0 8 return ()
adam@0 9 else
adam@0 10 r.Action);
adam@0 11 return b
adam@0 12
adam@0 13 fun cancel b = set b True