view 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
line wrap: on
line source
table t : { Id : int, Parent : option int, Nam : string }

open TreeFun.Make(struct
                      val tab = t
                  end)

fun row r = <xml>
  #{[r.Id]}: {[r.Nam]}
</xml>

fun main () =
    xml <- tree row None;
    return <xml><body>
      {xml}
    </body></xml>