val basis : unit -> Env.env
- val reduce : Env.env -> string -> (Env.env * Ast.exp) option
+ val reduce : Env.env -> string -> Env.env * Ast.exp option
val eval : Env.env -> Env.env_vars -> string -> Env.env * Env.env_vars
val request : string -> unit
val (G, body) = check G fname
in
if !ErrorMsg.anyErrors then
- NONE
+ (G, NONE)
else
case body of
SOME body =>
[PD.string "Result:",
PD.space 1,
p_exp body']))*)
- SOME (G, body')
+ (G, SOME body')
end
- | _ => NONE
+ | _ => (G, NONE)
end
(*(Defaults.eInit ())*)
fun eval G evs fname =
case reduce G fname of
- SOME (G, body') =>
+ (G, SOME body') =>
if !ErrorMsg.anyErrors then
raise ErrorMsg.Error
else
in
(G, evs')
end
- | NONE => (G, evs)
+ | (G, NONE) => (G, evs)
val dispatcher =
Config.dispatcher ^ ":" ^ Int.toString Config.dispatcherPort
("from", Env.string, "to", Env.string, "port", Env.int)
(fn (from, to, port) =>
(checkRewrite ();
- write "\tRewriteRule\t";
+ write "\tRewriteRule\t\"";
write from;
- write "\thttp://localhost:";
+ write "\"\thttp://localhost:";
write (Int.toString port);
write "/";
write to;
("from", Env.string, "to", Env.string, "flags", Env.list flag)
(fn (from, to, flags) =>
(checkRewrite ();
- write "\tRewriteRule\t";
+ write "\tRewriteRule\t\"";
write from;
- write "\t";
+ write "\"\t\"";
write to;
+ write "\"";
case flags of
[] => ()
| flag::rest => (write " [";
("test", Env.string, "pattern", Env.string, "flags", Env.list cond_flag)
(fn (from, to, flags) =>
(checkRewrite ();
- write "\tRewriteCond\t";
+ write "\tRewriteCond\t\"";
write from;
- write "\t";
+ write "\"\t\"";
write to;
+ write "\"";
case flags of
[] => ()
| flag::rest => (write " [";
("prefix", Env.string)
(fn prefix =>
(checkRewrite ();
- write "\tRewriteBase\t";
+ write "\tRewriteBase\t\"";
write prefix;
- write "\n"))
+ write "\"\n"))
val () = Env.action_one "rewriteLogLevel"
("level", Env.int)