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/postgres.sml | |
parent | ce046247973013fe5dbcf3c18dd3aba889155c6c (diff) |
Use IS NOT DISTINCT FROM; improve Sql parser
Diffstat (limited to 'src/postgres.sml')
-rw-r--r-- | src/postgres.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/postgres.sml b/src/postgres.sml index 1c95f414..ddfe0ad6 100644 --- a/src/postgres.sml +++ b/src/postgres.sml @@ -1145,7 +1145,8 @@ val () = addDbms {name = "postgres", falseString = "FALSE", onlyUnion = false, nestedRelops = true, - windowFunctions = true} + windowFunctions = true, + supportsIsDistinctFrom = true} val () = setDbms "postgres" |