annotate tests/channel.ur @ 668:b0c1a46b1f15

First message send delivered, but not interpreted
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 15:05:07 -0400
parents
children f68eee90dbcf
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@668 7 in
adamc@668 8 return <xml><body onload={onload ()}>
adamc@668 9
adamc@668 10 </body></xml>
adamc@668 11 end