diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-07-16 13:59:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-07-16 13:59:30 -0400 |
| commit | d59ec50a871633c463f3e670e964522da39f5020 (patch) | |
| tree | ab868a5482914e1edd50ddce3be30c1a02a19de7 /src/settings.sig | |
| parent | 0240f6b83c282b74806c545daa48357e1e9fe0c4 (diff) | |
MySQL accepts generated demo DDL
Diffstat (limited to 'src/settings.sig')
| -rw-r--r-- | src/settings.sig | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/settings.sig b/src/settings.sig index bfbc1f82..873bbcb9 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -147,7 +147,9 @@ signature SETTINGS = sig sqlifyString : string -> string, p_cast : string * sql_type -> string, p_blank : int * sql_type -> string (* Prepared statement input *), - supportsDeleteAs : bool + supportsDeleteAs : bool, + createSequence : string -> string, + textKeysNeedLengths : bool } val addDbms : dbms -> unit |