case e of
ESkip => SM.empty
| ESet (ev, e) => SM.insert (SM.empty, ev, e)
- | EGet (x, _, ev, e) => exec' evs (Reduce.subst x (lookup (evs, ev)) e)
+ | EGet (x, _, ev, e) =>
+ let
+ val e' = Reduce.subst x (lookup (evs, ev)) e
+ in
+ exec' evs (Reduce.reduceExp Env.empty e')
+ end
| ESeq es =>
let
val (new, _) =