From 535d72045b35d01cf4513af273262c3c50c219fe Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 21 Aug 2008 16:00:01 -0400
Subject: LIMIT

---
 lib/basis.lig | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'lib')

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}}
-- 
cgit v1.2.3