process the rest of Pieter's comments
[phd-thesis.git] / intro / lst / blink.icl
index cc7fc5c..aedf0b2 100644 (file)
@@ -19,7 +19,11 @@ where enterDevice :: Task TCPSettings
 
 intBlink :: (Shared sds Int) -> Main (MTask v Int)
        | mtask, lowerSds v & RWShared sds & TC sds () Int Int
-intBlink iInterval = declarePin D2 PMOutput \ledPin-> /*\label{lst:intro:declarePin}*/
+/*
+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