Mercurial > urweb

comparison demo/more/dbgrid.ur @ 1488:e2611b5dafce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update demo/more for simplified implicit arguments
author Adam Chlipala <adam@chlipala.net>
date Wed, 06 Jul 2011 09:22:08 -0400
parents f0afe61a6f8b
children 9253765d7724
comparison
equal deleted inserted replaced
1487:290de2dcecf6 1488:e2611b5dafce
401 [fn key => rest :: {Type} -> [rest ~ key] => sql_exp [T = key ++ rest] [] [] bool] 401 [fn key => rest :: {Type} -> [rest ~ key] => sql_exp [T = key ++ rest] [] [] bool]
402 (fn [nm :: Name] [t :: Type] [key :: {Type}] [[nm] ~ key] 402 (fn [nm :: Name] [t :: Type] [key :: {Type}] [[nm] ~ key]
403 (meta : rawMeta t) (v : t) 403 (meta : rawMeta t) (v : t)
404 (exp : rest :: {Type} -> [rest ~ key] => sql_exp [T = key ++ rest] [] [] bool) 404 (exp : rest :: {Type} -> [rest ~ key] => sql_exp [T = key ++ rest] [] [] bool)
405 [rest :: {Type}] [rest ~ [nm = t] ++ key] => 405 [rest :: {Type}] [rest ~ [nm = t] ++ key] =>
406 (WHERE T.{nm} = {@sql_inject meta.Inj v} AND {exp [[nm = t] ++ rest] !})) 406 (WHERE T.{nm} = {@sql_inject meta.Inj v} AND {exp [[nm = t] ++ rest]}))
407 (fn [rest :: {Type}] [rest ~ []] => (WHERE TRUE)) 407 (fn [rest :: {Type}] [rest ~ []] => (WHERE TRUE))
408 M.keyFolder (M.raw --- map rawMeta M.row) r 408 M.keyFolder (M.raw --- map rawMeta M.row) r
409 [_] ! 409 [_] !
410 410
411 fun save key row = 411 fun save key row =