From ce0a0c9053e2749ee659f1997444e4fd893de13e Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Sun, 9 Jul 2017 13:11:32 +0200 Subject: [PATCH] demo' --- pres.system.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pres.system.tex b/pres.system.tex index 94db2be..f4c71ab 100644 --- a/pres.system.tex +++ b/pres.system.tex @@ -429,7 +429,7 @@ sendTaskToDevice :: String (Main (ByteCode a Stmt)) (MTaskDevice, MTaskInterval) \begin{lstlisting}[language=Clean] blink :: Task () blink = makeDevice "stm32" stm32 >>= connectDevice - >>= \stm-> sendTaskToDevice "blink" blinkTask (stm32, OnInterval 1000) + >>= \stm-> sendTaskToDevice "blink" blinkTask (stm, OnInterval 1000) >>= \(st, [t:_])->forever ( updateSharedInformation "Which led to blink" [] (shareShare stm t) ) >>* [OnAction (Action "Shutdown") $ always @@ -438,7 +438,7 @@ blink = makeDevice "stm32" stm32 >>= connectDevice where stm32 = makeDevice "Stm32" (SerialDevice {devicePath="/dev/ttyUSB0", baudrate=B9600, ...} - blinkTask = sds \led=LED0 In sds \x=True In + blinkTask = sds \led=LED1 In sds \x=True In {main = IF x (ledOff led) (ledOn led) :. x =. Not x } \end{lstlisting} -- 2.20.1