ghc-7.0.3: The GHC API

MkIface

Synopsis

- 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 -> Bool -> Maybe ModIface -> IO (RecompileRequired, Maybe ModIface)
- tyThingToIfaceDecl :: TyThing -> IfaceDecl

# Documentation

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))

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 ()

checkOldIface :: HscEnv -> ModSummary -> Bool -> Maybe ModIface -> IO (RecompileRequired, Maybe ModIface)

tyThingToIfaceDecl :: TyThing -> IfaceDecl