From 2a130b134daa3d67fed0b5b2e2257446e2c23c76 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Thu, 3 Feb 2011 17:27:56 +0000 Subject: [PATCH] Fix typo in SpecConstr that made it not work at all There was a terrible typo in this patch; I wrote "env" instead of "env1". Mon Jan 31 11:35:29 GMT 2011 simonpj@microsoft.com * Improve Simplifier and SpecConstr behaviour Anyway, this fix is essential to make it work properly. Thanks to Max for spotting the problem (again). --- compiler/specialise/SpecConstr.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/specialise/SpecConstr.lhs b/compiler/specialise/SpecConstr.lhs index 8e08169..8235196 100644 --- a/compiler/specialise/SpecConstr.lhs +++ b/compiler/specialise/SpecConstr.lhs @@ -749,7 +749,7 @@ extendCaseBndrs env scrut case_bndr con alt_bndrs live_case_bndr = not (isDeadBinder case_bndr) env1 | Var v <- scrut = extendValEnv env v cval | otherwise = env -- See Note [Add scrutinee to ValueEnv too] - env2 | live_case_bndr = extendValEnv env case_bndr cval + env2 | live_case_bndr = extendValEnv env1 case_bndr cval | otherwise = env1 alt_bndrs' | case scrut of { Var {} -> True; _ -> live_case_bndr } -- 1.7.10.4