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

23 files changed, 0 insertions, 150 deletions

diff --git a/compiler/basicTypes/DataCon.hi-boot-5 b/compiler/basicTypes/DataCon.hi-boot-5
deleted file mode 100644
index f5a8a2d6a8..0000000000
--- 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
index 4a326cad6f..0000000000
--- 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
index ff901a5840..0000000000
--- 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
index cdc5fbf581..0000000000
--- 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
index 634d95433c..0000000000
--- 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
index f375fcc6e1..0000000000
--- 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
index 588e63f8f1..0000000000
--- 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
index abb98cec1a..0000000000
--- 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
index 2291f93cc6..0000000000
--- 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
index 6031131f33..0000000000
--- 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
index 7e5bbaab7f..0000000000
--- 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
index 42c200fbff..0000000000
--- 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
index 05e2eb5394..0000000000
--- 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
index 1f02ce3d47..0000000000
--- 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
index 3647edfa22..0000000000
--- 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
index 62f020cddb..0000000000
--- 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
index 1ec4d52522..0000000000
--- 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
index 14714cd2f6..0000000000
--- 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
index 43e2330683..0000000000
--- 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
index 23b3a9c963..0000000000
--- 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
index b88d3abeb0..0000000000
--- 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
index 1f040d73e1..0000000000
--- 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
index 80452e4d2f..0000000000
--- 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 ;
-