Mercurial > urweb
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> |