@@ -4,17 +4,17 @@ import System.Concurrency.Process
5ping : ProcID String -> ProcID String -> Process String ()
5ping : ProcID String -> ProcID String -> Process String ()
6ping main proc
6ping main proc
7− = do lift (usleep 1000)
7+ = do Lift (usleep 1000)
8 send proc "Hello!"
8 send proc "Hello!"
9− lift (putStrLn "Sent ping")
9+ Lift (putStrLn "Sent ping")
10 msg <- recv
10 msg <- recv
11− lift (putStrLn ("Reply: " ++ show msg))
11+ Lift (putStrLn ("Reply: " ++ show msg))
12 send main "Done"
12 send main "Done"
14pong : Process String ()
14pong : Process String ()
15−pong = do -- lift (putStrLn "Waiting for message")
15+pong = do -- Lift (putStrLn "Waiting for message")
16 (sender, m) <- recvWithSender
16 (sender, m) <- recvWithSender
17− lift $ putStrLn ("Received " ++ m)
17+ Lift $ putStrLn ("Received " ++ m)
18 send sender ("Hello back!")
18 send sender ("Hello back!")
20mainProc : Process String ()
20mainProc : Process String ()