diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2016-03-12 20:44:00 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2016-03-12 20:44:00 -0500 |
| commit | eb715ea49f6d74f5ac7b7f2967f4a86c4db0a75f (patch) | |
| tree | 298f93f0f26637aad030342331c31bf8e4fd5d95 /src/mysql.sml | |
| parent | ce046247973013fe5dbcf3c18dd3aba889155c6c (diff) | |
Use IS NOT DISTINCT FROM; improve Sql parser
Diffstat (limited to 'src/mysql.sml')
| -rw-r--r-- | src/mysql.sml | 3 |
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 |