Mercurial > urweb

comparison src/settings.sig @ 878:a8952047e1d3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sequence code compiles in MySQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 16:29:13 -0400
parents dae141d911d9
children b2a175a0f2ef
comparison
equal deleted inserted replaced
877:dae141d911d9 878:a8952047e1d3
140 -> Print.PD.pp_desc} 140 -> Print.PD.pp_desc}
141 -> Print.PD.pp_desc, 141 -> Print.PD.pp_desc,
142 dml : ErrorMsg.span -> Print.PD.pp_desc, 142 dml : ErrorMsg.span -> Print.PD.pp_desc,
143 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 143 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
144 inputs : sql_type list} -> Print.PD.pp_desc, 144 inputs : sql_type list} -> Print.PD.pp_desc,
145 nextval : ErrorMsg.span -> Print.PD.pp_desc, 145 nextval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, seqName : string option} -> 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, 151 createSequence : string -> string,
152 textKeysNeedLengths : bool 152 textKeysNeedLengths : bool,
153 supportsNextval : bool
153 } 154 }
154 155
155 val addDbms : dbms -> unit 156 val addDbms : dbms -> unit
156 val setDbms : string -> unit 157 val setDbms : string -> unit
157 val currentDbms : unit -> dbms 158 val currentDbms : unit -> dbms