hermit-0.6.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe Haskell	None
Language	Haskell2010

HERMIT.GHC.Typechecker

Synopsis

Documentation

initTcFromModGuts :: HscEnv -> ModGuts -> HscSource -> Bool -> TcM r -> IO (Messages, Maybe r) Source

Re-Setup the typechecking environment from a ModGuts

mk_type_env :: ModGuts -> TypeEnv Source

tcLookupGlobal :: Name -> TcM TyThing