diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-18 14:17:45 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-18 14:17:45 -0500 |
| commit | 39cd3aba26129807a15ccc29bb9f71e2537c4551 (patch) | |
| tree | a234fad234187fc2eb74166ebdcd4e810bf60d30 /tests/roundTrip.ur | |
| parent | 496433cdd2f108b483e4762776dfe1305c466eee (diff) | |
Change tasks to support parametric code; add clientLeaves
Diffstat (limited to 'tests/roundTrip.ur')
| -rw-r--r-- | tests/roundTrip.ur | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/tests/roundTrip.ur b/tests/roundTrip.ur index d22b2d41..0ee3f8f7 100644 --- a/tests/roundTrip.ur +++ b/tests/roundTrip.ur @@ -1,12 +1,18 @@ table channels : { Client : client, Channel : channel (string * int * float) } PRIMARY KEY Client +table dearlyDeparted : { Client : option client, When : time } + +task clientLeaves = fn cli : client => + dml (INSERT INTO dearlyDeparted (Client, When) VALUES ({[Some cli]}, CURRENT_TIMESTAMP)); + debug "Our favorite client has LEFT!" + fun writeBack v = me <- self; r <- oneRow (SELECT channels.Channel FROM channels WHERE channels.Client = {[me]}); send r.Channels.Channel v -fun main () = +fun main' () = me <- self; ch <- channel; dml (INSERT INTO channels (Client, Channel) VALUES ({[me]}, {[ch]})); @@ -27,7 +33,7 @@ fun main () = fun sender s n f = sleep 2000; - writeBack (s, n, f); + rpc (writeBack (s, n, f)); sender (s ^ "!") (n + 1) (f + 1.23) in return <xml><body onload={onDisconnect (alert "Server booted me"); @@ -37,3 +43,5 @@ fun main () = <dyn signal={Buffer.render buf}/> </body></xml> end + +fun main () = return <xml><body><form><submit action={main'}/></form></body></xml> |