summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-01 17:21:16 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-01 17:21:16 -0400
commit0711137eb49ee22f30f8201d90f1a594f7d0b190 (patch)
tree640b653b8f73d907847dbf5887f47484ce9f0255 /src/settings.sml
parentcac2d6fee4af04686a9c39750e306140a0369f4c (diff)
Relational operators portability
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 97c16675..b9056c5b 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -383,7 +383,9 @@ type dbms = {
sqlPrefix : string,
supportsOctetLength : bool,
trueString : string,
- falseString : string
+ falseString : string,
+ onlyUnion : bool,
+ nestedRelops : bool
}
val dbmses = ref ([] : dbms list)
@@ -411,7 +413,9 @@ val curDb = ref ({name = "",
sqlPrefix = "",
supportsOctetLength = false,
trueString = "",
- falseString = ""} : dbms)
+ falseString = "",
+ onlyUnion = false,
+ nestedRelops = false} : dbms)
fun addDbms v = dbmses := v :: !dbmses
fun setDbms s =