From 6.4 onwards we use .(l)hs-boot instead.
Spotted by Max Bolingbroke.
+++ /dev/null
-module DataCon where
-
-data DataCon
-dataConName :: DataCon -> Name.Name
-isVanillaDataCon :: DataCon -> GHC.Base.Bool
+++ /dev/null
-module IdInfo where
-
-data IdInfo
-data GlobalIdDetails
-
-notGlobalId :: GlobalIdDetails
-seqIdInfo :: IdInfo -> ()
-vanillaIdInfo :: IdInfo
+++ /dev/null
-module MkId where
-
-mkDataConIds :: Name.Name -> Name.Name -> DataCon.DataCon -> DataCon.DataConIds
-
-
+++ /dev/null
-module Module where
-data Module
-data ModuleName
-data PackageId
-moduleName :: Module -> ModuleName
-modulePackageId :: Module -> PackageId
-packageIdString :: PackageId -> GHC.Base.String
+++ /dev/null
-module Name where
-
-data Name
+++ /dev/null
-module OccName where
-
-data OccName
-
+++ /dev/null
-module CgBindery where
-
-type CgBindings = VarEnv.IdEnv CgIdInfo
-data CgIdInfo
-data VolatileLoc
-data StableLoc
-
-nukeVolatileBinds :: CgBindings -> CgBindings
+++ /dev/null
-module CgExpr where
-
-cgExpr :: StgSyn.StgExpr -> CgMonad.Code
+++ /dev/null
-module ClosureInfo where
-
-data LambdaFormInfo
-data ClosureInfo
+++ /dev/null
-module CoreSyn where
-
--- Needed by Var.lhs
-data Expr b
-type CoreExpr = Expr Var.Var
+++ /dev/null
-module DsExpr where
-
-dsExpr :: HsExpr.HsExpr Var.Id -> DsMonad.DsM CoreSyn.CoreExpr
-dsLExpr :: HsExpr.LHsExpr Var.Id -> DsMonad.DsM CoreSyn.CoreExpr
-dsLocalBinds :: HsBinds.HsLocalBinds Var.Id -> CoreSyn.CoreExpr -> DsMonad.DsM CoreSyn.CoreExpr
-dsValBinds :: HsBinds.HsValBinds Var.Id -> CoreSyn.CoreExpr -> DsMonad.DsM CoreSyn.CoreExpr
+++ /dev/null
-module Match where
-
-match :: [Var.Id]
- -> TcType.TcType
- -> [DsMonad.EquationInfo]
- -> DsMonad.DsM DsMonad.MatchResult
-
-matchWrapper
- :: HsExpr.HsMatchContext Name.Name
- -> HsExpr.MatchGroup Var.Id
- -> DsMonad.DsM ([Var.Id], CoreSyn.CoreExpr)
-
-matchSimply
- :: CoreSyn.CoreExpr
- -> HsExpr.HsMatchContext Name.Name
- -> HsPat.LPat Var.Id
- -> CoreSyn.CoreExpr
- -> CoreSyn.CoreExpr
- -> DsMonad.DsM CoreSyn.CoreExpr
-
-matchSinglePat
- :: CoreSyn.CoreExpr
- -> HsExpr.HsMatchContext Name.Name
- -> HsPat.LPat Var.Id
- -> TcType.TcType
- -> DsMonad.MatchResult
- -> DsMonad.DsM DsMonad.MatchResult
+++ /dev/null
-module HsExpr where
-
-data HsExpr i
-data HsSplice i
-data MatchGroup a
-data GRHSs a
-
-type LHsExpr a = SrcLoc.Located (HsExpr a)
-type SyntaxExpr a = HsExpr a
-type PostTcExpr = HsExpr Var.Id
-
-pprLExpr :: (Outputable.OutputableBndr i) =>
- LHsExpr i -> Outputable.SDoc
-
-pprExpr :: (Outputable.OutputableBndr i) =>
- HsExpr.HsExpr i -> Outputable.SDoc
-
-pprSplice :: (Outputable.OutputableBndr i) =>
- HsExpr.HsSplice i -> Outputable.SDoc
-
-pprPatBind :: (Outputable.OutputableBndr b, Outputable.OutputableBndr i) =>
- HsPat.LPat b -> HsExpr.GRHSs i -> Outputable.SDoc
-
-pprFunBind :: (Outputable.OutputableBndr idL, Outputable.OutputableBndr idR) =>
- idL -> GHC.Base.Bool -> HsExpr.MatchGroup idR -> Outputable.SDoc
+++ /dev/null
-module HsPat where
-
-data HsQuasiQuote i = HsQuasiQuote i i SrcSpan FastString
-
-data Pat i
-type LPat i = SrcLoc.Located (Pat i)
+++ /dev/null
-module TcIface where
-
-tcIfaceDecl :: GHC.Base.Bool -> IfaceSyn.IfaceDecl -> TcRnTypes.IfL TypeRep.TyThing
-tcIfaceInst :: IfaceSyn.IfaceInst -> TcRnTypes.IfL InstEnv.Instance
-tcIfaceRules :: GHC.Base.Bool -> [IfaceSyn.IfaceRule] -> TcRnTypes.IfL [CoreSyn.CoreRule]
-tcIfaceVectInfo :: Module.Module -> HscTypes.TypeEnv -> HscTypes.IfaceVectInfo -> TcRnTypes.IfL HscTypes.VectInfo
-tcIfaceFamInst :: IfaceSyn.IfaceFamInst -> TcRnTypes.IfL FamInstEnv.FamInst
-
-
+++ /dev/null
-module ErrUtils where
-
-data Severity
- = SevInfo
- | SevWarning
- | SevError
- | SevFatal
-
-type Message = Outputable.SDoc
-
-mkLocMessage :: SrcLoc.SrcSpan -> Message -> Message
+++ /dev/null
-module HscTypes where
-
-data Session
+++ /dev/null
-module Packages where
-data PackageState
+++ /dev/null
-module HaddockLex where
-
-tokenise :: GHC.Base.String -> [Token]
-
-data Token
- = TokPara
- | TokNumber
- | TokBullet
- | TokDefStart
- | TokDefEnd
- | TokSpecial GHC.Base.Char
- | TokIdent [RdrName.RdrName]
- | TokString GHC.Base.String
- | TokURL GHC.Base.String
- | TokPic GHC.Base.String
- | TokEmphasis GHC.Base.String
- | TokAName GHC.Base.String
- | TokBirdTrack GHC.Base.String
+++ /dev/null
-module RnExpr where\r
-\r
-rnLExpr :: HsExpr.LHsExpr RdrName.RdrName\r
- -> TcRnTypes.RnM (HsExpr.LHsExpr Name.Name, NameSet.FreeVars)\r
-\r
-rnStmts :: forall thing.\r
- HsExpr.HsStmtContext Name.Name -> [HsExpr.LStmt RdrName.RdrName] \r
- -> TcRnTypes.RnM (thing, NameSet.FreeVars)\r
- -> TcRnTypes.RnM (([HsExpr.LStmt Name.Name], thing), NameSet.FreeVars)\r
-\r
-\r
+++ /dev/null
-module TcExpr where
-
-tcPolyExpr ::
- HsExpr.LHsExpr Name.Name
- -> TcType.BoxySigmaType
- -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
-
-tcMonoExpr ::
- HsExpr.LHsExpr Name.Name
- -> TcType.BoxyRhoType
- -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
-
-tcInferRho ::
- HsExpr.LHsExpr Name.Name
- -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)
-
-tcSyntaxOp ::
- TcRnTypes.InstOrigin
- -> HsExpr.HsExpr Name.Name
- -> TcType.TcType
- -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)
+++ /dev/null
-module TcMatches where
-
-tcGRHSsPat :: HsExpr.GRHSs Name.Name
- -> TcType.BoxyRhoType
- -> TcRnTypes.TcM (HsExpr.GRHSs TcRnTypes.TcId)
-
-tcMatchesFun :: Name.Name
- -> GHC.Base.Bool
- -> HsExpr.MatchGroup Name.Name
- -> TcType.BoxyRhoType
- -> TcRnTypes.TcM (HsBinds.HsWrapper, HsExpr.MatchGroup TcRnTypes.TcId)
+++ /dev/null
-module TcSplice where
-
-tcSpliceExpr :: HsExpr.HsSplice Name.Name
- -> TcType.BoxyRhoType
- -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)
-
-kcSpliceType :: HsExpr.HsSplice Name.Name
- -> TcRnTypes.TcM (HsTypes.HsType Name.Name, TcType.TcKind)
-
-tcBracket :: HsExpr.HsBracket Name.Name
- -> TcType.BoxyRhoType
- -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
-
-tcSpliceDecls :: HsExpr.LHsExpr Name.Name
-
-runQuasiQuoteExpr :: HsQuasiQuote Name.Name -> TcM (LHsExpr RdrName)
-runQuasiQuotePat :: HsQuasiQuote Name -> TcM (LPat RdrName)
+++ /dev/null
-module TcType where
-
-data TcTyVarDetails
-
-pprTcTyVarDetails :: TcTyVarDetails -> Outputable.SDoc
\ No newline at end of file
+++ /dev/null
-module TcUnify where
-
--- This boot file exists only to tie the knot between
--- TcUnify and TcSimplify
-
-unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM Coercion.CoercionI
-zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType
-boxyUnify :: TcType.BoxyType -> TcType.BoxyType -> TcRnTypes.TcM Coercion.CoercionI
+++ /dev/null
-module TyCon where
-
-data TyCon
-
-isTupleTyCon :: TyCon -> GHC.Base.Bool
-isUnboxedTupleTyCon :: TyCon -> GHC.Base.Bool
-isFunTyCon :: TyCon -> GHC.Base.Bool
+++ /dev/null
-module TypeRep where
-
-data Type
-data PredType
-data TyThing
-type Kind = Type
-isCoercionKind :: Kind -> GHC.Base.Bool
-