Mercurial > urweb
comparison src/settings.sig @ 869:64ba57fa20bf
Moved nextval code into Settings
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 28 Jun 2009 16:41:10 -0400 |
parents | 06497beb265b |
children | 7fa9a37a34b3 |
comparison
equal
deleted
inserted
replaced
868:06497beb265b | 869:64ba57fa20bf |
---|---|
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, | 139 dml : ErrorMsg.span -> Print.PD.pp_desc, |
140 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, | 140 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, |
141 inputs : sql_type list} -> Print.PD.pp_desc | 141 inputs : sql_type list} -> Print.PD.pp_desc, |
142 nextval : ErrorMsg.span -> Print.PD.pp_desc, | |
143 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc | |
142 } | 144 } |
143 | 145 |
144 val addDbms : dbms -> unit | 146 val addDbms : dbms -> unit |
145 val setDbms : string -> unit | 147 val setDbms : string -> unit |
146 val currentDbms : unit -> dbms | 148 val currentDbms : unit -> dbms |