summaryrefslogtreecommitdiff
path: root/src/sqlite.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/sqlite.sml
parentce046247973013fe5dbcf3c18dd3aba889155c6c (diff)
Use IS NOT DISTINCT FROM; improve Sql parser
Diffstat (limited to 'src/sqlite.sml')
-rw-r--r--src/sqlite.sml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/sqlite.sml b/src/sqlite.sml
index a1095709..c7694cde 100644
--- a/src/sqlite.sml
+++ b/src/sqlite.sml
@@ -849,6 +849,7 @@ val () = addDbms {name = "sqlite",
falseString = "0",
onlyUnion = false,
nestedRelops = false,
- windowFunctions = false}
+ windowFunctions = false,
+ supportsIsDistinctFrom = true}
end