diff 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
line wrap: on
line diff
--- a/src/settings.sig	Sun Jun 28 16:03:00 2009 -0400
+++ b/src/settings.sig	Sun Jun 28 16:22:17 2009 -0400
@@ -135,7 +135,10 @@
                           inputs : sql_type list, numCols : int,
                           doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc)
                                    -> Print.PD.pp_desc}
-                         -> Print.PD.pp_desc
+                         -> 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
     }
 
     val addDbms : dbms -> unit