annotate tests/rpcNested.ur @ 1632:4682b312e9d5

Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript
author Adam Chlipala <adam@chlipala.net>
date Sun, 04 Dec 2011 16:32:06 -0500
parents 133c71008bef
children
rev   line source
adam@1546 1 datatype node
adam@1546 2 = Node of
adam@1546 3 { Label : string
adam@1546 4 , SubForest : list node
adam@1546 5 }
adam@1546 6
adam@1546 7 fun getNode () : transaction node =
adam@1546 8 return (Node { Label = "foo", SubForest = [] })
adam@1546 9
adam@1546 10 fun main () : transaction page = return <xml><body>
adam@1546 11 <button onclick={
adam@1546 12 n <- rpc (getNode ());
adam@1546 13 case n of
adam@1546 14 Node {Label = l, ...} => alert ("l = " ^ l)
adam@1546 15 }/>
adam@1546 16 </body></xml>