From b225596addee1a3cfd6c3189cff923e7f0e8f7c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Dec 2009 14:20:41 -0500
Subject: Initializers and setval

---
 src/settings.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index f5d5a3ab..a7f2cc9f 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -79,6 +79,7 @@ fun mayClientToServer x = S.member (!clientToServer, x)
 
 val effectfulBase = basis ["dml",
                            "nextval",
+                           "setval",
                            "set_cookie",
                            "clear_cookie",
                            "new_client_source",
@@ -120,6 +121,7 @@ val serverBase = basis ["requestHeader",
                         "query",
                         "dml",
                         "nextval",
+                        "setval",
                         "channel",
                         "send"]
 val server = ref serverBase
@@ -355,6 +357,7 @@ type dbms = {
                     inputs : sql_type list} -> Print.PD.pp_desc,
      nextval : {loc : ErrorMsg.span, seqName : string option, seqE : Print.PD.pp_desc} -> Print.PD.pp_desc,
      nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc,
+     setval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, count : Print.PD.pp_desc} -> Print.PD.pp_desc,
      sqlifyString : string -> string,
      p_cast : string * sql_type -> string,
      p_blank : int * sql_type -> string,
@@ -382,6 +385,7 @@ val curDb = ref ({name = "",
                   dmlPrepared = fn _ => Print.box [],
                   nextval = fn _ => Print.box [],
                   nextvalPrepared = fn _ => Print.box [],
+                  setval = fn _ => Print.box [],
                   sqlifyString = fn s => s,
                   p_cast = fn _ => "",
                   p_blank = fn _ => "",
-- 
cgit v1.2.3