From 14fbe79a3735e547f03cd8e95ca925fbdbb1841a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 14 Aug 2008 13:59:11 -0400
Subject: Parsing the simplest SQL query

---
 lib/basis.lig | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'lib')

diff --git a/lib/basis.lig b/lib/basis.lig
index b721f775..a7cfd276 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -11,6 +11,15 @@ datatype bool = False | True
 
 con sql_table :: {Type} -> Type
 
+(*** Queries *)
+
+con sql_query :: {{Type}} -> Type
+
+val sql_query : tables ::: {{Type}}
+        -> $(fold (fn nm => fn ts => fn acc => [nm] ~ acc =>
+                [nm = sql_table ts] ++ acc) [] tables)
+        -> sql_query tables
+
 
 (** XML *)
 
@@ -41,6 +50,8 @@ val useMore : ctx ::: {Unit} -> use1 ::: {Type} -> use2 ::: {Type} -> bind ::: {
 con xhtml = xml [Html]
 con page = xhtml [] []
 
+(*** HTML details *)
+
 con html = [Html]
 con head = [Head]
 con body = [Body]
-- 
cgit v1.2.3