diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-06 19:43:48 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-06 19:43:48 -0500 |
| commit | 50e456effc2cad22d6a61e08887816096c427658 (patch) | |
| tree | 36109508292ec57f01529ab31699ed8837d3f0c8 /demo/treeFun.ur | |
| parent | 3af6c283c504e7e85d9e127f64a5eb72abe583ee (diff) | |
Tree demo working (and other assorted regressions fixed)
Diffstat (limited to 'demo/treeFun.ur')
| -rw-r--r-- | demo/treeFun.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/treeFun.ur b/demo/treeFun.ur index 236f354c..15fe60f5 100644 --- a/demo/treeFun.ur +++ b/demo/treeFun.ur @@ -18,7 +18,7 @@ functor Make(M : sig (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> |