Mercurial > urweb
diff lib/basis.lig @ 225:5ac2cf59b839
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 |
line wrap: on
line diff
--- a/lib/basis.lig Thu Aug 21 12:54:09 2008 -0400 +++ b/lib/basis.lig Thu Aug 21 13:47:18 2008 -0400 @@ -39,9 +39,8 @@ SelectFields : sql_subset grouped selected} -> sql_query selected -val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type +val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}} -> tab :: Name -> field :: Name - -> agg ::: {{Type}} -> sql_exp ([tab = [field = fieldType] ++ otherFields] ++ otherTabs) agg fieldType class sql_injectable