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

diff --git a/intro/lst/blink.icl b/intro/lst/blink.icl
index 2be0cdc..10b1142 100644
--- a/intro/lst/blink.icl
+++ b/intro/lst/blink.icl
@@ -14,14 +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 iInterval = declarePin D13 PMOutput \ledPin-> /*\label{lst:intro:declarePin}*/
-	   lowerSds \mInterval=iInterval/*\label{lst:intro:liftsds}*/
-	In fun \blink=(\st-> /*\label{lst:intro:blink_fro}*/
+/*
+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}*/
 		     getSds mInterval
 		>>=. \i->delay i
 		>>|. writeD ledPin st