From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Sun, 21 Jun 2009 14:48:20 +0000 (+0200)
Subject: Make substitute work for type variables as well.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=f20ebcfe03b2f3493be450761c8b3a26c2e0cd30;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Make substitute work for type variables as well.
---

diff --git a/NormalizeTools.hs b/NormalizeTools.hs
index 58432d3..923b545 100644
--- a/NormalizeTools.hs
+++ b/NormalizeTools.hs
@@ -168,7 +168,7 @@ mkUnique = Trans.lift $ do
 -- given expression.
 substitute :: [(CoreBndr, CoreExpr)] -> CoreExpr -> CoreExpr
 substitute replace expr = CoreSubst.substExpr subs expr
-    where subs = foldl (\s (b, e) -> CoreSubst.extendIdSubst s b e) CoreSubst.emptySubst replace
+    where subs = foldl (\s (b, e) -> CoreSubst.extendSubst s b e) CoreSubst.emptySubst replace
 
 -- Run a given TransformSession. Used mostly to setup the right calls and
 -- an initial state.