diff src/settings.sig @ 1777:59b07fdae1ff

Partitioning and ordering for window functions
author Adam Chlipala <adam@chlipala.net>
date Sat, 02 Jun 2012 16:47:09 -0400
parents 675ce534e3ec
children 3d922a28370b
line wrap: on
line diff
--- a/src/settings.sig	Sat Jun 02 16:00:50 2012 -0400
+++ b/src/settings.sig	Sat Jun 02 16:47:09 2012 -0400
@@ -199,7 +199,8 @@
          trueString : string,
          falseString : string,
          onlyUnion : bool,
-         nestedRelops : bool
+         nestedRelops : bool,
+         windowFunctions : bool
     }
 
     val addDbms : dbms -> unit