state0 is zero now

[mTask.git] / mTaskSimulation.dcl

diff --git a/mTaskSimulation.dcl b/mTaskSimulation.dcl
index 2b13acf..496bd52 100644 (file)
--- a/mTaskSimulation.dcl
+++ b/mTaskSimulation.dcl
@@ -2,6 +2,8 @@ definition module mTaskSimulation
 
 import mTask
 
+instance zero State
+
 eval :: (Main (Eval t p)) -> [String] | toString t
 :: State = 
   { tasks :: [(Int, State->State)]
@@ -12,8 +14,6 @@ eval :: (Main (Eval t p)) -> [String] | toString t
   , millis:: Int
   }
 
-state0 :: State
-
 //:: TaskSim :== (Int, State->State)
 :: Eval t p = E ((ReadWrite t) State -> (t, State))
 toS2S :: (Eval t p) -> (State->State)