Merge branch 'master' of git.martlubbers.net:msc-thesis1617

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

diff --git a/mtask.control.tex b/mtask.control.tex
index 680e10f..f578245 100644 (file)
--- a/mtask.control.tex
+++ b/mtask.control.tex
@@ -15,20 +15,12 @@ The sequence operator is straightforward and its only function is to tie
 two expressions together. The left expression is executed first, followed by
 the right expression.
 
-\begin{lstlisting}[%
+\begin{lstlisting}[language=Clean,%
        label={lst:control},caption={Control flow operators}]
-class If v q r ~s where
-  If :: (v Bool p) (v t q) (v t r) -> v t s | ...
-
 class IF v where
   IF :: (v Bool p) (v t q) (v s r) -> v () Stmt | ...
   (?) infix 1 :: (v Bool p) (v t q) -> v () Stmt | ...
 
-instance If Code Stmt Stmt Stmt
-instance If Code e    Stmt Stmt
-instance If Code Stmt e    Stmt
-instance If Code x    y    Expr
-
 class seq v where
   (:.) infixr 0 :: (v t p) (v u q) -> v u Stmt | ...
 \end{lstlisting}