diff options
Diffstat (limited to 'compiler/prelude/TysWiredIn.hs-boot')
-rw-r--r-- | compiler/prelude/TysWiredIn.hs-boot | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/compiler/prelude/TysWiredIn.hs-boot b/compiler/prelude/TysWiredIn.hs-boot index a001338087..f7ae6354b3 100644 --- a/compiler/prelude/TysWiredIn.hs-boot +++ b/compiler/prelude/TysWiredIn.hs-boot @@ -1,9 +1,13 @@ module TysWiredIn where -import {-# SOURCE #-} TyCon (TyCon) -import {-# SOURCE #-} TypeRep (Type) +import TyCon +import {-# SOURCE #-} TyCoRep (Type, Kind) -eqTyCon, listTyCon, coercibleTyCon :: TyCon +listTyCon :: TyCon typeNatKind, typeSymbolKind :: Type mkBoxedTupleTy :: [Type] -> Type + +levityTy, unliftedDataConTy :: Type + +liftedTypeKind :: Kind |