view tests/spawn.ur @ 1249:7c6fc92f6c31

Complain about DValRec; optimizations for unit-valued ECase and forgetting of path conditions across ESeq
author Adam Chlipala <adamc@hcoop.net>
date Thu, 29 Apr 2010 11:47:24 -0400
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>