Mercurial > urweb

comparison lib/basis.lig @ 225:5ac2cf59b839

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change [sql_field] type to get 'where' test to check again
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 13:47:18 -0400
parents cb8a68964ebb
children 016d71e878c1
comparison
equal deleted inserted replaced
224:cb8a68964ebb 225:5ac2cf59b839
37 GroupBy : sql_subset tables grouped, 37 GroupBy : sql_subset tables grouped,
38 Having : sql_exp grouped tables bool, 38 Having : sql_exp grouped tables bool,
39 SelectFields : sql_subset grouped selected} 39 SelectFields : sql_subset grouped selected}
40 -> sql_query selected 40 -> sql_query selected
41 41
42 val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type 42 val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}}
43 -> tab :: Name -> field :: Name 43 -> tab :: Name -> field :: Name
44 -> agg ::: {{Type}}
45 -> sql_exp ([tab = [field = fieldType] ++ otherFields] ++ otherTabs) agg fieldType 44 -> sql_exp ([tab = [field = fieldType] ++ otherFields] ++ otherTabs) agg fieldType
46 45
47 class sql_injectable 46 class sql_injectable
48 val sql_bool : sql_injectable bool 47 val sql_bool : sql_injectable bool
49 val sql_int : sql_injectable int 48 val sql_int : sql_injectable int