comparison src/settings.sml @ 1787:69daa6d70299

Top.postFields
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 15:16:57 -0400
parents ffd7ed3bc0b7
children 2f8b8952fe27
comparison
equal deleted inserted replaced
1786:d794149b3713 1787:69daa6d70299
216 "query", 216 "query",
217 "dml", 217 "dml",
218 "nextval", 218 "nextval",
219 "setval", 219 "setval",
220 "channel", 220 "channel",
221 "send"] 221 "send",
222 "fieldName",
223 "fieldValue",
224 "remainingFields",
225 "firstFormField"]
222 val server = ref serverBase 226 val server = ref serverBase
223 fun setServerOnly ls = server := S.addList (serverBase, ls) 227 fun setServerOnly ls = server := S.addList (serverBase, ls)
224 fun isServerOnly x = S.member (!server, x) 228 fun isServerOnly x = S.member (!server, x)
225 229
226 val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty 230 val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty