SM.empty))
| four func _ _ (_, es) = badArgs (func, es)
+fun five func (name1, arg1, name2, arg2, name3, arg3, name4, arg4, name5, arg5)
+ f (_, [e1, e2, e3, e4, e5]) =
+ (case (arg1 e1, arg2 e2, arg3 e3, arg4 e4, arg5 e5) of
+ (NONE, _, _, _, _) => badArg (func, name1, e1)
+ | (_, NONE, _, _, _) => badArg (func, name2, e2)
+ | (_, _, NONE, _, _) => badArg (func, name3, e3)
+ | (_, _, _, NONE, _) => badArg (func, name4, e4)
+ | (_, _, _, _, NONE) => badArg (func, name5, e5)
+ | (SOME v1, SOME v2, SOME v3, SOME v4, SOME v5) => (f (v1, v2, v3, v4, v5);
+ SM.empty))
+ | five func _ _ (_, es) = badArgs (func, es)
+
fun noneV func f (evs, []) = (f evs;
SM.empty)
| noneV func _ (_, es) = badArgs (func, es)
fun action_two name args f = registerAction (name, two name args f)
fun action_three name args f = registerAction (name, three name args f)
fun action_four name args f = registerAction (name, four name args f)
+fun action_five name args f = registerAction (name, five name args f)
fun actionV_none name f = registerAction (name, fn (env, _) => (f env; env))
fun actionV_one name args f = registerAction (name, oneV name args f)
write inter;
write "\"\n"))
+val header_type = fn (EVar "set", _) => SOME "set"
+ | (EVar "append", _) => SOME "append"
+ | (EVar "merge", _) => SOME "merge"
+ | (EVar "add", _) => SOME "add"
+ | (EVar "unset", _) => SOME "unset"
+ | (EVar "echo", _) => SOME "echo"
+ | (EVar "edit", _) => SOME "edit"
+ | _ => NONE
+
+val () = Env.action_five "header"
+ ("action", header_type, "name", Env.string, "value", Env.string,
+ "replacement", Env.string, "early_env", Env.string)
+ (fn (action, name, value, replacement, early_env) =>
+ (write "\tHeader\t";
+ write action;
+ write "\t";
+ write name;
+ write "\t";
+ write value;
+ if (not (((length replacement) = 0) orelse (null replacement))) then
+ (write "\t";
+ write replacement)
+ else
+ ();
+ if (not (((length early_env) = 0) orelse (null early_env))) then
+ (write "\t";
+ write early_env)
+ else
+ ();
+ write "\n"))
+
val () = Env.action_two "proxyPass"
("from", Env.string, "to", Env.string)
(fn (from, to) =>