From: Mart Lubbers Date: Tue, 21 Mar 2017 11:58:58 +0000 (+0100) Subject: update, shares are not propagated anymore X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=250d747b6096a2cfe4b2e7c3a63bb5caa3a45181;p=mTask.git update, shares are not propagated anymore --- 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