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/settings.sig | |
| parent | a19e53017364ceddbba557fb363ca26b273f89da (diff) | |
Filecache support for MySQL
Diffstat (limited to 'src/settings.sig')
| -rw-r--r-- | src/settings.sig | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/settings.sig b/src/settings.sig index 97d56b45..7ca7a0cd 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -222,9 +222,11 @@ signature SETTINGS = sig nestedRelops : bool, windowFunctions : bool, supportsIsDistinctFrom : bool, - supportsSHA512 : string option (* If supported, give the SQL code to - * enable the feature in a particular - * database. *) + supportsSHA512 : {InitializeDb : string, + GenerateHash : string -> string} option + (* If supported, give the SQL code to + * enable the feature in a particular + * database and to compute a hash of a value. *) } val addDbms : dbms -> unit |