diff options
author | Adam Chlipala <adam@chlipala.net> | 2019-05-31 09:58:37 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2019-05-31 09:58:37 -0400 |
commit | 94ea84354715c4a2bb30cd4aaeaaba506358d1d6 (patch) | |
tree | 2df2ab07926da9b608ad38e8a0b9f46c7c8b8c6f /src/postgres.sml | |
parent | a19e53017364ceddbba557fb363ca26b273f89da (diff) |
Filecache support for MySQL
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 a33a1de4..2b0a710d 100644 --- a/src/postgres.sml +++ b/src/postgres.sml @@ -1154,7 +1154,8 @@ val () = addDbms {name = "postgres", nestedRelops = true, windowFunctions = true, supportsIsDistinctFrom = true, - supportsSHA512 = SOME "CREATE EXTENSION pgcrypto;"} + supportsSHA512 = SOME {InitializeDb = "CREATE EXTENSION pgcrypto;", + GenerateHash = fn name => "DIGEST(" ^ name ^ ", 'sha512')"}} val () = setDbms "postgres" |