Moduleghc-10.0.0.20260917GHC2024

GHC.Iface.Make

Module for constructing ModIface values (interface files), writing them to disk and comparing two versions to see if recompilation is required.

5 values

Packageghc-10.0.0.20260917
Exports5
LanguageGHC2024
LicenceBSD-3-Clause
SourceMake.hs

valuemkPartialIface

:: HscEnv
-> CoreProgram
-> ModDetails
-> ModSummary
-> [ImportUserSpec]
-> ModGuts
-> IO PartialModIface

valuemkFullIface

:: HscEnv
-> PartialModIface
-> Maybe StgCgInfos
-> Maybe CmmCgInfos
-> ForeignStubs
-> [(ForeignSrcLang, FilePath)]
-> IO ModIface

Fully instantiate an interface. Adds fingerprints and potentially code generator produced information.

CmmCgInfos is not available when not generating code (-fno-code), or when not generating interface pragmas (-fomit-interface-pragmas). See also Note [Conveying CAF-info and LFInfo between modules] in GHC.StgToCmm.Types.

valuemkIfaceTc

:: HscEnv
-> SafeHaskellMode
-> ModDetails
-> ModSummary
-> Maybe CoreProgram
-> Maybe ModBreaks
-> TcGblEnv
-> IO ModIface

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

valuemkRecompUsageInfo :: HscEnv -> TcGblEnv -> IO (Maybe [Usage])

valuemkIfaceExports :: [AvailInfo] -> [IfaceExport]