blob: cdbdca50af183667580a02bbb49ddaeb598cd879 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
module TcRnDriver where
import GhcPrelude
import Type (TyThing)
import TcRnTypes (TcM)
import Outputable (SDoc)
import 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
|