Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcRnDriver.hs-boot
1 module TcRnDriver where
2
3 import GhcPrelude
4 import DynFlags (DynFlags)
5 import Type (TyThing)
6 import TcRnTypes (TcM)
7 import Outputable (SDoc)
8 import Name (Name)
9
10 checkBootDeclM :: Bool  -- ^ True <=> an hs-boot file (could also be a sig)
11                -> TyThing -> TyThing -> TcM ()
12 missingBootThing :: Bool -> Name -> String -> SDoc
13 badReexportedBootThing :: DynFlags -> Bool -> Name -> Name -> SDoc