diff options
Diffstat (limited to 'compiler/GHC/CoreToIface.hs-boot')
| -rw-r--r-- | compiler/GHC/CoreToIface.hs-boot | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/compiler/GHC/CoreToIface.hs-boot b/compiler/GHC/CoreToIface.hs-boot new file mode 100644 index 0000000000..24fb1a148b --- /dev/null +++ b/compiler/GHC/CoreToIface.hs-boot @@ -0,0 +1,18 @@ +module GHC.CoreToIface where + +import {-# SOURCE #-} TyCoRep ( Type, TyLit, Coercion ) +import {-# SOURCE #-} GHC.Iface.Type( IfaceType, IfaceTyCon, IfaceForAllBndr + , IfaceCoercion, IfaceTyLit, IfaceAppArgs ) +import Var ( TyCoVarBinder ) +import VarEnv ( TidyEnv ) +import TyCon ( TyCon ) +import VarSet( VarSet ) + +-- For TyCoRep +toIfaceTypeX :: VarSet -> Type -> IfaceType +toIfaceTyLit :: TyLit -> IfaceTyLit +toIfaceForAllBndr :: TyCoVarBinder -> IfaceForAllBndr +toIfaceTyCon :: TyCon -> IfaceTyCon +toIfaceTcArgs :: TyCon -> [Type] -> IfaceAppArgs +toIfaceCoercionX :: VarSet -> Coercion -> IfaceCoercion +tidyToIfaceTcArgs :: TidyEnv -> TyCon -> [Type] -> IfaceAppArgs |