.hi-boot-5 is obsolete; the earliest GHC we support uses .hi-boot-6

diff --git a/compiler/basicTypes/DataCon.hi-boot-5 b/compiler/basicTypes/DataCon.hi-boot-5
deleted file mode 100644 (file)
index f5a8a2d..0000000
--- a/compiler/basicTypes/DataCon.hi-boot-5
+++ /dev/null
@@ -1,5 +0,0 @@
-__interface DataCon 1 0 where
-__export DataCon DataCon isExistentialDataCon dataConName ;
-1 data DataCon ;
-1 isExistentialDataCon :: DataCon -> PrelBase.Bool ;
-1 dataConName :: DataCon -> Name.Name ;

diff --git a/compiler/basicTypes/IdInfo.hi-boot-5 b/compiler/basicTypes/IdInfo.hi-boot-5
deleted file mode 100644 (file)
index 4a326ca..0000000
--- a/compiler/basicTypes/IdInfo.hi-boot-5
+++ /dev/null
@@ -1,8 +0,0 @@
-__interface IdInfo 1 0 where
-__export IdInfo IdInfo GlobalIdDetails notGlobalId seqIdInfo vanillaIdInfo ;
-1 data IdInfo ;
-1 data GlobalIdDetails ;
-1 notGlobalId :: GlobalIdDetails ;
-1 seqIdInfo :: IdInfo -> PrelBase.Z0T ;
-1 vanillaIdInfo :: IdInfo ;
-

diff --git a/compiler/basicTypes/MkId.hi-boot-5 b/compiler/basicTypes/MkId.hi-boot-5
deleted file mode 100644 (file)
index ff901a5..0000000
--- a/compiler/basicTypes/MkId.hi-boot-5
+++ /dev/null
@@ -1,3 +0,0 @@
-__interface MkId 1 0 where
-__export MkId mkDataConIds ;
-1 mkDataConIds :: Name.Name -> Name.Name -> DataCon.DataCon -> DataCon.DataConIds ;

diff --git a/compiler/basicTypes/Module.hi-boot-5 b/compiler/basicTypes/Module.hi-boot-5
deleted file mode 100644 (file)
index cdc5fbf..0000000
--- a/compiler/basicTypes/Module.hi-boot-5
+++ /dev/null
@@ -1,4 +0,0 @@
-__interface Module 1 0 where
-__export Module Module ;
-1 data Module ;
-

diff --git a/compiler/basicTypes/Name.hi-boot-5 b/compiler/basicTypes/Name.hi-boot-5
deleted file mode 100644 (file)
index 634d954..0000000
--- a/compiler/basicTypes/Name.hi-boot-5
+++ /dev/null
@@ -1,3 +0,0 @@
-__interface Name 1 0 where
-__export Name Name;
-1 data Name ;

diff --git a/compiler/codeGen/CgBindery.hi-boot-5 b/compiler/codeGen/CgBindery.hi-boot-5
deleted file mode 100644 (file)
index f375fcc..0000000
--- a/compiler/codeGen/CgBindery.hi-boot-5
+++ /dev/null
@@ -1,7 +0,0 @@
-__interface CgBindery 1 0 where
-__export CgBindery CgBindings CgIdInfo VolatileLoc StableLoc nukeVolatileBinds;
-1 type CgBindings = VarEnv.IdEnv CgIdInfo;
-1 data CgIdInfo;
-1 data VolatileLoc;
-1 data StableLoc;
-1 nukeVolatileBinds :: CgBindings -> CgBindings ;

diff --git a/compiler/codeGen/CgExpr.hi-boot-5 b/compiler/codeGen/CgExpr.hi-boot-5
deleted file mode 100644 (file)
index 588e63f..0000000
--- a/compiler/codeGen/CgExpr.hi-boot-5
+++ /dev/null
@@ -1,3 +0,0 @@
-__interface CgExpr 1 0 where
-__export CgExpr cgExpr;
-1 cgExpr :: StgSyn.StgExpr -> CgMonad.Code ;

