X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskSimulation.icl;h=7c187f7f13f03bc1e30a5f0e1a176876dca5caf4;hb=9f47008270ad2ab66d7787eb29b0f83a82a8e42e;hp=ae7ddfb5122d2646aa497a449ec6c16c0f4300e9;hpb=93cabbcd5d18b7b45d6f43a6ff39f94cfcb95522;p=mTask.git diff --git a/mTaskSimulation.icl b/mTaskSimulation.icl index ae7ddfb..7c187f7 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,7 +74,7 @@ defEval2 v f = instance sds Eval where sds f = defEval f con f = defEval f -// pub _ = undef + pub _ = undef defEval :: ((Eval t p)->In t (Main (Eval u q))) -> (Main (Eval u q)) | dyn t defEval f =