X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskSimulation.icl;h=d28a4fe5fb221ec5c8c0a490e4d4e88456cc45c1;hb=1c8014ff74afb966b891a4689d8ee3e512300746;hp=d52fa9a359d67c8bf177e43b335a627f06b68336;hpb=0d7dc6966d2f428cd7543708e220aa4315d64978;p=mTask.git diff --git a/mTaskSimulation.icl b/mTaskSimulation.icl index d52fa9a..d28a4fe 100644 --- a/mTaskSimulation.icl +++ b/mTaskSimulation.icl @@ -3,7 +3,7 @@ implementation module mTaskSimulation import iTasks import gdynamic, gCons, GenEq, StdMisc, StdArray import mTask -derive class iTask Display +//derive class iTask Display eval :: (Main (Eval t p)) -> [String] | toString t eval {main=(E f)} = [toString (fst (f Rd zero))] @@ -74,6 +74,7 @@ defEval2 v f = instance sds Eval where sds f = defEval f con f = defEval f + pub _ = undef defEval :: ((Eval t p)->In t (Main (Eval u q))) -> (Main (Eval u q)) | dyn t defEval f =