GHC.Linker.Types

Documentation

newtype Loader

Constructors

Loader

Fields

• loader_state :: MVar (Maybe LoaderState)

data LoaderState

Constructors

LoaderState

Fields

• closure_env :: ClosureEnv

  Current global mapping from Names to their true values

• itbl_env :: !ItblEnv

  The current global mapping from RdrNames of DataCons to info table addresses. When a new Unlinked is linked into the running image, or an existing module in the image is replaced, the itbl_env must be updated appropriately.

• bcos_loaded :: !LinkableSet

  The currently loaded interpreted modules (home package)

• objs_loaded :: !LinkableSet

  And the currently-loaded compiled modules (home package)

• pkgs_loaded :: !PkgsLoaded

  The currently-loaded packages; always object code haskell libraries, system libraries, transitive dependencies

• temp_sos :: ![(FilePath, String)]

  We need to remember the name of previous temporary DLL/.so libraries so we can link them (see #10322)

uninitializedLoader :: IO Loader

data Linkable

Information we can use to dynamically link modules into the compiler

Constructors

LM

Fields

• linkableTime :: !UTCTime

  Time at which this linkable was built (i.e. when the bytecodes were produced, or the mod date on the files)

• linkableModule :: !Module

  The linkable module itself

• linkableUnlinked :: [Unlinked]

  Those files and chunks of code we have yet to link.

  INVARIANT: A valid linkable always has at least one Unlinked item.

Instances

Outputable Linkable

Defined in GHC.Linker.Types

Methods

ppr :: Linkable -> SDoc

type LinkableSet = ModuleEnv Linkable

mkLinkableSet :: [Linkable] -> LinkableSet

unionLinkableSet :: LinkableSet -> LinkableSet -> LinkableSet

type ObjFile = FilePath

data Unlinked

Objects which have yet to be linked by the compiler

Constructors

DotO ObjFile

An object file (.o)

DotA FilePath

Static archive file (.a)

DotDLL FilePath

Dynamically linked library file (.so, .dll, .dylib)

BCOs CompiledByteCode [SptEntry]

A byte-code object, lives only in memory. Also carries some static pointer table entries which should be loaded along with the BCOs. See Note [Grand plan for static forms] in GHC.Iface.Tidy.StaticPtrTable.

Instances

Outputable Unlinked

Defined in GHC.Linker.Types

Methods

ppr :: Unlinked -> SDoc

data SptEntry

An entry to be inserted into a module's static pointer table. See Note [Grand plan for static forms] in GHC.Iface.Tidy.StaticPtrTable.

Constructors

SptEntry Id Fingerprint

Instances

Outputable SptEntry

Defined in GHC.Linker.Types

Methods

ppr :: SptEntry -> SDoc

isObjectLinkable :: Linkable -> Bool

linkableObjs :: Linkable -> [FilePath]

isObject :: Unlinked -> Bool

Is this an actual file on disk we can link in somehow?

nameOfObject :: Unlinked -> FilePath

Retrieve the filename of the linkable if possible. Panic if it is a byte-code object

nameOfObject_maybe :: Unlinked -> Maybe FilePath

isInterpretable :: Unlinked -> Bool

Is this a bytecode linkable with no file on disk?

byteCodeOfObject :: Unlinked -> CompiledByteCode

Retrieve the compiled byte-code if possible. Panic if it is a file-based linkable

data LibrarySpec

Constructors

Objects [FilePath]

Archive FilePath

DLL String

DLLPath FilePath

Framework String

Instances

Outputable LibrarySpec

Defined in GHC.Linker.Types

Methods

ppr :: LibrarySpec -> SDoc

data LoadedPkgInfo

Constructors

LoadedPkgInfo

Fields

• loaded_pkg_uid :: !UnitId
• loaded_pkg_hs_objs :: ![LibrarySpec]
• loaded_pkg_non_hs_objs :: ![LibrarySpec]
• loaded_pkg_trans_deps :: UniqDSet UnitId

Instances

Outputable LoadedPkgInfo

Defined in GHC.Linker.Types

Methods

ppr :: LoadedPkgInfo -> SDoc

type PkgsLoaded = UniqDFM UnitId LoadedPkgInfo