diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-08-24 11:43:49 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-08-24 11:43:49 -0400 |
commit | 12dfc3678d66bc5d04ef59f00e3af5a37add1ac0 (patch) | |
tree | cfd3d52195dfbd2eaf4530ca33e72d7adaa4b77d /tests/DynChannel.ur | |
parent | d04c48b573d36ee7a04ea1b44ec95f79f6a07b6a (diff) |
Extend ScriptCheck to take RPCs into account
Diffstat (limited to 'tests/DynChannel.ur')
-rw-r--r-- | tests/DynChannel.ur | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/tests/DynChannel.ur b/tests/DynChannel.ur new file mode 100644 index 00000000..d3688781 --- /dev/null +++ b/tests/DynChannel.ur @@ -0,0 +1,29 @@ +table channels : {Id : int, Channel:channel xbody} + +fun dosend (s:string) : transaction unit = + c <- oneRow1 (SELECT * FROM channels); + debug ("Sending " ^ s ^ " through the channel..."); + send c.Channel <xml>{[s]}</xml> + +fun mkchannel {} : transaction xbody = + c <- channel; + s <- source <xml/>; + dml( DELETE FROM channels WHERE Id >= 0); + dml( INSERT INTO channels(Id, Channel) VALUES(0, {[c]}) ); + return <xml> + <button value="Send" onclick={fn _ => rpc(dosend "blabla")}/> + <active code={spawn(x <- recv c; alert ("Got something from the channel"); set s x); return <xml/>}/> + <dyn signal={signal s}/> + </xml> + +fun main {} : transaction page = + s <- source <xml/>; + return <xml> + <head/> + <body> + <button value="Register" onclick={fn _ => + x <- rpc(mkchannel {}); set s x + }/> + <dyn signal={signal s}/> + </body> + </xml> |