process pieter's comments

[msc-thesis1617.git] / mtask.examples.tex

diff --git a/mtask.examples.tex b/mtask.examples.tex
index c98cdd3..9277ec6 100644 (file)
--- a/mtask.examples.tex
+++ b/mtask.examples.tex
@@ -19,14 +19,10 @@ blink = task \blink=(\x.
        In {main=blink (lit 1000) True}
 
 thermostat :: Main (View () Stmt)
-thermostat = {main =
-  IF (analogRead A0 >. lit 50)
-       ( digitalWrite D0 (lit True)  )
-    ( digitalWrite D0 (lit False) )
-  }
+thermostat = {main = digitalWrite D0 (analogRead A0 >. lit 50) }
 
 thermostat` :: Main (View () Stmt)
-thermostat` = let 
+thermostat` = let
   a0 = aIO A0
-  d0 = dIO D0 in {main = IF (a0 >. lit 50) (d0 =. lit True) (d0 =. lit False) }
+  d0 = dIO D0 in {main = d0 =. a0 > lit 50 }
 \end{lstlisting}