annotate tests/channel.ur @ 2237:e79ef5792c8b

Fix bug in redundancy checking and use finer formula for UPDATE statements.
author Ziv Scully <ziv@mit.edu>
date Sun, 05 Jul 2015 23:57:28 -0700
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