X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8cbb96323335d1a2b42a9daac94a9d538ab93536..cd04086681583dd3fcc95b6e12ba312054dc590e:/src/eval.sml diff --git a/src/eval.sml b/src/eval.sml index 8789eac..1fec487 100644 --- a/src/eval.sml +++ b/src/eval.sml @@ -102,7 +102,7 @@ fun exec' evs (eAll as (e, _)) = in case Env.action prim of NONE => raise Fail "Unbound primitive action" - | SOME action => action (evs, args) + | SOME action => action (evs, List.map (Reduce.reduceExp Env.empty) args) end fun exec evs e =