Ur/Web: tests/channel.ur annotate

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

rev	line source
adamc@668	1 fun main () : transaction page =
adamc@668	2 ch <- channel;
adamc@668	3 let
adamc@668	4 fun onload () =
adamc@668	5 subscribe ch;
adamc@668	6 send ch "Hello world!"
adamc@669	7
adamc@669	8 fun haveAnother () =
adamc@669	9 send ch "Here's another."
adamc@668	10 in
adamc@668	11 return <xml><body onload={onload ()}>
adamc@669	12 <button value="Another?" onclick={haveAnother ()}/>
adamc@668	13 </body></xml>
adamc@668	14 end

Mercurial > urweb