summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcRnDriver.hs-boot
blob: a867236c74fdff571ace35286cbf6e9c535cf4a0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
module TcRnDriver where

import GhcPrelude
import GHC.Core.Type(TyThing)
import TcRnTypes (TcM)
import Outputable (SDoc)
import GHC.Types.Name (Name)

checkBootDeclM :: Bool  -- ^ True <=> an hs-boot file (could also be a sig)
               -> TyThing -> TyThing -> TcM ()
missingBootThing :: Bool -> Name -> String -> SDoc
badReexportedBootThing :: Bool -> Name -> Name -> SDoc