annotate tests/rpcNested.ur @ 1591:20f898c29525

Tweaks to choices of source positions to use in error messages, including for subSgn
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 13:12:07 -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>