From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 9 Jul 2017 11:11:32 +0000 (+0200)
Subject: demo'
X-Git-Tag: final~13
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=ce0a0c9053e2749ee659f1997444e4fd893de13e;p=msc-thesis1617.git

demo'
---

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}