X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/de5351c7e5e91a5a055127e7294419c64a1c74df..e9f528ab975ac28c16b2c370e69206a48f584d78:/src/reduce.sml

diff --git a/src/reduce.sml b/src/reduce.sml
index 5d7a1b9..525d713 100644
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -133,7 +133,12 @@ fun reduceExp G (eAll as (e, loc)) =
 	end
       | EVar x =>
 	(case lookupEquation G x of
-	     NONE => eAll
+	     NONE =>
+	     (case function x of
+		  NONE => eAll
+		| SOME f => case f [] of
+				NONE => eAll
+			      | SOME e' => reduceExp G e')
 	   | SOME e => reduceExp G e)
       | EApp (e1, e2) =>
 	let