diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-21 16:00:01 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-21 16:00:01 -0400 |
| commit | 535d72045b35d01cf4513af273262c3c50c219fe (patch) | |
| tree | aca827d739a146f42091ceb29e614392b63c561a /lib | |
| parent | 5334dee9b387e718de785ee8578219d854755002 (diff) | |
LIMIT
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 863debcb..3b77a1af 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -60,10 +60,15 @@ val sql_order_by_Cons : tables ::: {{Type}} -> t ::: Type -> sql_exp tables [] t -> sql_order_by tables -> sql_order_by tables +type sql_limit +val sql_no_limit : sql_limit +val sql_limit : int -> sql_limit + val sql_query : tables ::: {{Type}} -> selected ::: {{Type}} -> {Rows : sql_query1 tables selected, - OrderBy : sql_order_by tables} + OrderBy : sql_order_by tables, + Limit : sql_limit} -> sql_query selected val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}} |