repositories
/
msc-thesis1617.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
shares
[msc-thesis1617.git]
/
results.mtask.tex
diff --git
a/results.mtask.tex
b/results.mtask.tex
index
9c16fc5
..
1b46df1
100644
(file)
--- a/
results.mtask.tex
+++ b/
results.mtask.tex
@@
-94,8
+94,8
@@
accordingly.
, sdsval :: BCValue
}
:: BCState =
, sdsval :: BCValue
}
:: BCState =
- { freshl ::
[Int]
- , freshs ::
[Int]
+ { freshl ::
Int
+ , freshs ::
Int
, sdss :: [BCShare]
}
, 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}}]
\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
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}}]
\begin{lstlisting}[label={lst:shareview},%
caption={Bytecode view for \texttt{arith}}]
-freshshare = get >>= \st=:{fresh
l=[fr:frs]}->put {st & freshl=frs} >>| pure fr
+freshshare = get >>= \st=:{fresh
s}->put {st & freshs=freshs+1} >>| pure freshs
instance sds ByteCode where
sds f = {main = BC (freshshare
instance sds ByteCode where
sds f = {main = BC (freshshare