Commit 7929e422 authored by Simon Marlow's avatar Simon Marlow
Browse files

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

parent d6cb33e0
__interface DataCon 1 0 where
__export DataCon DataCon isExistentialDataCon dataConName ;
1 data DataCon ;
1 isExistentialDataCon :: DataCon -> PrelBase.Bool ;
1 dataConName :: DataCon -> Name.Name ;
__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 ;
__interface MkId 1 0 where
__export MkId mkDataConIds ;
1 mkDataConIds :: Name.Name -> Name.Name -> DataCon.DataCon -> DataCon.DataConIds ;
__interface Module 1 0 where
__export Module Module ;
1 data Module ;
__interface Name 1 0 where
__export Name Name;
1 data Name ;
__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 ;
__interface CgExpr 1 0 where
__export CgExpr cgExpr;
1 cgExpr :: StgSyn.StgExpr -> CgMonad.Code ;
__interface CgUsages 1 0 where
__export CgUsages getSpRelOffset;
1 getSpRelOffset :: AbsCSyn.VirtualSpOffset -> CgMonad.FCode AbsCSyn.RegRelative ;
__interface ClosureInfo 1 0 where
__export ClosureInfo ClosureInfo LambdaFormInfo;
1 data LambdaFormInfo;
1 data ClosureInfo;
__interface CoreSyn 1 0 where
__export CoreSyn CoreExpr ;
-- Needed by Var.lhs
1 type CoreExpr = Expr Var.Var;
1 data Expr b ;
__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 ;
__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 ;
__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 ;
__interface HsPat 1 0 where
__export Pat LPat ;
1 data Pat i ;
1 type LPat i = SrcLoc.Located (Pat i) ;
__interface TcIface 1 0 where
__export TcIface tcImportDecl ;
1 tcImportDecl :: Name.Name -> TcRnTypes.IfG TypeRep.TyThing ;
__interface Packages 1 0 where
__export Packages PackageState ;
1 data PackageState ;
__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)
__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) ;
__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] ;
__interface TcType 1 0 where
__export TcType TyVarDetails;
1 data TyVarDetails ;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment