From ecb92d9539880cc59a371c786af5312b833ff8ca Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 2 Jun 2012 16:47:09 -0400
Subject: Partitioning and ordering for window functions

---
 src/settings.sml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index 246be88b..3b89ce46 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -537,7 +537,8 @@ type dbms = {
      trueString : string,
      falseString : string,
      onlyUnion : bool,
-     nestedRelops : bool
+     nestedRelops : bool,
+     windowFunctions : bool
 }
 
 val dbmses = ref ([] : dbms list)
@@ -568,7 +569,8 @@ val curDb = ref ({name = "",
                   trueString = "",
                   falseString = "",
                   onlyUnion = false,
-                  nestedRelops = false} : dbms)
+                  nestedRelops = false,
+                  windowFunctions = false} : dbms)
 
 fun addDbms v = dbmses := v :: !dbmses
 fun setDbms s =
-- 
cgit v1.2.3