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