X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fstranal%2FWorkWrap.lhs;h=f407691db92d2f27485bc6ca2b874b74d30a5019;hb=0ee11df0098509d06cf6fc03d1a18429985b6081;hp=2cdda7007c133f266dc3601f09fc20ac498cc97d;hpb=80e399639dc521561cc9fe33e6f24079c4eae609;p=ghc-hetmet.git

diff --git a/ghc/compiler/stranal/WorkWrap.lhs b/ghc/compiler/stranal/WorkWrap.lhs
index 2cdda70..f407691 100644
--- a/ghc/compiler/stranal/WorkWrap.lhs
+++ b/ghc/compiler/stranal/WorkWrap.lhs
@@ -131,7 +131,7 @@ wwExpr :: CoreExpr -> UniqSM CoreExpr
 
 wwExpr e@(Type _)   	      = returnUs e
 wwExpr e@(Lit _)    	      = returnUs e
-wwExpr e@(Note InlineMe expr) = returnUs expr
+wwExpr e@(Note InlineMe expr) = returnUs e
 	-- Don't w/w inside InlineMe's
 
 wwExpr e@(Var v)
@@ -158,10 +158,10 @@ wwExpr (Let bind expr)
     wwExpr expr			`thenUs` \ new_expr ->
     returnUs (mkLets intermediate_bind new_expr)
 
-wwExpr (Case expr binder alts)
+wwExpr (Case expr binder ty alts)
   = wwExpr expr				`thenUs` \ new_expr ->
     mapUs ww_alt alts			`thenUs` \ new_alts ->
-    returnUs (Case new_expr binder new_alts)
+    returnUs (Case new_expr binder ty new_alts)
   where
     ww_alt (con, binders, rhs)
       =	wwExpr rhs			`thenUs` \ new_rhs ->
@@ -228,7 +228,6 @@ tryWW is_rec fn_id rhs
     maybe_fn_dmd = newDemandInfo fn_info
     unfolding 	 = unfoldingInfo fn_info
     inline_prag  = inlinePragInfo fn_info
-    maybe_sig    = newStrictnessInfo fn_info
 
 	-- In practice it always will have a strictness 
 	-- signature, even if it's a uninformative one