Mercurial > urweb
view tests/rpchan.ur @ 2243:da7d026d1a94
Fix possible formula simplification bug with extra formula' type.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Mon, 20 Jul 2015 19:49:13 -0700 |
parents | 3dd041b00087 |
children |
line wrap: on
line source
fun remote () = ch <- channel; send ch "Hello World!"; return ch fun remoter () = ch <- channel; send ch "Hello World!"; return <xml><active code={spawn (s <- recv ch; alert s); return <xml/>}/></xml> fun main () = x <- source <xml/>; return <xml><body> <button onclick={fn _ => ch <- rpc (remote ()); s <- recv ch; alert s}>TEST</button> <button onclick={fn _ => y <- rpc (remoter ()); set x y}>TESTER</button> <hr/> <dyn signal={signal x}/> </body></xml>