From f20ebcfe03b2f3493be450761c8b3a26c2e0cd30 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Sun, 21 Jun 2009 16:48:20 +0200 Subject: [PATCH] Make substitute work for type variables as well. --- NormalizeTools.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.30.2