More work on the simplifier's inlining strategies
[ghc-hetmet.git] / compiler / stranal / WorkWrap.lhs
index 4e7a494..493015f 100644 (file)
@@ -156,7 +156,7 @@ The only reason this is monadised is for the unique supply.
 Note [Don't w/w inline things (a)]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 It's very important to refrain from w/w-ing an INLINE function
-because the wrapepr will then overwrite the InlineRule unfolding.
+because the wrapper will then overwrite the InlineRule unfolding.
 
 It was wrong with the old InlineMe Note too: if we do so by mistake 
 we transform
@@ -261,7 +261,7 @@ checkSize fn_id rhs thing_inside
   | otherwise = thing_inside
   where
     unfolding = idUnfolding fn_id
-    inline_rule = mkInlineRule InlUnSat rhs (unfoldingArity unfolding)
+    inline_rule = mkInlineRule unSaturatedOk rhs (unfoldingArity unfolding)
 
 ---------------------
 splitFun :: Id -> IdInfo -> [Demand] -> DmdResult -> Activation -> Expr Var