# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1309958528 14400
# Node ID e2611b5dafcedf2f2e6efd6f361320f15de6abb0
# Parent  290de2dcecf6a8468808bbc208d61c0ba7641fec
Update demo/more for simplified implicit arguments

diff -r 290de2dcecf6 -r e2611b5dafce demo/more/dbgrid.ur
--- a/demo/more/dbgrid.ur	Wed Jul 06 08:35:31 2011 -0400
+++ b/demo/more/dbgrid.ur	Wed Jul 06 09:22:08 2011 -0400
@@ -403,7 +403,7 @@
                                            (meta : rawMeta t) (v : t)
                                            (exp : rest :: {Type} -> [rest ~ key] => sql_exp [T = key ++ rest] [] [] bool)
                                            [rest :: {Type}] [rest ~ [nm = t] ++ key] =>
-                              (WHERE T.{nm} = {@sql_inject meta.Inj v} AND {exp [[nm = t] ++ rest] !}))
+                              (WHERE T.{nm} = {@sql_inject meta.Inj v} AND {exp [[nm = t] ++ rest]}))
                           (fn [rest :: {Type}] [rest ~ []] => (WHERE TRUE))
                           M.keyFolder (M.raw --- map rawMeta M.row) r
                           [_] !
diff -r 290de2dcecf6 -r e2611b5dafce demo/more/orm.ur
--- a/demo/more/orm.ur	Wed Jul 06 08:35:31 2011 -0400
+++ b/demo/more/orm.ur	Wed Jul 06 09:22:08 2011 -0400
@@ -70,7 +70,7 @@
                     {nm = {Col = {Exp = sql_field [#T] [nm],
                                   Inj = meta.Inj},
                            Parent = fn r => meta.Link r.nm}}
-                        ++ acc [[nm = ts] ++ after] !)
+                        ++ acc [[nm = ts] ++ after])
                 (fn [after :: {(Type * Type)}] [[] ~ after] => {})
                 M.folder M.cols
                 [[Id = (id, row)]] !
diff -r 290de2dcecf6 -r e2611b5dafce demo/more/versioned.ur
--- a/demo/more/versioned.ur	Wed Jul 06 08:35:31 2011 -0400
+++ b/demo/more/versioned.ur	Wed Jul 06 09:22:08 2011 -0400
@@ -47,7 +47,7 @@
                           (e : after :: {Type} -> [before ~ after]
                            => sql_exp [T = before ++ after] [] [] bool)
                           [after :: {Type}] [[nm = t] ++ before ~ after] =>
-             (SQL t.{nm} = {[v]} AND {e [[nm = t] ++ after] !}))
+             (SQL t.{nm} = {[v]} AND {e [[nm = t] ++ after]}))
          (fn [after :: {Type}] [[] ~ after] => (SQL TRUE))
          M.keyFolder M.key r
          [_] !