X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=intro%2Flst%2Fblink.icl;h=10b1142fab1b180cd9b4f33b749aa40843b479bf;hb=20d972f3af3f073519e6e3e23edf4eb725f8f52d;hp=d1f5c3a351fb21bd18438dce0deb9799afa96c3c;hpb=f0c32c3d589cb32297a504dc986b951a60676331;p=phd-thesis.git

diff --git a/intro/lst/blink.icl b/intro/lst/blink.icl
index d1f5c3a..10b1142 100644
--- a/intro/lst/blink.icl
+++ b/intro/lst/blink.icl
@@ -14,15 +14,19 @@ interactiveBlink = enterDevice/*\label{lst:intro_enterDevice}*/
 		    liftmTask (intBlink iInterval) dev/*\label{lst:intro_liftmtask}*/
 		-|| (Hint "Interval (ms)" @>> updateSharedInformation [] iInterval)/*\label{lst:intro_editor}*/
 		>>* [OnAction (Action "Stop") (always (return ()))]
-where enterDevice :: Task TCPSettings
-      enterDevice = enterInformation [] <<@ Hint "Enter connection info"
+
+enterDevice :: Task TCPSettings
+enterDevice = enterInformation [] <<@ Hint "Enter connection info"
 
 intBlink :: (Shared sds Int) -> Main (MTask v Int)
 	| mtask, lowerSds v & RWShared sds & TC sds () Int Int
+/*
+intBlink :: (Shared sds Int) -> Main (MTask v Int) | mtask v & ...
+*/
 intBlink iInterval =
 	   declarePin D2 PMOutput \ledPin-> /*\label{lst:intro:declarePin}*/
-	   lowerSds \mInterval=iInterval/*\label{lst:intro:liftsds}*/
-	In fun \blink=(\st-> /*\label{lst:intro:blink_fro}*/
+	   lowerSds \mInterval = iInterval/*\label{lst:intro:liftsds}*/
+	In fun \blink = (\st-> /*\label{lst:intro:blink_fro}*/
 		     getSds mInterval
 		>>=. \i->delay i
 		>>|. writeD ledPin st