MkIface
- mkUsedNames :: TcGblEnv -> NameSet
- mkDependencies :: TcGblEnv -> IO Dependencies
- mkIface :: HscEnv -> Maybe Fingerprint -> ModDetails -> ModGuts -> IO (Messages, Maybe (ModIface, Bool))
- mkIfaceTc :: HscEnv -> Maybe Fingerprint -> ModDetails -> TcGblEnv -> IO (Messages, Maybe (ModIface, Bool))
- writeIfaceFile :: DynFlags -> ModLocation -> ModIface -> IO ()
- checkOldIface :: HscEnv -> ModSummary -> SourceModified -> Maybe ModIface -> IO (RecompileRequired, Maybe ModIface)
- tyThingToIfaceDecl :: TyThing -> IfaceDecl
Documentation
mkUsedNames :: TcGblEnv -> NameSetSource
mkDependencies :: TcGblEnv -> IO DependenciesSource
Extract information from the rename and typecheck phases to produce a dependencies information for the module being compiled.
mkIface :: HscEnv -> Maybe Fingerprint -> ModDetails -> ModGuts -> IO (Messages, Maybe (ModIface, Bool))Source
mkIfaceTc :: HscEnv -> Maybe Fingerprint -> ModDetails -> TcGblEnv -> IO (Messages, Maybe (ModIface, Bool))Source
make an interface from the results of typechecking only. Useful
for non-optimising compilation, or where we aren't generating any
object code at all (HscNothing).
writeIfaceFile :: DynFlags -> ModLocation -> ModIface -> IO ()Source
checkOldIface :: HscEnv -> ModSummary -> SourceModified -> Maybe ModIface -> IO (RecompileRequired, Maybe ModIface)Source