GHC.Driver.Pipeline.Execute · ghc-10.0.0.20260917

newtypenewtype HookedUse a

#

Constructors

HookedUse
- runHookedUse :: (Hooks, PhaseHook) -> IO a

Instances8Monad, Functor, Applicative, MonadIO, MonadCatch, MonadMask, …

Monad HookedUseDefined in ghc-10.0.0.20260917 · GHC.Driver.Pipeline.Execute
Functor HookedUseDefined in ghc-10.0.0.20260917 · GHC.Driver.Pipeline.Execute
Applicative HookedUseDefined in ghc-10.0.0.20260917 · GHC.Driver.Pipeline.Execute
MonadIO HookedUseDefined in ghc-10.0.0.20260917 · GHC.Driver.Pipeline.Execute
MonadCatch HookedUseDefined in ghc-10.0.0.20260917 · GHC.Driver.Pipeline.Execute
MonadMask HookedUseDefined in ghc-10.0.0.20260917 · GHC.Driver.Pipeline.Execute
MonadThrow HookedUseDefined in ghc-10.0.0.20260917 · GHC.Driver.Pipeline.Execute
MonadUse TPhase HookedUseDefined in ghc-10.0.0.20260917 · GHC.Driver.Pipeline.Execute

valuerunPipeline :: Hooks -> HookedUse a -> IO a

#

The default mechanism to run a pipeline, see Note [The Pipeline Monad]

valuerunPhase :: TPhase out -> IO out

#

Default interpretation of each phase, in terms of IO.

valuerunLlvmManglePhase :: PipeEnv -> HscEnv -> FilePath -> IO [Char]

#

valuerunMergeForeign

:: PipeEnv
-> HscEnv
-> FilePath
-> [FilePath]
-> IO FilePath

#

valuerunLlvmLlcPhase :: PipeEnv -> HscEnv -> FilePath -> IO FilePath

#

valuerunLlvmOptPhase :: PipeEnv -> HscEnv -> FilePath -> IO FilePath

#

valuerunGenericAsPhase

:: Logger -> DynFlags -> [Option] -> IO ()
-> [Option]
-> Bool
-> PipeEnv
-> HscEnv
-> Maybe ModLocation
-> FilePath
-> IO FilePath

#

valuerunLlvmAsPhase

:: Bool
-> PipeEnv
-> HscEnv
-> Maybe ModLocation
-> FilePath
-> IO FilePath

#

valuerunAsPhase

:: Bool
-> PipeEnv
-> HscEnv
-> Maybe ModLocation
-> FilePath
-> IO FilePath

#

valuerunJsPhase

#

Run the JS Backend postHsc phase.

valuerunForeignJsPhase

#

Deal with foreign JS files (embed them into .o files)

valuerunCcPhase

:: Phase
-> PipeEnv
-> HscEnv
-> Maybe ModLocation
-> FilePath
-> IO FilePath

#

valuerunHscBackendPhase

:: PipeEnv
-> HscEnv
-> ModuleName
-> HscSource
-> ModLocation
-> HscBackendAction
-> IO ([FilePath], ModIface, HomeModLinkable, FilePath)

#

valuerunUnlitPhase :: HscEnv -> FilePath -> FilePath -> IO FilePath

#

valuegetFileArgs

:: HscEnv
-> FilePath
-> IO (DynFlags, Messages PsMessage, Messages DriverMessage)

#

valuerunCppPhase :: HscEnv -> FilePath -> FilePath -> IO FilePath

#

valuerunHscPhase

:: PipeEnv
-> HscEnv
-> FilePath
-> HscSource
-> IO (HscEnv, ModSummary, HscRecompStatus)

#

valuemkOneShotModLocation

#

Calculate the ModLocation from the provided DynFlags. This function is only used in one-shot mode and therefore takes into account the effect of -o/-ohi flags (which do nothing in --make mode)

valuerunHscTcPhase

:: HscEnv
-> ModSummary
-> IO (FrontendResult, Messages GhcMessage)

#

valuerunHscPostTcPhase

#

valuerunHsPpPhase :: HscEnv -> FilePath -> FilePath -> FilePath -> IO FilePath

#

valuephaseOutputFilenameNew

:: Phase
The next phase
-> PipeEnv
-> HscEnv
-> Maybe ModLocation
A ModLocation, if we are compiling a Haskell source file
-> IO FilePath

#

valuegetOutputFilename

:: Logger
-> TmpFs
-> Phase
-> PipelineOutput
-> String
-> DynFlags
-> Phase
-> Maybe ModLocation
-> IO FilePath

#

Computes the next output filename for something in the compilation pipeline. This is controlled by several variables:

Phase: the last phase to be run (e.g. stopPhase). This is used to tell if we're in the last phase or not, because in that case flags like -o may be important.
PipelineOutput: is this intended to be a Temporary or Persistent build output? Temporary files just go in a fresh temporary name.
String: what was the basename of the original input file?
DynFlags: the obvious thing
Phase: the phase we want to determine the output filename of.
Maybe ModLocation: the ModLocation of the module we're compiling; this can be used to override the default output of an object file. (TODO: do we actually need this?)