diff options
Diffstat (limited to 'compiler/GHC/Types/RepType.hs')
-rw-r--r-- | compiler/GHC/Types/RepType.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/GHC/Types/RepType.hs b/compiler/GHC/Types/RepType.hs index a1ad6b8317..b2e8a1c3b8 100644 --- a/compiler/GHC/Types/RepType.hs +++ b/compiler/GHC/Types/RepType.hs @@ -8,7 +8,7 @@ module GHC.Types.RepType unwrapType, -- * Predicates on types - isVoidTy, + isZeroBitTy, -- * Type representation for the code generator typePrimRep, typePrimRep1, typeMonoPrimRep_maybe, @@ -128,8 +128,8 @@ countConRepArgs dc = go (dataConRepArity dc) (dataConRepType dc) = pprPanic "countConRepArgs: arity greater than type can handle" (ppr (n, ty, typePrimRep ty)) -- | True if the type has zero width. -isVoidTy :: Type -> Bool -isVoidTy = null . typePrimRep +isZeroBitTy :: Type -> Bool +isZeroBitTy = null . typePrimRep {- ********************************************************************** @@ -252,7 +252,7 @@ instance Outputable SlotTy where typeSlotTy :: UnaryType -> Maybe SlotTy typeSlotTy ty - | isVoidTy ty + | isZeroBitTy ty = Nothing | otherwise = Just (primRepSlot (typePrimRep1 ty)) @@ -565,4 +565,4 @@ runtimeRepPrimRep doc rr_ty -- to fresh Ids. Really, only the type's representation matters. -- See also Note [RuntimeRep and PrimRep] primRepToType :: PrimRep -> Type -primRepToType = anyTypeOfKind . tYPE . primRepToRuntimeRep +primRepToType = anyTypeOfKind . mkTYPEapp . primRepToRuntimeRep |