comparison src/settings.sig @ 877:dae141d911d9

MySQL accepts generated demo DDL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 13:59:30 -0400
parents 3c7b48040dcf
children a8952047e1d3
comparison
equal deleted inserted replaced
876:025806b3c014 877:dae141d911d9
145 nextval : ErrorMsg.span -> Print.PD.pp_desc, 145 nextval : ErrorMsg.span -> Print.PD.pp_desc,
146 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, 146 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc,
147 sqlifyString : string -> string, 147 sqlifyString : string -> string,
148 p_cast : string * sql_type -> string, 148 p_cast : string * sql_type -> string,
149 p_blank : int * sql_type -> string (* Prepared statement input *), 149 p_blank : int * sql_type -> string (* Prepared statement input *),
150 supportsDeleteAs : bool 150 supportsDeleteAs : bool,
151 createSequence : string -> string,
152 textKeysNeedLengths : bool
151 } 153 }
152 154
153 val addDbms : dbms -> unit 155 val addDbms : dbms -> unit
154 val setDbms : string -> unit 156 val setDbms : string -> unit
155 val currentDbms : unit -> dbms 157 val currentDbms : unit -> dbms