summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml4
1 files changed, 4 insertions, 0 deletions
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 _ => "",