From 6069455cb73eb6a4bc5b809d21e0e7d3933d07fa Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 5 Nov 2018 21:17:14 +0000
Subject: [PATCH] `sleep` function in driver-timer

---
 packages/driver-timer/src/index.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/packages/driver-timer/src/index.js b/packages/driver-timer/src/index.js
index 06329a9..c231247 100644
--- a/packages/driver-timer/src/index.js
+++ b/packages/driver-timer/src/index.js
@@ -23,6 +23,14 @@ export { PeriodicTick, TimeLaterThan };
 message type PeriodicTick(intervalMS);
 assertion type TimeLaterThan(deadlineMS);
 
+export function sleep(ms, cb) {
+  react {
+    stop on asserted TimeLaterThan(+(new Date()) + ms) {
+      cb();
+    }
+  }
+}
+
 spawn named 'driver-timer/PeriodicTick' {
   during Observe(PeriodicTick($intervalMS)) spawn named ('PeriodicTick('+intervalMS+')') {
     let handle = null;