Change timeout to ADT and start supporting interrupts

[mTask.git] / mTaskSimulation.dcl

diff --git a/mTaskSimulation.dcl b/mTaskSimulation.dcl
index 5e502e2..1669f23 100644 (file)
--- a/mTaskSimulation.dcl
+++ b/mTaskSimulation.dcl
@@ -1,8 +1,11 @@
 definition module mTaskSimulation
 
+import iTasks.API.Core.Types
 import mTask
 
-instance zero State`
+:: Display a = Display a
+
+derive class iTask Display
 
 eval :: (Main (Eval t p)) -> [String] | toString t
 :: State` =