diff --git a/compiler/codeGen/CgUsages.hi-boot-5 b/compiler/codeGen/CgUsages.hi-boot-5
deleted file mode 100644 (file)
index abb98ce..0000000
--- a/compiler/codeGen/CgUsages.hi-boot-5
+++ /dev/null
@@ -1,3 +0,0 @@
-__interface CgUsages 1 0 where
-__export CgUsages getSpRelOffset;
-1 getSpRelOffset :: AbsCSyn.VirtualSpOffset -> CgMonad.FCode AbsCSyn.RegRelative ;

diff --git a/compiler/codeGen/ClosureInfo.hi-boot-5 b/compiler/codeGen/ClosureInfo.hi-boot-5
deleted file mode 100644 (file)
index 2291f93..0000000
--- a/compiler/codeGen/ClosureInfo.hi-boot-5
+++ /dev/null
@@ -1,4 +0,0 @@
-__interface ClosureInfo 1 0 where
-__export ClosureInfo ClosureInfo LambdaFormInfo;
-1 data LambdaFormInfo;
-1 data ClosureInfo;

diff --git a/compiler/coreSyn/CoreSyn.hi-boot-5 b/compiler/coreSyn/CoreSyn.hi-boot-5
deleted file mode 100644 (file)
index 6031131..0000000
--- a/compiler/coreSyn/CoreSyn.hi-boot-5
+++ /dev/null
@@ -1,6 +0,0 @@
-__interface CoreSyn 1 0 where
-__export CoreSyn CoreExpr ;
-
--- Needed by Var.lhs
-1 type CoreExpr = Expr Var.Var;
-1 data Expr b ;

diff --git a/compiler/deSugar/DsExpr.hi-boot-5 b/compiler/deSugar/DsExpr.hi-boot-5
deleted file mode 100644 (file)
index 7e5bbaa..0000000
--- a/compiler/deSugar/DsExpr.hi-boot-5
+++ /dev/null
@@ -1,5 +0,0 @@
-__interface DsExpr 1 0 where
-__export DsExpr dsExpr dsLet;
-1 dsExpr :: HsExpr.HsExpr Var.Id -> DsMonad.DsM CoreSyn.CoreExpr ;
-1 dsLExpr :: HsExpr.HsLExpr Var.Id -> DsMonad.DsM CoreSyn.CoreExpr ;
-1 dsLet  :: [HsBinds.HsBindGroup Var.Id] -> CoreSyn.CoreExpr -> DsMonad.DsM CoreSyn.CoreExpr ;

diff --git a/compiler/deSugar/Match.hi-boot-5 b/compiler/deSugar/Match.hi-boot-5
deleted file mode 100644 (file)
index 42c200f..0000000
--- a/compiler/deSugar/Match.hi-boot-5
+++ /dev/null
@@ -1,6 +0,0 @@
-__interface Match 1 0 where
-__export Match match matchExport matchSimply matchSinglePat;
-1 match :: [Var.Id] -> [DsUtils.EquationInfo] -> DsMonad.DsM DsUtils.MatchResult ;
-1 matchExport :: [Var.Id] -> [DsUtils.EquationInfo] -> DsMonad.DsM DsUtils.MatchResult ;
-1 matchSimply :: CoreSyn.CoreExpr -> HsExpr.HsMatchContext Name.Name -> HsPat.LPat Var.Id -> CoreSyn.CoreExpr -> CoreSyn.CoreExpr -> DsMonad.DsM CoreSyn.CoreExpr ;
-1 matchSinglePat :: CoreSyn.CoreExpr -> DsMonad.DsMatchContext -> HsPat.LPat Var.Id -> DsUtils.MatchResult -> DsMonad.DsM DsUtils.MatchResult ;

