view 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
line wrap: on
line source
fun main () : transaction page =
    ch <- channel;
    let
        fun onload () =
            subscribe ch;
            send ch "Hello world!"
    in
        return <xml><body onload={onload ()}>

        </body></xml>
    end