From 71e2a7c3c0fd3cbf7e472e85b491ed890fe5976c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 21 Aug 2008 13:47:18 -0400
Subject: Change [sql_field] type to get 'where' test to check again

---
 lib/basis.lig | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'lib/basis.lig')

diff --git a/lib/basis.lig b/lib/basis.lig
index 099caab8..7b6f0917 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -39,9 +39,8 @@ val sql_query : tables ::: {{Type}}
             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
-- 
cgit v1.2.3