comparison src/settings.sig @ 1293:acabf3935060

tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents 134da5110bf7
children b4480a56cab7
comparison
equal deleted inserted replaced
1292:a671c986f517 1293:acabf3935060
122 122
123 val p_sql_ctype : sql_type -> string 123 val p_sql_ctype : sql_type -> string
124 val isBlob : sql_type -> bool 124 val isBlob : sql_type -> bool
125 val isNotNull : sql_type -> bool 125 val isNotNull : sql_type -> bool
126 126
127 datatype failure_mode = Error | None
128
127 type dbms = { 129 type dbms = {
128 name : string, 130 name : string,
129 (* Call it this on the command line *) 131 (* Call it this on the command line *)
130 header : string, 132 header : string,
131 (* Include this C header file *) 133 (* Include this C header file *)
147 doCols : ({loc : ErrorMsg.span, wontLeakStrings : bool, col : int, 149 doCols : ({loc : ErrorMsg.span, wontLeakStrings : bool, col : int,
148 typ : sql_type} -> Print.PD.pp_desc) 150 typ : sql_type} -> Print.PD.pp_desc)
149 -> Print.PD.pp_desc, 151 -> Print.PD.pp_desc,
150 nested : bool} 152 nested : bool}
151 -> Print.PD.pp_desc, 153 -> Print.PD.pp_desc,
152 dml : ErrorMsg.span -> Print.PD.pp_desc, 154 dml : ErrorMsg.span * failure_mode -> Print.PD.pp_desc,
153 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 155 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
154 inputs : sql_type list} -> Print.PD.pp_desc, 156 inputs : sql_type list, mode : failure_mode} -> Print.PD.pp_desc,
155 nextval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, seqName : string option} -> Print.PD.pp_desc, 157 nextval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, seqName : string option} -> Print.PD.pp_desc,
156 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, 158 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc,
157 setval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, count : Print.PD.pp_desc} -> Print.PD.pp_desc, 159 setval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, count : Print.PD.pp_desc} -> Print.PD.pp_desc,
158 sqlifyString : string -> string, 160 sqlifyString : string -> string,
159 p_cast : string * sql_type -> string, 161 p_cast : string * sql_type -> string,