view tests/spawn.ur @ 1906:0d2fdc2cc46c

Allow building in a separate build directory Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 30 +++--- src/c/Makefile.am | 2 +- src/compiler.mlb | 2 +- src/sources | 302 +++++++++++++++++++++++++++--------------------------- 4 files changed, 168 insertions(+), 168 deletions(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 7ea0df9e56b6
children
line wrap: on
line source
table t : {A : int, Ch : channel string}

fun listener n ch =
    s <- recv ch;
    alert (show n ^ ": " ^ s);
    listener n ch

fun speak id msg =
    r <- oneRow (SELECT t.Ch FROM t WHERE t.A = {[id]});
    send r.T.Ch msg

fun main () : transaction page =
    ch1 <- channel;
    dml (INSERT INTO t (A, Ch) VALUES (1, {[ch1]}));
    ch2 <- channel;
    dml (INSERT INTO t (A, Ch) VALUES (2, {[ch2]}));

    s1 <- source "";
    s2 <- source "";

    return <xml><body onload={spawn (listener 1 ch1); spawn (listener 2 ch2)}>
      1: <ctextbox source={s1}/><button onclick={msg <- get s1; speak 1 msg}/><br/>
      2: <ctextbox source={s2}/><button onclick={msg <- get s2; speak 2 msg}/>
    </body></xml>