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