diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-07-06 09:22:08 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-07-06 09:22:08 -0400 |
commit | 621c0f86d459d2e50a5c167e7c114697d6178914 (patch) | |
tree | c69a0fb175713aedd70a0b191c6849d7dc0942b9 /demo/more/dbgrid.ur | |
parent | a15fb9e7b0144368daa168babb283a664118e87f (diff) |
Update demo/more for simplified implicit arguments
Diffstat (limited to 'demo/more/dbgrid.ur')
-rw-r--r-- | demo/more/dbgrid.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/more/dbgrid.ur b/demo/more/dbgrid.ur index 43ad7725..d29b6a1f 100644 --- a/demo/more/dbgrid.ur +++ b/demo/more/dbgrid.ur @@ -403,7 +403,7 @@ functor Make(M : sig (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 [_] ! |