tests/rpcList2.ur


1
2
3
4
5
6
7

fun rpcFunc l : transaction {} = return ()

fun main () : transaction page = return <xml><body>
  <button onclick={
    rpc (rpcFunc (("" :: []) :: []))
  }/>
  </body></xml>