subsection

[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.
 
 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}]
        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 | ...
 
 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}
 class seq v where
   (:.) infixr 0 :: (v t p) (v u q) -> v u Stmt | ...
 \end{lstlisting}