blob: 40d89fe7275cebcc53029c6c071f5fb23db593cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
module GHC.Tc.Module where
import GHC.Prelude
import GHC.Types.TyThing(TyThing)
import GHC.Tc.Errors.Types (TcRnMessage)
import GHC.Tc.Types (TcM)
import GHC.Types.Name (Name)
checkBootDeclM :: Bool -- ^ True <=> an hs-boot file (could also be a sig)
-> TyThing -> TyThing -> TcM ()
missingBootThing :: Bool -> Name -> String -> TcRnMessage
badReexportedBootThing :: Bool -> Name -> Name -> TcRnMessage
|
