Mercurial > urweb
annotate tests/rpcNested.ur @ 2140:2b0f6b7ebf4f
Add urweb-mode command to close current XML tag
Bound to "C-c /" by default to match nxml-mode's nxml-finish-element
command.
| author | Julian Squires <julian@cipht.net> |
|---|---|
| date | Mon, 04 May 2015 16:15:01 -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> |