Evaluate `val' and `var' bindings in the environment in which they were defined

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

diff --git a/src/reduce.sml b/src/reduce.sml
index 9e538d6..7996580 100644 (file)
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -143,7 +143,7 @@ fun reduceExp G (eAll as (e, loc)) =
                | SOME f => case f [] of
                                NONE => eAll
                              | SOME e' => reduceExp G e')
-          | SOME e => reduceExp G e)
+          | SOME (e, G') => reduceExp G' e)
       | EApp (e1, e2) =>
        let
            val e1' = reduceExp G e1