Mercurial > urweb
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 =