diff tests/channel.ur @ 670:f73913d97a40

Proper recv
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 16:03:45 -0400
parents f68eee90dbcf
children
line wrap: on
line diff
--- a/tests/channel.ur	Sun Mar 22 15:16:34 2009 -0400
+++ b/tests/channel.ur	Sun Mar 22 16:03:45 2009 -0400
@@ -1,10 +1,19 @@
 fun main () : transaction page =
     ch <- channel;
     let
-        fun onload () =
+        fun make () =
             subscribe ch;
             send ch "Hello world!"
 
+        fun echo () =
+            msg <- recv ch;
+            alert(msg);
+            echo ()
+
+        fun onload () =
+            make ();
+            echo ()
+
         fun haveAnother () =
             send ch "Here's another."
     in