diff options
author | Adam Chlipala <adam@chlipala.net> | 2019-12-04 09:19:55 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2019-12-04 09:19:55 -0500 |
commit | 2bca6e48c0ea8043c5300f4ebdefa5167e6472bf (patch) | |
tree | 1c61579ca6a1e1b8e8cbe309302c33857b191181 /src/mysql.sml | |
parent | 73c287964e8d41d9b3b53a81f0ace3f509dc6a20 (diff) |
SQL SIMILAR (via pg_trgm)
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 ff1c379d..74954c0f 100644 --- a/src/mysql.sml +++ b/src/mysql.sml @@ -1612,6 +1612,7 @@ val () = addDbms {name = "mysql", requiresTimestampDefaults = true, supportsIsDistinctFrom = true, supportsSHA512 = SOME {InitializeDb = "", - GenerateHash = fn name => "SHA2(" ^ name ^ ", 512)"}} + GenerateHash = fn name => "SHA2(" ^ name ^ ", 512)"}, + supportsSimilar = NONE} end |