changeset 1488:e2611b5dafce

Update demo/more for simplified implicit arguments
author Adam Chlipala <adam@chlipala.net>
date Wed, 06 Jul 2011 09:22:08 -0400
parents 290de2dcecf6
children 4437b008e0ab
files demo/more/dbgrid.ur demo/more/orm.ur demo/more/versioned.ur
diffstat 3 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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
                           [_] !
--- 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)]] !
--- 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
          [_] !