comparison src/settings.sig @ 880:8e9f2d247dba

Testing nested queries
author Adam Chlipala <adamc@hcoop.net>
date Fri, 17 Jul 2009 12:25:34 -0400
parents b2a175a0f2ef
children 9c1b7e46eed2
comparison
equal deleted inserted replaced
879:b2a175a0f2ef 880:8e9f2d247dba
129 tables : (string * (string * sql_type) list) list, 129 tables : (string * (string * sql_type) list) list,
130 views : (string * (string * sql_type) list) list, 130 views : (string * (string * sql_type) list) list,
131 sequences : string list} -> Print.PD.pp_desc, 131 sequences : string list} -> Print.PD.pp_desc,
132 (* Define uw_client_init(), uw_db_init(), uw_db_close(), uw_db_begin(), uw_db_commit(), and uw_db_rollback() *) 132 (* Define uw_client_init(), uw_db_init(), uw_db_close(), uw_db_begin(), uw_db_commit(), and uw_db_rollback() *)
133 query : {loc : ErrorMsg.span, cols : sql_type list, 133 query : {loc : ErrorMsg.span, cols : sql_type list,
134 doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc) 134 doCols : ({loc : ErrorMsg.span, wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc)
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 : ({loc : ErrorMsg.span, wontLeakStrings : bool, col : int,
140 typ : sql_type} -> Print.PD.pp_desc)
140 -> Print.PD.pp_desc, 141 -> Print.PD.pp_desc,
141 nested : bool} 142 nested : bool}
142 -> Print.PD.pp_desc, 143 -> Print.PD.pp_desc,
143 dml : ErrorMsg.span -> Print.PD.pp_desc, 144 dml : ErrorMsg.span -> Print.PD.pp_desc,
144 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 145 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,