X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskSimulation.dcl;fp=mTaskSimulation.dcl;h=496bd521a3924074043a7ac74923c4676eef4e79;hb=dd0896b855fc81e10b45b9407fead457a027f645;hp=2b13acf4b638efd936cd7b9b1418c8f0e9392512;hpb=e25fda18ca554ec3fe937152403872b916367ddb;p=mTask.git

diff --git a/mTaskSimulation.dcl b/mTaskSimulation.dcl
index 2b13acf..496bd52 100644
--- 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)