update, shares are not propagated anymore

diff --git a/mTaskInterpret.icl b/mTaskInterpret.icl
index 0026290..34dc617 100644 (file)
--- 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 (file)
--- 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