comparison 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
comparison
equal deleted inserted replaced
468:4efab85405be 469:b393c2fc80f8
1 table t : { Id : int, Parent : option int, Nam : string }
2
3 open TreeFun.Make(struct
4 val tab = t
5 end)
6
7 fun row r = <xml>
8 #{[r.Id]}: {[r.Nam]}
9 </xml>
10
11 fun main () =
12 xml <- tree row None;
13 return <xml><body>
14 {xml}
15 </body></xml>