From f040a6db7eba754086df3c513691ea32bb554c4d Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Thu, 22 Oct 2020 16:47:01 -0400
Subject: [PATCH] create typed timestate driver wrapper

---
 racket/typed/drivers/timestate.rkt | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 racket/typed/drivers/timestate.rkt

diff --git a/racket/typed/drivers/timestate.rkt b/racket/typed/drivers/timestate.rkt
new file mode 100644
index 0000000..da70133
--- /dev/null
+++ b/racket/typed/drivers/timestate.rkt
@@ -0,0 +1,22 @@
+#lang typed/syndicate/roles
+
+(provide activate!
+         later-than
+         LaterThanT
+         LaterThan
+         TimeStateDriver)
+
+(require-struct later-than
+                #:as LaterThanT
+                #:from syndicate/drivers/timestate)
+
+(define-type-alias LaterThan (LaterThanT Int))
+
+(define-type-alias TimeStateDriver
+  (U LaterThan
+     (Observe (LaterThanT ★/t))))
+
+;; TODO ignoring other driver underneath it
+
+(require/typed (submod syndicate/drivers/timestate syndicate-main)
+  [activate! : (proc → ⊥ #:spawns ((Actor TimeStateDriver)))])