Wrong node colouring in nested parallels
In the code pasted below, Tonic fails to highlight the active nodes properly.
When executing the lhs of the
-&&-, the rhs becomes grey. When the rhs is then executed, the lhs becomes blue and the rhs green. Instead, both should become green.
This seems to be due to the combination of
-&&- and the two
@:s. In particular, the fact that
@: creates a new parallel detached task, while it itself is an embedded parallel task in
-&&-. The marking algorithm needs to be somewhat more careful with deeming nodes finished.
(((me,"chat") @: updateAndView (me,workOfMe) (colleague,workOfColleague)) -&&- ((colleague,"chat") @: updateAndView (colleague,workOfColleague) (me,workOfMe)) ))