diff --git a/compiler/hsSyn/HsExpr.hi-boot-5 b/compiler/hsSyn/HsExpr.hi-boot-5
deleted file mode 100644 (file)
index 05e2eb5..0000000
--- a/compiler/hsSyn/HsExpr.hi-boot-5
+++ /dev/null
@@ -1,14 +0,0 @@
-__interface HsExpr 1 0 where
-__export HsExpr HsExpr pprExpr Match GRHSs LHsExpr LMatch pprPatBind pprFunBind ;
-
-1 data HsExpr i ;
-1 data Match a ;
-1 data GRHSs a ;
-
-1 type LHsExpr a = SrcLoc.Located (HsExpr a) ;
-1 type LMatch a  = SrcLoc.Located (Match a) ;
-
-1 pprExpr :: __forall [i] {Outputable.OutputableBndr i} => HsExpr.HsExpr i -> Outputable.SDoc ;
-1 pprPatBind :: __forall [i] {Outputable.OutputableBndr i} => HsPat.LPat i -> HsExpr.GRHSs i -> Outputable.SDoc ;
-1 pprFunBind :: __forall [i] {Outputable.OutputableBndr i} => i -> [HsExpr.LMatch i] -> Outputable.SDoc ;
-

diff --git a/compiler/hsSyn/HsPat.hi-boot-5 b/compiler/hsSyn/HsPat.hi-boot-5
deleted file mode 100644 (file)
index 1f02ce3..0000000
--- a/compiler/hsSyn/HsPat.hi-boot-5
+++ /dev/null
@@ -1,6 +0,0 @@
-__interface HsPat 1 0 where
-__export Pat LPat ;
-
-1 data Pat i ;
-1 type LPat i = SrcLoc.Located (Pat i) ;
-

diff --git a/compiler/iface/TcIface.hi-boot-5 b/compiler/iface/TcIface.hi-boot-5
deleted file mode 100644 (file)
index 3647edf..0000000
--- a/compiler/iface/TcIface.hi-boot-5
+++ /dev/null
@@ -1,5 +0,0 @@
-__interface TcIface 1 0 where
-__export TcIface tcImportDecl ;
-1 tcImportDecl :: Name.Name -> TcRnTypes.IfG TypeRep.TyThing ;
-
-

diff --git a/compiler/main/Packages.hi-boot-5 b/compiler/main/Packages.hi-boot-5
deleted file mode 100644 (file)
index 62f020c..0000000
--- a/compiler/main/Packages.hi-boot-5
+++ /dev/null
@@ -1,3 +0,0 @@
-__interface Packages 1 0 where
-__export Packages PackageState ;
-1 data PackageState ;

diff --git a/compiler/rename/RnSource.hi-boot-5 b/compiler/rename/RnSource.hi-boot-5
deleted file mode 100644 (file)
index 1ec4d52..0000000
--- a/compiler/rename/RnSource.hi-boot-5
+++ /dev/null
@@ -1,13 +0,0 @@
-__interface RnSource 1 0 where
-__export RnSource rnBindsAndThen rnBinds rnSrcDecls;
-
-1 rnBindsAndThen :: __forall [b] => [HsBinds.HsBindGroup RdrName.RdrName]
-       -> ([HsBinds.HsBindGroup Name.Name]
-       -> TcRnTypes.RnM (b, NameSet.FreeVars))
-       -> TcRnTypes.RnM (b, NameSet.FreeVars) ;
-
-1 rnBinds :: [HsBinds.HsBindGroup RdrName.RdrName]
-       -> TcRnTypes.RnM ([HsBinds.HsBindGroup Name.Name], NameSet.DefUses) ;
-
-1 rnSrcDecls :: HsDecls.HsGroup RdrName.RdrName
-          -> TcRnTypes.RnM (TcRnTypes.TcGblEnv, HsDecls.HsGroup Name.Name)

