comparison src/settings.sig @ 879:b2a175a0f2ef

Demo working with MySQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 18:10:29 -0400
parents a8952047e1d3
children 8e9f2d247dba
comparison
equal deleted inserted replaced
878:a8952047e1d3 879:b2a175a0f2ef
135 -> Print.PD.pp_desc} 135 -> Print.PD.pp_desc}
136 -> Print.PD.pp_desc, 136 -> Print.PD.pp_desc,
137 queryPrepared : {loc : ErrorMsg.span, id : int, query : string, 137 queryPrepared : {loc : ErrorMsg.span, id : int, query : string,
138 inputs : sql_type list, cols : sql_type list, 138 inputs : sql_type list, cols : sql_type list,
139 doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc) 139 doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc)
140 -> Print.PD.pp_desc} 140 -> Print.PD.pp_desc,
141 nested : bool}
141 -> Print.PD.pp_desc, 142 -> Print.PD.pp_desc,
142 dml : ErrorMsg.span -> Print.PD.pp_desc, 143 dml : ErrorMsg.span -> Print.PD.pp_desc,
143 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 144 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
144 inputs : sql_type list} -> Print.PD.pp_desc, 145 inputs : sql_type list} -> Print.PD.pp_desc,
145 nextval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, seqName : string option} -> Print.PD.pp_desc, 146 nextval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, seqName : string option} -> Print.PD.pp_desc,
148 p_cast : string * sql_type -> string, 149 p_cast : string * sql_type -> string,
149 p_blank : int * sql_type -> string (* Prepared statement input *), 150 p_blank : int * sql_type -> string (* Prepared statement input *),
150 supportsDeleteAs : bool, 151 supportsDeleteAs : bool,
151 createSequence : string -> string, 152 createSequence : string -> string,
152 textKeysNeedLengths : bool, 153 textKeysNeedLengths : bool,
153 supportsNextval : bool 154 supportsNextval : bool,
155 supportsNestedPrepared : bool
154 } 156 }
155 157
156 val addDbms : dbms -> unit 158 val addDbms : dbms -> unit
157 val setDbms : string -> unit 159 val setDbms : string -> unit
158 val currentDbms : unit -> dbms 160 val currentDbms : unit -> dbms