Mercurial > urweb
annotate demo/tree.ur @ 469:b393c2fc80f8
About to begin optimization of recursive transaction functions
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 06 Nov 2008 17:09:53 -0500 |
| parents | |
| children | 20fab0e96217 |
| rev | line source |
|---|---|
| adamc@469 | 1 table t : { Id : int, Parent : option int, Nam : string } |
| adamc@469 | 2 |
| adamc@469 | 3 open TreeFun.Make(struct |
| adamc@469 | 4 val tab = t |
| adamc@469 | 5 end) |
| adamc@469 | 6 |
| adamc@469 | 7 fun row r = <xml> |
| adamc@469 | 8 #{[r.Id]}: {[r.Nam]} |
| adamc@469 | 9 </xml> |
| adamc@469 | 10 |
| adamc@469 | 11 fun main () = |
| adamc@469 | 12 xml <- tree row None; |
| adamc@469 | 13 return <xml><body> |
| adamc@469 | 14 {xml} |
| adamc@469 | 15 </body></xml> |