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