From 7929e42210b7d8ff518cfcdb353188c283dd48e5 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Fri, 28 Jul 2006 14:08:09 +0000 Subject: [PATCH] .hi-boot-5 is obsolete; the earliest GHC we support uses .hi-boot-6 --- compiler/basicTypes/DataCon.hi-boot-5 | 5 ----- compiler/basicTypes/IdInfo.hi-boot-5 | 8 -------- compiler/basicTypes/MkId.hi-boot-5 | 3 --- compiler/basicTypes/Module.hi-boot-5 | 4 ---- compiler/basicTypes/Name.hi-boot-5 | 3 --- compiler/codeGen/CgBindery.hi-boot-5 | 7 ------- compiler/codeGen/CgExpr.hi-boot-5 | 3 --- compiler/codeGen/CgUsages.hi-boot-5 | 3 --- compiler/codeGen/ClosureInfo.hi-boot-5 | 4 ---- compiler/coreSyn/CoreSyn.hi-boot-5 | 6 ------ compiler/deSugar/DsExpr.hi-boot-5 | 5 ----- compiler/deSugar/Match.hi-boot-5 | 6 ------ compiler/hsSyn/HsExpr.hi-boot-5 | 14 -------------- compiler/hsSyn/HsPat.hi-boot-5 | 6 ------ compiler/iface/TcIface.hi-boot-5 | 5 ----- compiler/main/Packages.hi-boot-5 | 3 --- compiler/rename/RnSource.hi-boot-5 | 13 ------------- compiler/typecheck/TcExpr.hi-boot-5 | 16 ---------------- compiler/typecheck/TcMatches.hi-boot-5 | 10 ---------- compiler/typecheck/TcType.hi-boot-5 | 3 --- compiler/typecheck/TcUnify.hi-boot-5 | 8 -------- compiler/types/TyCon.hi-boot-5 | 6 ------ compiler/types/TypeRep.hi-boot-5 | 9 --------- 23 files changed, 150 deletions(-) delete mode 100644 compiler/basicTypes/DataCon.hi-boot-5 delete mode 100644 compiler/basicTypes/IdInfo.hi-boot-5 delete mode 100644 compiler/basicTypes/MkId.hi-boot-5 delete mode 100644 compiler/basicTypes/Module.hi-boot-5 delete mode 100644 compiler/basicTypes/Name.hi-boot-5 delete mode 100644 compiler/codeGen/CgBindery.hi-boot-5 delete mode 100644 compiler/codeGen/CgExpr.hi-boot-5 delete mode 100644 compiler/codeGen/CgUsages.hi-boot-5 delete mode 100644 compiler/codeGen/ClosureInfo.hi-boot-5 delete mode 100644 compiler/coreSyn/CoreSyn.hi-boot-5 delete mode 100644 compiler/deSugar/DsExpr.hi-boot-5 delete mode 100644 compiler/deSugar/Match.hi-boot-5 delete mode 100644 compiler/hsSyn/HsExpr.hi-boot-5 delete mode 100644 compiler/hsSyn/HsPat.hi-boot-5 delete mode 100644 compiler/iface/TcIface.hi-boot-5 delete mode 100644 compiler/main/Packages.hi-boot-5 delete mode 100644 compiler/rename/RnSource.hi-boot-5 delete mode 100644 compiler/typecheck/TcExpr.hi-boot-5 delete mode 100644 compiler/typecheck/TcMatches.hi-boot-5 delete mode 100644 compiler/typecheck/TcType.hi-boot-5 delete mode 100644 compiler/typecheck/TcUnify.hi-boot-5 delete mode 100644 compiler/types/TyCon.hi-boot-5 delete mode 100644 compiler/types/TypeRep.hi-boot-5 diff --git a/compiler/basicTypes/DataCon.hi-boot-5 b/compiler/basicTypes/DataCon.hi-boot-5 deleted file mode 100644 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 ; - -- 1.7.10.4