Commit 1e31a8fe authored by Michael Hanus 's avatar Michael Hanus
Browse files

Type signature of sendMsg in account example fixed

parent 7aad1825
......@@ -284,7 +284,7 @@ Therefore, the client is implemented as follows:
\begin{curry}
-- Send a message to an object identified by its message stream obj:
sendMsg :: [msg] -> msg -> [msg]
sendMsg :: msg -> [msg] -> [msg]
sendMsg msg obj | obj =:= msg:obj1 = obj1 where obj1 free
-- Client process of an bank account
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment