diff tests/channel.ur @ 669:f68eee90dbcf

Press a button to send a message
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 15:16:34 -0400
parents b0c1a46b1f15
children f73913d97a40
line wrap: on
line diff
--- a/tests/channel.ur	Sun Mar 22 15:05:07 2009 -0400
+++ b/tests/channel.ur	Sun Mar 22 15:16:34 2009 -0400
@@ -4,8 +4,11 @@
         fun onload () =
             subscribe ch;
             send ch "Hello world!"
+
+        fun haveAnother () =
+            send ch "Here's another."
     in
         return <xml><body onload={onload ()}>
-
+          <button value="Another?" onclick={haveAnother ()}/>
         </body></xml>
     end