process pieter's comments

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

diff --git a/mtask.control.tex b/mtask.control.tex
index 680e10f..1bf3900 100644 (file)
--- a/mtask.control.tex
+++ b/mtask.control.tex
@@ -17,18 +17,10 @@ the right expression.
 
 \begin{lstlisting}[%
        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}