^ ev ^ " that type-checking has guaranteed")
| SOME v => v
+fun printEvs (name, evs) =
+ (print ("Environment " ^ name ^ "\n");
+ SM.appi (fn (name, i) => Print.preface (name, Print.p_exp i)) evs;
+ print "\n")
+
val conjoin : Env.env_vars * Env.env_vars -> Env.env_vars =
SM.unionWith #2
val evs'' = exec' evs e2
in
cleanup ();
- conjoin (conjoin (evs, evs'), evs'')
+ evs'
end
end
| SOME action => action (evs, args)
end
+ val _ = Env.pre ()
val evs' = exec' evs e
in
- ()
+ Env.post ()
end
end