summaryrefslogtreecommitdiff
path: root/src/settings.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-07-16 13:59:30 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-07-16 13:59:30 -0400
commitd59ec50a871633c463f3e670e964522da39f5020 (patch)
treeab868a5482914e1edd50ddce3be30c1a02a19de7 /src/settings.sig
parent0240f6b83c282b74806c545daa48357e1e9fe0c4 (diff)
MySQL accepts generated demo DDL
Diffstat (limited to 'src/settings.sig')
-rw-r--r--src/settings.sig4
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