diff demo/treeFun.ur @ 471:20fab0e96217

Tree demo working (and other assorted regressions fixed)
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 19:43:48 -0500
parents 7cb418e9714f
children 1fb318c17546
line wrap: on
line diff
--- a/demo/treeFun.ur	Thu Nov 06 18:49:38 2008 -0500
+++ b/demo/treeFun.ur	Thu Nov 06 19:43:48 2008 -0500
@@ -18,7 +18,7 @@
              (root : option M.key) =
         let
             fun recurse (root : option key) =
-                queryX' (SELECT * FROM tab WHERE {[eqNullable' (SQL tab.{parent}) root]})
+                queryX' (SELECT * FROM tab WHERE {eqNullable' (SQL tab.{parent}) root})
                         (fn r =>
                             children <- recurse (Some r.Tab.id);
                             return <xml>