From b1516ed386ca303a526959586f0a06564ca77bb0 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Tue, 27 May 2014 21:14:13 -0400
Subject: Finishes initial prototype, caching parameterless pages with
 table-match-based invalidation. Still has problems parsing non-Postgres SQL
 dialects properly.

---
 src/sql.sig | 22 +++++++++++++++++-----
 1 file changed, 17 insertions(+), 5 deletions(-)

(limited to 'src/sql.sig')

diff --git a/src/sql.sig b/src/sql.sig
index 540844c3..573a8baf 100644
--- a/src/sql.sig
+++ b/src/sql.sig
@@ -1,10 +1,8 @@
 signature SQL = sig
 
-val fu : Mono.file -> unit
-
 val debug : bool ref
 
-type lvar
+type lvar = int
 
 datatype func =
          DtCon0 of string
@@ -41,7 +39,13 @@ datatype prop =
        | Reln of reln * exp list
        | Cond of exp * prop
 
-datatype ('a, 'b) sum = inl of 'a | inr of 'b
+datatype chunk =
+         String of string
+       | Exp of Mono.exp
+
+type 'a parser = chunk list -> ('a * chunk list) option
+
+val parse : 'a parser -> Mono.exp -> 'a option
 
 datatype Rel =
          Exps of exp * exp -> prop
@@ -61,19 +65,27 @@ datatype sqexp =
        | Unmodeled
        | Null
 
+datatype ('a,'b) sum = inl of 'a | inr of 'b
+
 datatype sitem =
          SqField of string * string
        | SqExp of sqexp * string
 
-type query1
+type query1 = {Select : sitem list,
+              From : (string * string) list,
+              Where : sqexp option}
 
 datatype query =
          Query1 of query1
        | Union of query * query
 
+val query : query parser
+
 datatype dml =
          Insert of string * (string * sqexp) list
        | Delete of string * sqexp
        | Update of string * (string * sqexp) list * sqexp
 
+val dml : dml parser
+
 end
-- 
cgit v1.2.3