diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-12 11:56:10 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-12 11:56:10 -0400 |
| commit | a7ec41ffd3043f91b25996f8da34d7533394348d (patch) | |
| tree | ecfd36463e7ff4e02da39fe9d5249a56d2bbe33b /lib/ur/basis.urs | |
| parent | daeb6356944c37fceb2325ab28e696200d7d0988 (diff) | |
Update old Ur/Web library section, before adding new stuff
Diffstat (limited to 'lib/ur/basis.urs')
| -rw-r--r-- | lib/ur/basis.urs | 4 |
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 |