summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-03-12 11:56:10 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-03-12 11:56:10 -0400
commita7ec41ffd3043f91b25996f8da34d7533394348d (patch)
treeecfd36463e7ff4e02da39fe9d5249a56d2bbe33b /lib/ur/basis.urs
parentdaeb6356944c37fceb2325ab28e696200d7d0988 (diff)
Update old Ur/Web library section, before adding new stuff
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index c2a55168..e4bff8a9 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -128,12 +128,12 @@ val sql_query1 : tables ::: {{Type}}
-> grouped ::: {{Type}}
-> selectedFields ::: {{Type}}
-> selectedExps ::: {Type}
- -> {From : $(map (fn fields :: {Type} => sql_table fields) tables),
+ -> {From : $(map sql_table tables),
Where : sql_exp tables [] [] bool,
GroupBy : sql_subset tables grouped,
Having : sql_exp grouped tables [] bool,
SelectFields : sql_subset grouped selectedFields,
- SelectExps : $(map (fn (t :: Type) => sql_exp grouped tables [] t) selectedExps) }
+ SelectExps : $(map (sql_exp grouped tables []) selectedExps) }
-> sql_query1 tables selectedFields selectedExps
type sql_relop