Saving environment variables across file executions

[hcoop/domtool2.git] / src / eval.sml

diff --git a/src/eval.sml b/src/eval.sml
index c41f796..08fd7f5 100644 (file)
--- a/src/eval.sml
+++ b/src/eval.sml
@@ -118,4 +118,6 @@ fun exec evs e =
        Env.post ()
     end
 
+val exec' = fn evs => fn e => conjoin (evs, exec' evs e)
+
 end