annotate tests/rpcNested.ur @ 1865:5144e03ef603

Potentially exponential search through where to head-normalize in [decompileCon]
author Adam Chlipala <adam@chlipala.net>
date Mon, 19 Aug 2013 12:38:43 -0400
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>