kill all orphans and widows

[phd-thesis.git] / top / lst / example.icl

diff --git a/top/lst/example.icl b/top/lst/example.icl
index d6bb86c..d1f6222 100644 (file)
--- a/top/lst/example.icl
+++ b/top/lst/example.icl
@@ -7,7 +7,7 @@ import mTask.Interpret
 import mTask.Interpret.Device.TCP
 import mTask.Interpret.Device.Serial
 
-//Start w = doTasks autoHome w
+Start w = doTasks autoHome w
 
 arduino = {TTYSettings | zero & devicePath="/dev/ttyACM0"}/*\label{lst:example:spec1}*/
 nodeMCU = {TCPSettings | host="192.168.0.1", port=8123, pingTimeout= ?None}/*\label{lst:example:spec2}*/
@@ -26,10 +26,9 @@ chooseTask dev1 dev2 stl = tune (Title "Run a task") $
        >>? \device->appendTask Embedded (mkTask n i device) stl
        >-| chooseTask dev1 dev2 stl
 where
-       mkTask n i device stl
-               # dev = if (device == "node") dev2 dev1
-               = ((snd (tasks !! i) $ dev)
-                       >>* [OnAction ActionClose $ always $ return ()]) <<@ Title n/*\label{lst:example:ct2}*/
+       mkTask n i device stl = ((snd (tasks !! i) $ dev)
+               >>* [OnAction ActionClose $ always $ return ()]) <<@ Title n/*\label{lst:example:ct2}*/
+       where dev = if (device == "node") dev2 dev1
 
 tasks :: [(String, MTDevice -> Task ())]/*\label{lst:example:tasks1}*/
 tasks =
@@ -71,7 +70,3 @@ lightswitch sh =
                >>*. [IfValue ((!=.)st) (\v->writeD d13 v)]
                >>|. f (Not st))
        In {main=f true}
-
-Start w = doTasks t w
-t = withShared True \sh->
-       updateSharedInformation [] sh <<@ Hint "Light switch"