comparison src/settings.sig @ 868:06497beb265b

Moved dml code into Settings
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Jun 2009 16:22:17 -0400
parents e7f80d78075b
children 64ba57fa20bf
comparison
equal deleted inserted replaced
867:e7f80d78075b 868:06497beb265b
133 -> Print.PD.pp_desc, 133 -> Print.PD.pp_desc,
134 queryPrepared : {loc : ErrorMsg.span, id : int, query : string, 134 queryPrepared : {loc : ErrorMsg.span, id : int, query : string,
135 inputs : sql_type list, numCols : int, 135 inputs : sql_type list, numCols : int,
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,
140 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
141 inputs : sql_type list} -> Print.PD.pp_desc
139 } 142 }
140 143
141 val addDbms : dbms -> unit 144 val addDbms : dbms -> unit
142 val setDbms : string -> unit 145 val setDbms : string -> unit
143 val currentDbms : unit -> dbms 146 val currentDbms : unit -> dbms