Ticket #5028: 5028.dpatch

1 patch for repository darcs.haskell.org:/srv/darcs/ghc:

Fri Apr  1 11:39:49 BST 2011  Max Bolingbroke <batterseapower@hotmail.com>
  * Really zap case-binder occurrence info: solves #5028

New patches:

[Really zap case-binder occurrence info: solves #5028
Max Bolingbroke <batterseapower@hotmail.com>**20110401103949
 Ignore-this: 639b522454cd603f7650f40f855d5ab2
] {
hunk ./compiler/simplCore/OccurAnal.lhs 1149
   where
     (body_usg', tagged_bndr) = tagBinder body_usg bndr
     rhs_usg = unitVarEnv rhs_var NoOccInfo     -- We don't need exact info
-    rhs = mkCoerceI co (Var rhs_var)
+    rhs = mkCoerceI co (Var (zapIdOccInfo rhs_var)) -- See Note [Zap case binders in proxy bindings]
 \end{code}
 
 
hunk ./compiler/simplCore/OccurAnal.lhs 1585
   | otherwise          = PE env2 fvs2  --   don't extend
   where
     PE env1 fvs1 = trimProxyEnv pe [case_bndr]
-    zapped_case_bndr = zapIdOccInfo case_bndr  -- See Note [Zap case binders in proxy bindings]
-    env2 = extendVarEnv_Acc add single env1 scrut1 (zapped_case_bndr,co)
+    env2 = extendVarEnv_Acc add single env1 scrut1 (case_bndr,co)
     single cb_co = (scrut1, [cb_co]) 
     add cb_co (x, cb_cos) = (x, cb_co:cb_cos)
     fvs2 = fvs1 `unionVarSet`  freeVarsCoI co
}

Context:

[TAG git migration
Ian Lynagh <igloo@earth.li>**20110331134846
 Ignore-this: 5572f46dda57e62defcb124c3a80069a
] 
Patch bundle hash:
d161df54790e44ffc4d4377fb4a065da0ece3ad0