X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Fstranal%2FSaAbsInt.lhs;h=cb9509a06a91ba9fc53e6d8d0cb70072e7ce0b43;hb=12899612693163154531da3285ec99c1c8ca2226;hp=11adf777a5332b85a1b078300e56e7650eb45b53;hpb=573ef10b2afd99d3c6a36370a9367609716c97d2;p=ghc-hetmet.git diff --git a/ghc/compiler/stranal/SaAbsInt.lhs b/ghc/compiler/stranal/SaAbsInt.lhs index 11adf77..cb9509a 100644 --- a/ghc/compiler/stranal/SaAbsInt.lhs +++ b/ghc/compiler/stranal/SaAbsInt.lhs @@ -18,7 +18,7 @@ module SaAbsInt ( IMP_Ubiq(){-uitous-} import CoreSyn -import CoreUnfold ( UnfoldingDetails(..), FormSummary ) +import CoreUnfold ( Unfolding(..), SimpleUnfolding(..), FormSummary ) import CoreUtils ( unTagBinders ) import Id ( idType, getIdStrictness, getIdUnfolding, dataConTyCon, dataConArgTys @@ -393,7 +393,7 @@ absId anal var env (Just abs_val, _, _) -> abs_val -- Bound in the environment - (Nothing, NoStrictnessInfo, GenForm _ unfolding _) -> + (Nothing, NoStrictnessInfo, CoreUnfolding (SimpleUnfolding _ _ unfolding)) -> -- We have an unfolding for the expr -- Assume the unfolding has no free variables since it -- came from inside the Id @@ -419,7 +419,7 @@ absId anal var env (Nothing, strictness_info, _) -> - -- Includes MagicForm, IWantToBeINLINEd, NoUnfoldingDetails + -- Includes MagicUnfolding, NoUnfolding -- Try the strictness info absValFromStrictness anal strictness_info in