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/settings.sml | |
parent | ce046247973013fe5dbcf3c18dd3aba889155c6c (diff) |
Use IS NOT DISTINCT FROM; improve Sql parser
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/settings.sml b/src/settings.sml index 38ea30fc..d689824e 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -621,7 +621,8 @@ type dbms = { falseString : string, onlyUnion : bool, nestedRelops : bool, - windowFunctions: bool + windowFunctions: bool, + supportsIsDistinctFrom : bool } val dbmses = ref ([] : dbms list) @@ -653,7 +654,8 @@ val curDb = ref ({name = "", falseString = "", onlyUnion = false, nestedRelops = false, - windowFunctions = false} : dbms) + windowFunctions = false, + supportsIsDistinctFrom = false} : dbms) fun addDbms v = dbmses := v :: !dbmses fun setDbms s = |