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 | 24b68e6d7408f50023272e765687eab777596363 (patch) | |
| tree | 36109508292ec57f01529ab31699ed8837d3f0c8 /demo/treeFun.ur | |
| parent | dd4d718ac9f0a9862ebef19beb568bbedcc85848 (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> |