Mercurial > urweb

comparison src/settings.sml @ 1073:b2311dfb3158

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents e8a35d710ab9
children bed675db3aff
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
77 fun setClientToServer ls = clientToServer := S.addList (clientToServerBase, ls) 77 fun setClientToServer ls = clientToServer := S.addList (clientToServerBase, ls)
78 fun mayClientToServer x = S.member (!clientToServer, x) 78 fun mayClientToServer x = S.member (!clientToServer, x)
79 79
80 val effectfulBase = basis ["dml", 80 val effectfulBase = basis ["dml",
81 "nextval", 81 "nextval",
82 "setval",
82 "set_cookie", 83 "set_cookie",
83 "clear_cookie", 84 "clear_cookie",
84 "new_client_source", 85 "new_client_source",
85 "get_client_source", 86 "get_client_source",
86 "set_client_source", 87 "set_client_source",
118 119
119 val serverBase = basis ["requestHeader", 120 val serverBase = basis ["requestHeader",
120 "query", 121 "query",
121 "dml", 122 "dml",
122 "nextval", 123 "nextval",
124 "setval",
123 "channel", 125 "channel",
124 "send"] 126 "send"]
125 val server = ref serverBase 127 val server = ref serverBase
126 fun setServerOnly ls = server := S.addList (serverBase, ls) 128 fun setServerOnly ls = server := S.addList (serverBase, ls)
127 fun isServerOnly x = S.member (!server, x) 129 fun isServerOnly x = S.member (!server, x)
353 dml : ErrorMsg.span -> Print.PD.pp_desc, 355 dml : ErrorMsg.span -> Print.PD.pp_desc,
354 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 356 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
355 inputs : sql_type list} -> Print.PD.pp_desc, 357 inputs : sql_type list} -> Print.PD.pp_desc,
356 nextval : {loc : ErrorMsg.span, seqName : string option, seqE : Print.PD.pp_desc} -> Print.PD.pp_desc, 358 nextval : {loc : ErrorMsg.span, seqName : string option, seqE : Print.PD.pp_desc} -> Print.PD.pp_desc,
357 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, 359 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc,
360 setval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, count : Print.PD.pp_desc} -> Print.PD.pp_desc,
358 sqlifyString : string -> string, 361 sqlifyString : string -> string,
359 p_cast : string * sql_type -> string, 362 p_cast : string * sql_type -> string,
360 p_blank : int * sql_type -> string, 363 p_blank : int * sql_type -> string,
361 supportsDeleteAs : bool, 364 supportsDeleteAs : bool,
362 supportsUpdateAs : bool, 365 supportsUpdateAs : bool,
380 queryPrepared = fn _ => Print.box [], 383 queryPrepared = fn _ => Print.box [],
381 dml = fn _ => Print.box [], 384 dml = fn _ => Print.box [],
382 dmlPrepared = fn _ => Print.box [], 385 dmlPrepared = fn _ => Print.box [],
383 nextval = fn _ => Print.box [], 386 nextval = fn _ => Print.box [],
384 nextvalPrepared = fn _ => Print.box [], 387 nextvalPrepared = fn _ => Print.box [],
388 setval = fn _ => Print.box [],
385 sqlifyString = fn s => s, 389 sqlifyString = fn s => s,
386 p_cast = fn _ => "", 390 p_cast = fn _ => "",
387 p_blank = fn _ => "", 391 p_blank = fn _ => "",
388 supportsDeleteAs = false, 392 supportsDeleteAs = false,
389 supportsUpdateAs = false, 393 supportsUpdateAs = false,