diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-06-02 16:47:09 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-06-02 16:47:09 -0400 |
| commit | 858481a426ea3873440c3bed30eb563f8cf3480e (patch) | |
| tree | 16d85bb575a9248e5c830e757a822240f8fa04ff /src/settings.sml | |
| parent | 8b6941ac380392e36a30a06fb558c47a8fe7d2d8 (diff) | |
Partitioning and ordering for window functions
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 6 |
1 files changed, 4 insertions, 2 deletions
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 = |