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

[msc-thesis1617.git] / mtaskext.sdsprop.tex

diff --git a/mtaskext.sdsprop.tex b/mtaskext.sdsprop.tex
index 029f9a0..00f14ad 100644 (file)
--- a/mtaskext.sdsprop.tex
+++ b/mtaskext.sdsprop.tex
@@ -20,7 +20,7 @@ class. Therefore, an extra class is added that contains the extra
 functionality. Programmers can choose to implement it for existing views in the
 future but are not obliged to. The publication function has the following
 signature:
-\begin{lstlisting}[caption={The \texttt{sdspub} class}]
+\begin{lstlisting}[language=Clean,caption={The \texttt{sdspub} class}]
 class sdspub v where
   pub :: (v t Upd) -> v t Expr | type t
 \end{lstlisting}
@@ -42,7 +42,7 @@ Listing~\ref{lst:namedsds}. Again, an example is added for illustration.
 Retrieving the \gls{SDS} after compilation is shown in
 Section~\ref{sec:archexamples}.
 
-\begin{lstlisting}[label={lst:namedsds},%
+\begin{lstlisting}[language=Clean,label={lst:namedsds},%
        caption={The \texttt{namedsds} class}]
 class namedsds v where
        namedsds :: ((v t Upd) -> In (Named t String) (Main (v c s))) -> (Main (v c s)) | ...