Hsmmaelstrom Verified
handler :: Node -> IO () handler node = forever $ do req <- receive node :: IO EchoRequest reply node (EchoResponse (msg_id req) "echo_ok" (echo req))
We assume:
handler :: Node -> IO () handler node = forever $ do req <- receive node :: IO EchoRequest reply node (EchoResponse (msg_id req) "echo_ok" (echo req))
We assume: