From a496c6a2211b821357872cb15c0204c848585b38 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Thu, 15 Nov 2007 08:42:42 +0000 Subject: [PATCH] Make SpecConstr work again In a typo I'd written env instead of env', and as a result RULES are practically guaranteed not to work in a recursive group. This pretty much kills SpecConstr in its tracks! Well done Kenny Lu for spotting this. The fix is easy. Merge into 6.8 please. --- compiler/simplCore/Simplify.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs index dbad116..a27aa47 100644 --- a/compiler/simplCore/Simplify.lhs +++ b/compiler/simplCore/Simplify.lhs @@ -264,7 +264,7 @@ simplRecBind env top_lvl pairs where add_rules :: SimplEnv -> (InBndr,InExpr) -> (SimplEnv, (InBndr, OutBndr, InExpr)) -- Add the (substituted) rules to the binder - add_rules env (bndr, rhs) = (env, (bndr, bndr', rhs)) + add_rules env (bndr, rhs) = (env', (bndr, bndr', rhs)) where (env', bndr') = addBndrRules env bndr (lookupRecBndr env bndr) -- 1.7.10.4