Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/settings.sig Sun Jun 28 16:22:17 2009 -0400 +++ b/src/settings.sig Sun Jun 28 16:41:10 2009 -0400 @@ -138,7 +138,9 @@ -> Print.PD.pp_desc, dml : ErrorMsg.span -> Print.PD.pp_desc, dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, - inputs : sql_type list} -> Print.PD.pp_desc + inputs : sql_type list} -> Print.PD.pp_desc, + nextval : ErrorMsg.span -> Print.PD.pp_desc, + nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc } val addDbms : dbms -> unit