summaryrefslogtreecommitdiff
path: root/src/mysql.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2016-03-12 20:44:00 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2016-03-12 20:44:00 -0500
commiteb715ea49f6d74f5ac7b7f2967f4a86c4db0a75f (patch)
tree298f93f0f26637aad030342331c31bf8e4fd5d95 /src/mysql.sml
parentce046247973013fe5dbcf3c18dd3aba889155c6c (diff)
Use IS NOT DISTINCT FROM; improve Sql parser
Diffstat (limited to 'src/mysql.sml')
-rw-r--r--src/mysql.sml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/mysql.sml b/src/mysql.sml
index 692be0a2..539428f6 100644
--- a/src/mysql.sml
+++ b/src/mysql.sml
@@ -1608,6 +1608,7 @@ val () = addDbms {name = "mysql",
falseString = "FALSE",
onlyUnion = true,
nestedRelops = false,
- windowFunctions = false}
+ windowFunctions = false,
+ supportsIsDistinctFrom = true}
end