Mercurial > urweb
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, |