# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1219340838 14400
# Node ID 5ac2cf59b839fe677af10b980b1f2d6718db25c7
# Parent  cb8a68964ebba3c029b0bcb1806c6cc2873f7f6e
Change [sql_field] type to get 'where' test to check again

diff -r cb8a68964ebb -r 5ac2cf59b839 lib/basis.lig
--- 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
diff -r cb8a68964ebb -r 5ac2cf59b839 src/lacweb.grm
--- a/src/lacweb.grm	Thu Aug 21 12:54:09 2008 -0400
+++ b/src/lacweb.grm	Thu Aug 21 13:47:18 2008 -0400
@@ -645,11 +645,6 @@
                                                                      loc))
 
                                              val e = (EVar (["Basis"], "sql_query"), loc)
-                                             val _ = [((CName "GroupBy", loc),
-                                                       (ECApp ((EVar (["Basis"], "sql_subset_all"), loc),
-                                                               (CWild (KRecord (KType, loc), loc), loc)), loc)),
-                                                      ((CName "Having", loc),
-                                                       hopt)]
                                              val re = (ERecord [((CName "From", loc),
                                                                  (ERecord tables, loc)),
                                                                 ((CName "Where", loc),