on master help sign in
Fixed lack of renaming of `lift` to `Lift` in test
commit5a257a49e52646ee9341d204a70ce47ba2bb01d6 authorAhmad Salim Al-Sibahi <asal@itu.dk> dateFri 26 Sep 2014, 16:58 (12 years ago) parentb2fb9d0
1 file changed+5−5
test/io003/test018a.idr+5−5
test/io003/test018a.idr+5−5
@@ -4,17 +4,17 @@ import System.Concurrency.Process
44
55ping : ProcID String -> ProcID String -> Process String ()
66ping main proc
7− = do lift (usleep 1000)
7+ = do Lift (usleep 1000)
88 send proc "Hello!"
9− lift (putStrLn "Sent ping")
9+ Lift (putStrLn "Sent ping")
1010 msg <- recv
11− lift (putStrLn ("Reply: " ++ show msg))
11+ Lift (putStrLn ("Reply: " ++ show msg))
1212 send main "Done"
1313
1414pong : Process String ()
15−pong = do -- lift (putStrLn "Waiting for message")
15+pong = do -- Lift (putStrLn "Waiting for message")
1616 (sender, m) <- recvWithSender
17− lift $ putStrLn ("Received " ++ m)
17+ Lift $ putStrLn ("Received " ++ m)
1818 send sender ("Hello back!")
1919
2020mainProc : Process String ()