X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=results.mtask.tex;h=1b46df106c84f958e62eb7ab145d1c86f0510e5f;hb=c7fa2f10a5c049e2ae70405630857c7873778899;hp=9c16fc58b76e0e411bb25d992b6ac44a7cc77c4f;hpb=12aa2c32d527fef5fd5641e19160f0ea3ee59f72;p=msc-thesis1617.git

diff --git a/results.mtask.tex b/results.mtask.tex
index 9c16fc5..1b46df1 100644
--- a/results.mtask.tex
+++ b/results.mtask.tex
@@ -94,8 +94,8 @@ accordingly.
 	, sdsval :: BCValue
 	}
 :: BCState = 
-	{ freshl :: [Int]
-	, freshs :: [Int]
+	{ freshl :: Int
+	, freshs :: Int
 	, sdss :: [BCShare]
 	}
 
@@ -209,7 +209,7 @@ since the labels are resolved to real addresses later on anyways.
 
 \begin{lstlisting}[label={lst:controlflow},%
 	caption={Bytecode view for \texttt{arith}}]
-freshlabel = get >>= \st=:{freshl=[fr:frs]}->put {st & freshl=frs} >>| pure fr
+freshlabel = get >>= \st=:{freshl}->put {st & freshl=freshl+1} >>| pure freshl
 
 instance If ByteCode Stmt Stmt Stmt where If b t e = BCIfStmt b t e
 instance If ByteCode e Stmt Stmt    where If b t e = BCIfStmt b t e
@@ -238,7 +238,7 @@ implementation is shown in Listing~\ref{lst:shareview}.
 
 \begin{lstlisting}[label={lst:shareview},%
 	caption={Bytecode view for \texttt{arith}}]
-freshshare = get >>= \st=:{freshl=[fr:frs]}->put {st & freshl=frs} >>| pure fr
+freshshare = get >>= \st=:{freshs}->put {st & freshs=freshs+1} >>| pure freshs
 
 instance sds ByteCode where
 	sds f = {main = BC (freshshare