From 6a613ef68371fc249a0987b3c5376547e2f386ba Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 6 Jun 2017 12:29:14 +0200 Subject: [PATCH] indentation --- results.mtask.tex | 27 ++++++++++++++------------- 1 file changed, 14 insertions(+), 13 deletions(-) diff --git a/results.mtask.tex b/results.mtask.tex index 9580dec..377a8cb 100644 --- a/results.mtask.tex +++ b/results.mtask.tex @@ -38,14 +38,14 @@ accordingly. \begin{lstlisting}[label={lst:bcview},caption={Bytecode view}] :: ByteCode a p = BC (RWS () [BC] BCState ()) :: BCValue = E.e: BCValue e & mTaskType, TC e -:: BCShare = { - sdsi :: Int, - sdsval :: BCValue +:: BCShare = + { sdsi :: Int + , sdsval :: BCValue } -:: BCState = { - freshl :: [Int], - freshs :: [Int], - sdss :: [BCShare] +:: BCState = + { freshl :: [Int] + , freshs :: [Int] + , sdss :: [BCShare] } class toByteCode a :: a -> String @@ -159,17 +159,18 @@ Shared data sources must be acquired from the state and constructing one happens via multiple steps. First a fresh identifier is grabbed from the state. Then a \CI{BCShare} record is created with that identifier. A \CI{BCSdsFetch} instruction is written and the body is generated to finally add the share to -the actual state. The exact implementation is shown in -Listing~\ref{lst:shareview}. +the actual state with the value obtained from the function. The exact +implementation is shown in Listing~\ref{lst:shareview}. \begin{lstlisting}[label={lst:shareview},% caption={Bytecode view for \texttt{arith}}] instance sds ByteCode where sds f = {main = BC (freshs - >>= \sdsi->pure {BCShare | sdsi=sdsi,sdsval=BCValue 0} - >>= \sds->pure (f (tell` [BCSdsFetch sds])) - >>= \(v In bdy)->modify (addSDS sds v) - >>| unBC (unMain bdy))} + >>= \sdsi->pure {BCShare | sdsi=sdsi,sdsval=BCValue 0} + >>= \sds->pure (f (tell` [BCSdsFetch sds])) + >>= \(v In bdy)->modify (addSDS sds v) + >>| unBC (unMain bdy)) + } pub (BC x) = BC (censor (\[BCSdsFetch s]->[BCSdsPublish s]) x) addSDS sds v s = {s & sdss=[{sds & sdsval=BCValue v}:s.sdss]} -- 2.20.1