diff 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 diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/tree.ur	Thu Nov 06 17:09:53 2008 -0500
@@ -0,0 +1,15 @@
+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>