Safe Haskell	None
Language	GHC2024

GHC.Linker.Loader

Contents

Load & Unload
LoadedEnv
Internals

Description

The loader

This module deals with the top-level issues of dynamic linking (loading), calling the object-code linker and the byte-code linker where necessary.

Synopsis

newtype Loader = Loader {
- loader_state :: MVar (Maybe LoaderState)
}
data LoaderState = LoaderState {
- bco_loader_state :: !BytecodeLoaderState
- bcos_loaded :: !LinkableSet
- objs_loaded :: !LinkableSet
- pkgs_loaded :: !PkgsLoaded
- temp_sos :: ![(FilePath, String)]
}
initLoaderState :: Interp -> HscEnv -> IO ()
uninitializedLoader :: IO Loader
showLoaderState :: Interp -> IO SDoc
getLoaderState :: Interp -> IO (Maybe LoaderState)
loadDecls :: Interp -> HscEnv -> SrcSpan -> Linkable -> IO ([Linkable], PkgsLoaded)
loadPackages :: Interp -> HscEnv -> [UnitId] -> IO ()
loadModule :: Interp -> HscEnv -> Module -> IO ()
loadCmdLineLibs :: Interp -> HscEnv -> IO ()
loadName :: Interp -> HscEnv -> Name -> IO (ForeignHValue, [Linkable], PkgsLoaded)
unload :: Interp -> HscEnv -> IO ()
withExtendedLoadedEnv :: ExceptionMonad m => Interp -> [(Name, ForeignHValue)] -> m a -> m a
extendLoadedEnv :: Interp -> BytecodeLoaderStateModifier -> [(Name, ForeignHValue)] -> IO ()
deleteFromLoadedHomeEnv :: Interp -> [Name] -> IO ()
lookupFromLoadedEnv :: Interp -> Name -> IO (Maybe ForeignHValue)
allocateBreakArrays :: Interp -> ModuleEnv (ForeignRef BreakArray) -> [InternalModBreaks] -> IO (ModuleEnv (ForeignRef BreakArray))
rmDupLinkables :: LinkableSet -> [Linkable] -> (LinkableSet, [Linkable])
modifyLoaderState :: Interp -> (LoaderState -> IO (LoaderState, a)) -> IO a
initLinkDepsOpts :: HscEnv -> LinkDepsOpts
getGccSearchDirectory :: Logger -> LdConfig -> String -> IO [FilePath]
mkDynLoadLib :: HscEnv -> (Ways -> Ways) -> [(FilePath, String)] -> [UnitId] -> [FilePath] -> IO (Maybe (FilePath, FilePath, String))

Documentation

newtype Loader Source #

Constructors

Loader
Fields loader_state :: MVar (Maybe LoaderState)

data LoaderState Source #

Constructors

LoaderState

Fields

bco_loader_state :: !BytecodeLoaderState
Information about bytecode objects we have loaded into the interpreter.
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; 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)

initLoaderState :: Interp -> HscEnv -> IO () Source #

Initialise the dynamic linker. This entails

a) Calling the C initialisation procedure,

b) Loading any packages specified on the command line,

c) Loading any packages specified on the command line, now held in the -l options in v_Opt_l,

d) Loading any .o/.dll files specified on the command line, now held in ldInputs,

e) Loading any MacOS frameworks.

NOTE: This function is idempotent; if called more than once, it does nothing. This is useful in Template Haskell, where we call it before trying to link.

uninitializedLoader :: IO Loader Source #

showLoaderState :: Interp -> IO SDoc Source #

Display the loader state.

getLoaderState :: Interp -> IO (Maybe LoaderState) Source #

Load & Unload

loadDecls :: Interp -> HscEnv -> SrcSpan -> Linkable -> IO ([Linkable], PkgsLoaded) Source #

Load the dependencies of a linkable, and then load the linkable itself.

loadPackages :: Interp -> HscEnv -> [UnitId] -> IO () Source #

Load exactly the specified packages, and their dependents (unless of course they are already loaded). The dependents are loaded automatically, and it doesn't matter what order you specify the input packages.

loadModule :: Interp -> HscEnv -> Module -> IO () Source #

loadCmdLineLibs :: Interp -> HscEnv -> IO () Source #

loadName :: Interp -> HscEnv -> Name -> IO (ForeignHValue, [Linkable], PkgsLoaded) Source #

Load the module containing the given Name and get its associated HValue.

Throws a ProgramError if loading fails or the name cannot be found.

unload :: Interp -> HscEnv -> IO () Source #

Unloading old objects ready for a new compilation sweep. * compilation artifacts for home modules that we might be about to recompile are unloaded from the interpreter. * we also implicitly unload all temporary bindings at this point.

LoadedEnv

withExtendedLoadedEnv :: ExceptionMonad m => Interp -> [(Name, ForeignHValue)] -> m a -> m a Source #

Temporarily extend the loaded env.

extendLoadedEnv :: Interp -> BytecodeLoaderStateModifier -> [(Name, ForeignHValue)] -> IO () Source #

deleteFromLoadedHomeEnv :: Interp -> [Name] -> IO () Source #

lookupFromLoadedEnv :: Interp -> Name -> IO (Maybe ForeignHValue) Source #

Have we already loaded a name into the interpreter?

Internals

allocateBreakArrays :: Interp -> ModuleEnv (ForeignRef BreakArray) -> [InternalModBreaks] -> IO (ModuleEnv (ForeignRef BreakArray)) Source #

Given a list of InternalModBreaks collected from a list of CompiledByteCode, allocate the BreakArray used to trigger breakpoints.

rmDupLinkables :: LinkableSet -> [Linkable] -> (LinkableSet, [Linkable]) Source #

modifyLoaderState :: Interp -> (LoaderState -> IO (LoaderState, a)) -> IO a Source #

initLinkDepsOpts :: HscEnv -> LinkDepsOpts Source #

getGccSearchDirectory :: Logger -> LdConfig -> String -> IO [FilePath] Source #

mkDynLoadLib :: HscEnv -> (Ways -> Ways) -> [(FilePath, String)] -> [UnitId] -> [FilePath] -> IO (Maybe (FilePath, FilePath, String)) Source #

Create a shared library containing the given object files