diff --git a/compiler/typecheck/TcExpr.hi-boot-5 b/compiler/typecheck/TcExpr.hi-boot-5
deleted file mode 100644 (file)
index 14714cd..0000000
--- a/compiler/typecheck/TcExpr.hi-boot-5
+++ /dev/null
@@ -1,16 +0,0 @@
-__interface TcExpr 1 0 where
-__export TcExpr tcCheckSigma tcCheckRho tcMonoExpr ;
-1 tcCheckSigma :: 
-         HsExpr.LHsExpr Name.Name
-       -> TcType.TcType
-       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;
-
-1 tcCheckRho :: 
-         HsExpr.LHsExpr Name.Name
-       -> TcType.TcType
-       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;
-
-1 tcMonoExpr :: 
-         HsExpr.LHsExpr Name.Name
-       -> TcUnify.Expected TcType.TcType
-       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;

diff --git a/compiler/typecheck/TcMatches.hi-boot-5 b/compiler/typecheck/TcMatches.hi-boot-5
deleted file mode 100644 (file)
index 43e2330..0000000
--- a/compiler/typecheck/TcMatches.hi-boot-5
+++ /dev/null
@@ -1,10 +0,0 @@
-__interface TcMatches 1 0 where
-__export TcMatches tcGRHSsPat tcMatchesFun;
-1 tcGRHSsPat  :: HsExpr.GRHSs Name.Name
-             -> TcUnify.Expected TcType.TcType
-             -> TcRnTypes.TcM (HsExpr.GRHSs Var.Id) ;
-
-1 tcMatchesFun :: Name.Name
-            -> [HsExpr.LMatch Name.Name]
-            -> TcUnify.Expected TcType.TcType
-            -> TcRnTypes.TcM [HsExpr.LMatch Var.Id] ;

diff --git a/compiler/typecheck/TcType.hi-boot-5 b/compiler/typecheck/TcType.hi-boot-5
deleted file mode 100644 (file)
index 23b3a9c..0000000
--- a/compiler/typecheck/TcType.hi-boot-5
+++ /dev/null
@@ -1,3 +0,0 @@
-__interface TcType 1 0 where
-__export TcType TyVarDetails;
-1 data TyVarDetails ;

diff --git a/compiler/typecheck/TcUnify.hi-boot-5 b/compiler/typecheck/TcUnify.hi-boot-5
deleted file mode 100644 (file)
index b88d3ab..0000000
--- a/compiler/typecheck/TcUnify.hi-boot-5
+++ /dev/null
@@ -1,8 +0,0 @@
--- This boot file exists only to tie the knot between
---             TcUnify and TcSimplify
-
-__interface TcUnify 1 0 where
-__export TcUnify unifyTauTy ;
-1 unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM PrelBase.Z0T ;
-
-

diff --git a/compiler/types/TyCon.hi-boot-5 b/compiler/types/TyCon.hi-boot-5
deleted file mode 100644 (file)
index 1f040d7..0000000
--- a/compiler/types/TyCon.hi-boot-5
+++ /dev/null
@@ -1,6 +0,0 @@
-__interface TyCon 1 0 where
-__export TyCon TyCon isTupleTyCon isUnboxedTupleTyCon isFunTyCon setTyConName ;
-1 data TyCon ;
-1 isTupleTyCon :: TyCon -> PrelBase.Bool ;
-1 isUnboxedTupleTyCon :: TyCon -> PrelBase.Bool ;
-1 isFunTyCon :: TyCon -> PrelBase.Bool ;

diff --git a/compiler/types/TypeRep.hi-boot-5 b/compiler/types/TypeRep.hi-boot-5
deleted file mode 100644 (file)
index 80452e4..0000000
--- a/compiler/types/TypeRep.hi-boot-5
+++ /dev/null
@@ -1,9 +0,0 @@
-__interface TypeRep 1 0 where
-__export TypeRep Type SourceType PredType Kind SuperKind TyThing ;
-1 data Type ;
-1 data SourceType ;
-1 data TyThing ;
-1 type PredType = SourceType ;
-1 type Kind = Type ;
-1 type SuperKind = Type ;
-