comparison src/settings.sig @ 869:64ba57fa20bf

Moved nextval code into Settings
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Jun 2009 16:41:10 -0400
parents 06497beb265b
children 7fa9a37a34b3
comparison
equal deleted inserted replaced
868:06497beb265b 869:64ba57fa20bf
136 doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc) 136 doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc)
137 -> Print.PD.pp_desc} 137 -> Print.PD.pp_desc}
138 -> Print.PD.pp_desc, 138 -> Print.PD.pp_desc,
139 dml : ErrorMsg.span -> Print.PD.pp_desc, 139 dml : ErrorMsg.span -> Print.PD.pp_desc,
140 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 140 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
141 inputs : sql_type list} -> Print.PD.pp_desc 141 inputs : sql_type list} -> Print.PD.pp_desc,
142 nextval : ErrorMsg.span -> Print.PD.pp_desc,
143 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc
142 } 144 }
143 145
144 val addDbms : dbms -> unit 146 val addDbms : dbms -> unit
145 val setDbms : string -> unit 147 val setDbms : string -> unit
146 val currentDbms : unit -> dbms 148 val currentDbms : unit -> dbms