Ur/Web: tests/channel.ur annotate

Generating a good Iflow condition for a test query

author	Adam Chlipala <adamc@hcoop.net>
date	Sun, 04 Apr 2010 15:17:57 -0400
parents	f73913d97a40
children

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

Mercurial > urweb