view tests/channel.ur @ 1422:07ef5771568d

Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Feb 2011 16:54:01 -0500
parents f73913d97a40
children
line wrap: on
line source
fun main () : transaction page =
    ch <- channel;
    let
        fun make () =
            subscribe ch;
            send ch "Hello world!"

        fun echo () =
            msg <- recv ch;
            alert(msg);
            echo ()

        fun onload () =
            make ();
            echo ()

        fun haveAnother () =
            send ch "Here's another."
    in
        return <xml><body onload={onload ()}>
          <button value="Another?" onclick={haveAnother ()}/>
        </body></xml>
    end