diff options
Diffstat (limited to 'compiler/GHC/Stg/InferTags/Rewrite.hs')
-rw-r--r-- | compiler/GHC/Stg/InferTags/Rewrite.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/GHC/Stg/InferTags/Rewrite.hs b/compiler/GHC/Stg/InferTags/Rewrite.hs index 171de2da91..fac784d5fc 100644 --- a/compiler/GHC/Stg/InferTags/Rewrite.hs +++ b/compiler/GHC/Stg/InferTags/Rewrite.hs @@ -22,8 +22,7 @@ import GHC.Prelude import GHC.Builtin.PrimOps ( PrimOp(..) ) import GHC.Types.Basic ( CbvMark (..), isMarkedCbv - , TopLevelFlag(..), isTopLevel - , Levity(..) ) + , TopLevelFlag(..), isTopLevel ) import GHC.Types.Id import GHC.Types.Name import GHC.Types.Unique.Supply @@ -257,7 +256,7 @@ isTagged v = do (TagSig TagDunno) case nameIsLocalOrFrom this_mod (idName v) of True - | Just Unlifted <- typeLevity_maybe (idType v) + | definitelyUnliftedType (idType v) -- NB: v might be the Id of a representation-polymorphic join point, -- so we shouldn't use isUnliftedType here. See T22212. -> return True |