Mercurial > urweb
view tests/rpchan.ur @ 2201:1091227f535a
Unnest properly in presence of kind polymorphism
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 20 Dec 2015 13:41:35 -0500 |
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>