Mercurial > urweb

diff lib/basis.lig @ 231:eadeea528f75

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LIMIT
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 16:00:01 -0400
parents 87d41ac28b30
children a338da9d82f3
line wrap: on
line diff
--- a/lib/basis.lig	Thu Aug 21 15:50:08 2008 -0400
+++ b/lib/basis.lig	Thu Aug 21 16:00:01 2008 -0400
@@ -60,10 +60,15 @@
         -> 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}}