From 568d06a9fcd0adbb173bd15cdbaf044d6b536176 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 22 Mar 2009 15:16:34 -0400 Subject: Press a button to send a message --- tests/channel.ur | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'tests/channel.ur') diff --git a/tests/channel.ur b/tests/channel.ur index 2ea89e87..6b98f5d7 100644 --- a/tests/channel.ur +++ b/tests/channel.ur @@ -4,8 +4,11 @@ fun main () : transaction page = fun onload () = subscribe ch; send ch "Hello world!" + + fun haveAnother () = + send ch "Here's another." in return - +