diff src/settings.sml @ 1777:59b07fdae1ff

Partitioning and ordering for window functions
author Adam Chlipala <adam@chlipala.net>
date Sat, 02 Jun 2012 16:47:09 -0400
parents e9587120831a
children 818d4097e2ed
line wrap: on
line diff
--- a/src/settings.sml	Sat Jun 02 16:00:50 2012 -0400
+++ b/src/settings.sml	Sat Jun 02 16:47:09 2012 -0400
@@ -537,7 +537,8 @@
      trueString : string,
      falseString : string,
      onlyUnion : bool,
-     nestedRelops : bool
+     nestedRelops : bool,
+     windowFunctions : bool
 }
 
 val dbmses = ref ([] : dbms list)
@@ -568,7 +569,8 @@
                   trueString = "",
                   falseString = "",
                   onlyUnion = false,
-                  nestedRelops = false} : dbms)
+                  nestedRelops = false,
+                  windowFunctions = false} : dbms)
 
 fun addDbms v = dbmses := v :: !dbmses
 fun setDbms s =