Mercurial > urweb
diff src/settings.sml @ 1073:b2311dfb3158
Initializers and setval
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 13 Dec 2009 14:20:41 -0500 |
| parents | e8a35d710ab9 |
| children | bed675db3aff |
line wrap: on
line diff
--- a/src/settings.sml Sun Dec 13 13:00:55 2009 -0500 +++ b/src/settings.sml Sun Dec 13 14:20:41 2009 -0500 @@ -79,6 +79,7 @@ val effectfulBase = basis ["dml", "nextval", + "setval", "set_cookie", "clear_cookie", "new_client_source", @@ -120,6 +121,7 @@ "query", "dml", "nextval", + "setval", "channel", "send"] val server = ref serverBase @@ -355,6 +357,7 @@ 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 @@ 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 _ => "",