From 250d747b6096a2cfe4b2e7c3a63bb5caa3a45181 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 21 Mar 2017 12:58:58 +0100 Subject: [PATCH] update, shares are not propagated anymore --- mTaskInterpret.icl | 7 ++++++- todo.txt | 1 - 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/mTaskInterpret.icl b/mTaskInterpret.icl index 0026290..34dc617 100644 --- a/mTaskInterpret.icl +++ b/mTaskInterpret.icl @@ -329,10 +329,15 @@ toReadableByteCode x s where (ex, newls) = splitAt (bclength b - 1) ls +derive gPrint BCShare + toMessages :: MTaskInterval (Main (ByteCode a b)) BCState -> ([MTaskMSGSend], BCState) toMessages interval x s # (bc, newstate) = toRealByteCode (unMain x) s -# newsdss = 'DL'.difference s.sdss newstate.sdss +# newsdss = 'DL'.difference newstate.sdss s.sdss +| not (trace_tn $ printToString s.sdss) = undef +| not (trace_tn $ printToString newstate.sdss) = undef +| not (trace_tn $ printToString newsdss) = undef = ([MTSds sdsi $ toByteCode e\\{sdsi,sdsval=(BCValue e)}<-newsdss] ++ [MTTask interval bc], newstate) diff --git a/todo.txt b/todo.txt index d53dcad..6b09dc5 100644 --- a/todo.txt +++ b/todo.txt @@ -1,4 +1,3 @@ delete tasks when deleting device -make sure shares are assigned to correct task and not propagated let tasks have a unique name add field in task that denotes to which device it belongs -- 2.20.1