Mercurial > urweb
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 |