summaryrefslogtreecommitdiff
path: root/src/mysql.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/mysql.sml
parentcac2d6fee4af04686a9c39750e306140a0369f4c (diff)
Relational operators portability
Diffstat (limited to 'src/mysql.sml')
-rw-r--r--src/mysql.sml4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/mysql.sml b/src/mysql.sml
index b894bfac..fa49ced3 100644
--- a/src/mysql.sml
+++ b/src/mysql.sml
@@ -1544,6 +1544,8 @@ val () = addDbms {name = "mysql",
sqlPrefix = "SET storage_engine=InnoDB;\n\n",
supportsOctetLength = true,
trueString = "TRUE",
- falseString = "FALSE"}
+ falseString = "FALSE",
+ onlyUnion = true,
+ nestedRelops = false}
end