process pieter's comments

[msc-thesis1617.git] / arch.itasks.tex

diff --git a/arch.itasks.tex b/arch.itasks.tex
index b8f4b08..1b3384f 100644 (file)
--- a/arch.itasks.tex
+++ b/arch.itasks.tex
@@ -16,7 +16,6 @@ the reference to the device and not the actual device record.
 
 \begin{lstlisting}[caption={Device type},label={lst:mtaskdevice}]
 :: Channels :== ([MTaskMSGRecv], [MTaskMSGSend], Bool)
-:: BCState = ...         // Compiler state, explained in later sections
 :: MTaskDeviceSpec = ... // Also explained in later sections
 :: MTaskMSGRecv = ...    // Message format, explained in later sections
 :: MTaskMSGSend = ...    // Also explained in later sections
@@ -156,6 +155,7 @@ are exactly the same.
 
 \begin{lstlisting}[label={lst:actualdev},%
        caption={Device \gls{SDS}}]
+($<) :: a (f a) -> (f b)
 ($<) a fb = fmap (const a) fb
 
 deviceStore :: RWShared (Maybe (MTaskDevice, Int)) [MTaskDevice] [MTaskDevice]
@@ -204,7 +204,7 @@ single \gls{SDS} on the device changes. The implementation is as follows:
 \begin{lstlisting}[caption={Local \gls{SDS}}]
 deviceShare :: MTaskDevice -> Shared MTaskDevice
 deviceShare d = mapReadWriteError
-       ( \ds->case find ((==)d) of
+       ( \ds->case find ((==)d) ds of
                Nothing = exception "Device lost"
                Just d = Ok d)
        , \w ds->case splitWith ((==)d) ds of