diff tests/channel.ur @ 668:b0c1a46b1f15

First message send delivered, but not interpreted
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 15:05:07 -0400
parents
children f68eee90dbcf
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/channel.ur	Sun Mar 22 15:05:07 2009 -0400
@@ -0,0 +1,11 @@
+fun main () : transaction page =
+    ch <- channel;
+    let
+        fun onload () =
+            subscribe ch;
+            send ch "Hello world!"
+    in
+        return <xml><body onload={onload ()}>
+
+        </body></xml>
+    end