X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FsimplCore%2FSimplUtils.lhs;h=693644f258096743b55c8022ad9da8508c4f0fae;hb=088962101d8ad4ba5455e295258df009c72315f2;hp=9e1be6da8f0be750a5dfe78499393470b2b8f7e0;hpb=c43e5edf13931d4532dc6062ebce312b66e17ba7;p=ghc-hetmet.git

diff --git a/compiler/simplCore/SimplUtils.lhs b/compiler/simplCore/SimplUtils.lhs
index 9e1be6d..693644f 100644
--- a/compiler/simplCore/SimplUtils.lhs
+++ b/compiler/simplCore/SimplUtils.lhs
@@ -748,6 +748,11 @@ postInlineUnconditionally env top_lvl bndr occ_info rhs unfolding
 			-- int_cxt to prevent us inlining inside a lambda without some 
 			-- good reason.  See the notes on int_cxt in preInlineUnconditionally
 
+      IAmDead -> True	-- This happens; for example, the case_bndr during case of
+			-- known constructor:  case (a,b) of x { (p,q) -> ... }
+			-- Here x isn't mentioned in the RHS, so we don't want to
+			-- create the (dead) let-binding  let x = (a,b) in ...
+
       other -> False
 
 -- Here's an example that we don't handle well: