{-# LANGUAGE RecordWildCards #-}
module GHC.Iface.Recomp.Flags (
fingerprintDynFlags
, fingerprintOptFlags
, fingerprintHpcFlags
) where
import GHC.Prelude
import GHC.Utils.Binary
import GHC.Driver.Session
import GHC.Driver.Types
import GHC.Unit.Module
import GHC.Types.Name
import GHC.Utils.Fingerprint
import GHC.Iface.Recomp.Binary
import GHC.Data.EnumSet as EnumSet
import System.FilePath (normalise)
fingerprintDynFlags :: DynFlags -> Module
-> (BinHandle -> Name -> IO ())
-> IO Fingerprint
fingerprintDynFlags :: DynFlags
-> Module -> (BinHandle -> Name -> IO ()) -> IO Fingerprint
fingerprintDynFlags dflags :: DynFlags
dflags@DynFlags{Bool
Int
FilePath
[Int]
[FilePath]
[(FilePath, FilePath)]
[(ModuleName, FilePath)]
[(ModuleName, Module)]
[IgnorePackageFlag]
[TrustFlag]
[PackageFlag]
[PackageDBFlag]
[Option]
[ModuleName]
[LoadedPlugin]
[StaticPlugin]
[OnOff Extension]
Maybe Int
Maybe FilePath
Maybe [UnitDatabase UnitId]
Maybe (FilePath, Int)
Maybe Language
Maybe IndefUnitId
Maybe SseVersion
Maybe BmiVersion
Word
IORef Bool
IORef Int
IORef (Maybe LinkerInfo)
IORef (Maybe CompilerInfo)
IORef (Map FilePath FilePath)
IORef (Set FilePath)
IORef FilesToClean
IORef (ModuleEnv Int)
Set Way
IncludeSpecs
SafeHaskellMode
CfgWeights
ProfAuto
LlvmConfig
HscTarget
GhcMode
GhcLink
DynLibLoader
RtsOptsEnabled
FlushOut
FlushErr
IntWithInf
SrcSpan
UnitState
Scheme
OverridingBool
UnitId
Module
ToolSettings
FileSettings
GhcNameVersion
PlatformConstants
EnumSet DumpFlag
EnumSet GeneralFlag
EnumSet WarningFlag
EnumSet Extension
Hooks
Platform
PlatformMisc
LogAction
DumpAction
TraceAction
unitState :: DynFlags -> UnitState
targetPlatform :: DynFlags -> Platform
ghcMode :: DynFlags -> GhcMode
ghcLink :: DynFlags -> GhcLink
hscTarget :: DynFlags -> HscTarget
ghcNameVersion :: DynFlags -> GhcNameVersion
fileSettings :: DynFlags -> FileSettings
toolSettings :: DynFlags -> ToolSettings
platformMisc :: DynFlags -> PlatformMisc
platformConstants :: DynFlags -> PlatformConstants
rawSettings :: DynFlags -> [(FilePath, FilePath)]
llvmConfig :: DynFlags -> LlvmConfig
verbosity :: DynFlags -> Int
optLevel :: DynFlags -> Int
debugLevel :: DynFlags -> Int
simplPhases :: DynFlags -> Int
maxSimplIterations :: DynFlags -> Int
ruleCheck :: DynFlags -> Maybe FilePath
inlineCheck :: DynFlags -> Maybe FilePath
strictnessBefore :: DynFlags -> [Int]
parMakeCount :: DynFlags -> Maybe Int
enableTimeStats :: DynFlags -> Bool
ghcHeapSize :: DynFlags -> Maybe Int
maxRelevantBinds :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
refLevelHoleFits :: DynFlags -> Maybe Int
maxUncoveredPatterns :: DynFlags -> Int
maxPmCheckModels :: DynFlags -> Int
simplTickFactor :: DynFlags -> Int
specConstrThreshold :: DynFlags -> Maybe Int
specConstrCount :: DynFlags -> Maybe Int
specConstrRecursive :: DynFlags -> Int
binBlobThreshold :: DynFlags -> Word
liberateCaseThreshold :: DynFlags -> Maybe Int
floatLamArgs :: DynFlags -> Maybe Int
liftLamsRecArgs :: DynFlags -> Maybe Int
liftLamsNonRecArgs :: DynFlags -> Maybe Int
liftLamsKnown :: DynFlags -> Bool
cmmProcAlignment :: DynFlags -> Maybe Int
historySize :: DynFlags -> Int
importPaths :: DynFlags -> [FilePath]
mainModIs :: DynFlags -> Module
mainFunIs :: DynFlags -> Maybe FilePath
reductionDepth :: DynFlags -> IntWithInf
solverIterations :: DynFlags -> IntWithInf
homeUnitId :: DynFlags -> UnitId
homeUnitInstanceOfId :: DynFlags -> Maybe IndefUnitId
homeUnitInstantiations :: DynFlags -> [(ModuleName, Module)]
ways :: DynFlags -> Set Way
splitInfo :: DynFlags -> Maybe (FilePath, Int)
objectDir :: DynFlags -> Maybe FilePath
dylibInstallName :: DynFlags -> Maybe FilePath
hiDir :: DynFlags -> Maybe FilePath
hieDir :: DynFlags -> Maybe FilePath
stubDir :: DynFlags -> Maybe FilePath
dumpDir :: DynFlags -> Maybe FilePath
objectSuf :: DynFlags -> FilePath
hcSuf :: DynFlags -> FilePath
hiSuf :: DynFlags -> FilePath
hieSuf :: DynFlags -> FilePath
canGenerateDynamicToo :: DynFlags -> IORef Bool
dynObjectSuf :: DynFlags -> FilePath
dynHiSuf :: DynFlags -> FilePath
outputFile :: DynFlags -> Maybe FilePath
dynOutputFile :: DynFlags -> Maybe FilePath
outputHi :: DynFlags -> Maybe FilePath
dynLibLoader :: DynFlags -> DynLibLoader
dumpPrefix :: DynFlags -> Maybe FilePath
dumpPrefixForce :: DynFlags -> Maybe FilePath
ldInputs :: DynFlags -> [Option]
includePaths :: DynFlags -> IncludeSpecs
libraryPaths :: DynFlags -> [FilePath]
frameworkPaths :: DynFlags -> [FilePath]
cmdlineFrameworks :: DynFlags -> [FilePath]
rtsOpts :: DynFlags -> Maybe FilePath
rtsOptsEnabled :: DynFlags -> RtsOptsEnabled
rtsOptsSuggestions :: DynFlags -> Bool
hpcDir :: DynFlags -> FilePath
pluginModNames :: DynFlags -> [ModuleName]
pluginModNameOpts :: DynFlags -> [(ModuleName, FilePath)]
frontendPluginOpts :: DynFlags -> [FilePath]
cachedPlugins :: DynFlags -> [LoadedPlugin]
staticPlugins :: DynFlags -> [StaticPlugin]
hooks :: DynFlags -> Hooks
depMakefile :: DynFlags -> FilePath
depIncludePkgDeps :: DynFlags -> Bool
depIncludeCppDeps :: DynFlags -> Bool
depExcludeMods :: DynFlags -> [ModuleName]
depSuffixes :: DynFlags -> [FilePath]
packageDBFlags :: DynFlags -> [PackageDBFlag]
ignorePackageFlags :: DynFlags -> [IgnorePackageFlag]
packageFlags :: DynFlags -> [PackageFlag]
pluginPackageFlags :: DynFlags -> [PackageFlag]
trustFlags :: DynFlags -> [TrustFlag]
packageEnv :: DynFlags -> Maybe FilePath
unitDatabases :: DynFlags -> Maybe [UnitDatabase UnitId]
filesToClean :: DynFlags -> IORef FilesToClean
dirsToClean :: DynFlags -> IORef (Map FilePath FilePath)
nextTempSuffix :: DynFlags -> IORef Int
generatedDumps :: DynFlags -> IORef (Set FilePath)
dumpFlags :: DynFlags -> EnumSet DumpFlag
generalFlags :: DynFlags -> EnumSet GeneralFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
fatalWarningFlags :: DynFlags -> EnumSet WarningFlag
language :: DynFlags -> Maybe Language
safeHaskell :: DynFlags -> SafeHaskellMode
safeInfer :: DynFlags -> Bool
safeInferred :: DynFlags -> Bool
thOnLoc :: DynFlags -> SrcSpan
newDerivOnLoc :: DynFlags -> SrcSpan
deriveViaOnLoc :: DynFlags -> SrcSpan
overlapInstLoc :: DynFlags -> SrcSpan
incoherentOnLoc :: DynFlags -> SrcSpan
pkgTrustOnLoc :: DynFlags -> SrcSpan
warnSafeOnLoc :: DynFlags -> SrcSpan
warnUnsafeOnLoc :: DynFlags -> SrcSpan
trustworthyOnLoc :: DynFlags -> SrcSpan
extensions :: DynFlags -> [OnOff Extension]
extensionFlags :: DynFlags -> EnumSet Extension
ufCreationThreshold :: DynFlags -> Int
ufUseThreshold :: DynFlags -> Int
ufFunAppDiscount :: DynFlags -> Int
ufDictDiscount :: DynFlags -> Int
ufDearOp :: DynFlags -> Int
ufVeryAggressive :: DynFlags -> Bool
maxWorkerArgs :: DynFlags -> Int
ghciHistSize :: DynFlags -> Int
log_action :: DynFlags -> LogAction
dump_action :: DynFlags -> DumpAction
trace_action :: DynFlags -> TraceAction
flushOut :: DynFlags -> FlushOut
flushErr :: DynFlags -> FlushErr
ghcVersionFile :: DynFlags -> Maybe FilePath
haddockOptions :: DynFlags -> Maybe FilePath
ghciScripts :: DynFlags -> [FilePath]
pprUserLength :: DynFlags -> Int
pprCols :: DynFlags -> Int
useUnicode :: DynFlags -> Bool
useColor :: DynFlags -> OverridingBool
canUseColor :: DynFlags -> Bool
colScheme :: DynFlags -> Scheme
profAuto :: DynFlags -> ProfAuto
interactivePrint :: DynFlags -> Maybe FilePath
nextWrapperNum :: DynFlags -> IORef (ModuleEnv Int)
sseVersion :: DynFlags -> Maybe SseVersion
bmiVersion :: DynFlags -> Maybe BmiVersion
avx :: DynFlags -> Bool
avx2 :: DynFlags -> Bool
avx512cd :: DynFlags -> Bool
avx512er :: DynFlags -> Bool
avx512f :: DynFlags -> Bool
avx512pf :: DynFlags -> Bool
rtldInfo :: DynFlags -> IORef (Maybe LinkerInfo)
rtccInfo :: DynFlags -> IORef (Maybe CompilerInfo)
maxInlineAllocSize :: DynFlags -> Int
maxInlineMemcpyInsns :: DynFlags -> Int
maxInlineMemsetInsns :: DynFlags -> Int
reverseErrors :: DynFlags -> Bool
maxErrors :: DynFlags -> Maybe Int
initialUnique :: DynFlags -> Int
uniqueIncrement :: DynFlags -> Int
cfgWeightInfo :: DynFlags -> CfgWeights
cfgWeightInfo :: CfgWeights
uniqueIncrement :: Int
initialUnique :: Int
maxErrors :: Maybe Int
reverseErrors :: Bool
maxInlineMemsetInsns :: Int
maxInlineMemcpyInsns :: Int
maxInlineAllocSize :: Int
rtccInfo :: IORef (Maybe CompilerInfo)
rtldInfo :: IORef (Maybe LinkerInfo)
avx512pf :: Bool
avx512f :: Bool
avx512er :: Bool
avx512cd :: Bool
avx2 :: Bool
avx :: Bool
bmiVersion :: Maybe BmiVersion
sseVersion :: Maybe SseVersion
nextWrapperNum :: IORef (ModuleEnv Int)
interactivePrint :: Maybe FilePath
profAuto :: ProfAuto
colScheme :: Scheme
canUseColor :: Bool
useColor :: OverridingBool
useUnicode :: Bool
pprCols :: Int
pprUserLength :: Int
ghciScripts :: [FilePath]
haddockOptions :: Maybe FilePath
ghcVersionFile :: Maybe FilePath
flushErr :: FlushErr
flushOut :: FlushOut
trace_action :: TraceAction
dump_action :: DumpAction
log_action :: LogAction
ghciHistSize :: Int
maxWorkerArgs :: Int
ufVeryAggressive :: Bool
ufDearOp :: Int
ufDictDiscount :: Int
ufFunAppDiscount :: Int
ufUseThreshold :: Int
ufCreationThreshold :: Int
extensionFlags :: EnumSet Extension
extensions :: [OnOff Extension]
trustworthyOnLoc :: SrcSpan
warnUnsafeOnLoc :: SrcSpan
warnSafeOnLoc :: SrcSpan
pkgTrustOnLoc :: SrcSpan
incoherentOnLoc :: SrcSpan
overlapInstLoc :: SrcSpan
deriveViaOnLoc :: SrcSpan
newDerivOnLoc :: SrcSpan
thOnLoc :: SrcSpan
safeInferred :: Bool
safeInfer :: Bool
safeHaskell :: SafeHaskellMode
language :: Maybe Language
fatalWarningFlags :: EnumSet WarningFlag
warningFlags :: EnumSet WarningFlag
generalFlags :: EnumSet GeneralFlag
dumpFlags :: EnumSet DumpFlag
generatedDumps :: IORef (Set FilePath)
nextTempSuffix :: IORef Int
dirsToClean :: IORef (Map FilePath FilePath)
filesToClean :: IORef FilesToClean
unitState :: UnitState
unitDatabases :: Maybe [UnitDatabase UnitId]
packageEnv :: Maybe FilePath
trustFlags :: [TrustFlag]
pluginPackageFlags :: [PackageFlag]
packageFlags :: [PackageFlag]
ignorePackageFlags :: [IgnorePackageFlag]
packageDBFlags :: [PackageDBFlag]
depSuffixes :: [FilePath]
depExcludeMods :: [ModuleName]
depIncludeCppDeps :: Bool
depIncludePkgDeps :: Bool
depMakefile :: FilePath
hooks :: Hooks
staticPlugins :: [StaticPlugin]
cachedPlugins :: [LoadedPlugin]
frontendPluginOpts :: [FilePath]
pluginModNameOpts :: [(ModuleName, FilePath)]
pluginModNames :: [ModuleName]
hpcDir :: FilePath
rtsOptsSuggestions :: Bool
rtsOptsEnabled :: RtsOptsEnabled
rtsOpts :: Maybe FilePath
cmdlineFrameworks :: [FilePath]
frameworkPaths :: [FilePath]
libraryPaths :: [FilePath]
includePaths :: IncludeSpecs
ldInputs :: [Option]
dumpPrefixForce :: Maybe FilePath
dumpPrefix :: Maybe FilePath
dynLibLoader :: DynLibLoader
outputHi :: Maybe FilePath
dynOutputFile :: Maybe FilePath
outputFile :: Maybe FilePath
dynHiSuf :: FilePath
dynObjectSuf :: FilePath
canGenerateDynamicToo :: IORef Bool
hieSuf :: FilePath
hiSuf :: FilePath
hcSuf :: FilePath
objectSuf :: FilePath
dumpDir :: Maybe FilePath
stubDir :: Maybe FilePath
hieDir :: Maybe FilePath
hiDir :: Maybe FilePath
dylibInstallName :: Maybe FilePath
objectDir :: Maybe FilePath
splitInfo :: Maybe (FilePath, Int)
ways :: Set Way
homeUnitInstantiations :: [(ModuleName, Module)]
homeUnitInstanceOfId :: Maybe IndefUnitId
homeUnitId :: UnitId
solverIterations :: IntWithInf
reductionDepth :: IntWithInf
mainFunIs :: Maybe FilePath
mainModIs :: Module
importPaths :: [FilePath]
historySize :: Int
cmmProcAlignment :: Maybe Int
liftLamsKnown :: Bool
liftLamsNonRecArgs :: Maybe Int
liftLamsRecArgs :: Maybe Int
floatLamArgs :: Maybe Int
liberateCaseThreshold :: Maybe Int
binBlobThreshold :: Word
specConstrRecursive :: Int
specConstrCount :: Maybe Int
specConstrThreshold :: Maybe Int
simplTickFactor :: Int
maxPmCheckModels :: Int
maxUncoveredPatterns :: Int
refLevelHoleFits :: Maybe Int
maxRefHoleFits :: Maybe Int
maxValidHoleFits :: Maybe Int
maxRelevantBinds :: Maybe Int
ghcHeapSize :: Maybe Int
enableTimeStats :: Bool
parMakeCount :: Maybe Int
strictnessBefore :: [Int]
inlineCheck :: Maybe FilePath
ruleCheck :: Maybe FilePath
maxSimplIterations :: Int
simplPhases :: Int
debugLevel :: Int
optLevel :: Int
verbosity :: Int
llvmConfig :: LlvmConfig
rawSettings :: [(FilePath, FilePath)]
platformConstants :: PlatformConstants
platformMisc :: PlatformMisc
toolSettings :: ToolSettings
targetPlatform :: Platform
fileSettings :: FileSettings
ghcNameVersion :: GhcNameVersion
hscTarget :: HscTarget
ghcLink :: GhcLink
ghcMode :: GhcMode
..} Module
this_mod BinHandle -> Name -> IO ()
nameio =
let mainis :: Maybe (Maybe FilePath)
mainis = if Module
mainModIs Module -> Module -> Bool
forall a. Eq a => a -> a -> Bool
== Module
this_mod then Maybe FilePath -> Maybe (Maybe FilePath)
forall a. a -> Maybe a
Just Maybe FilePath
mainFunIs else Maybe (Maybe FilePath)
forall a. Maybe a
Nothing
safeHs :: IfaceTrustInfo
safeHs = SafeHaskellMode -> IfaceTrustInfo
setSafeMode SafeHaskellMode
safeHaskell
lang :: (Maybe Int, [Int])
lang = ((Language -> Int) -> Maybe Language -> Maybe Int
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Language -> Int
forall a. Enum a => a -> Int
fromEnum Maybe Language
language,
(Extension -> Int) -> [Extension] -> [Int]
forall a b. (a -> b) -> [a] -> [b]
map Extension -> Int
forall a. Enum a => a -> Int
fromEnum ([Extension] -> [Int]) -> [Extension] -> [Int]
forall a b. (a -> b) -> a -> b
$ EnumSet Extension -> [Extension]
forall a. Enum a => EnumSet a -> [a]
EnumSet.toList EnumSet Extension
extensionFlags)
includePathsMinusImplicit :: IncludeSpecs
includePathsMinusImplicit = IncludeSpecs
includePaths { includePathsQuoteImplicit :: [FilePath]
includePathsQuoteImplicit = [] }
cpp :: ([FilePath], [FilePath], ([FilePath], Fingerprint))
cpp = ( (FilePath -> FilePath) -> [FilePath] -> [FilePath]
forall a b. (a -> b) -> [a] -> [b]
map FilePath -> FilePath
normalise ([FilePath] -> [FilePath]) -> [FilePath] -> [FilePath]
forall a b. (a -> b) -> a -> b
$ IncludeSpecs -> [FilePath]
flattenIncludes IncludeSpecs
includePathsMinusImplicit
, DynFlags -> [FilePath]
picPOpts DynFlags
dflags
, DynFlags -> ([FilePath], Fingerprint)
opt_P_signature DynFlags
dflags)
paths :: [FilePath]
paths = [ FilePath
hcSuf ]
prof :: Int
prof = if DynFlags -> Bool
sccProfilingEnabled DynFlags
dflags then ProfAuto -> Int
forall a. Enum a => a -> Int
fromEnum ProfAuto
profAuto else Int
0
ticky :: [Bool]
ticky =
(GeneralFlag -> Bool) -> [GeneralFlag] -> [Bool]
forall a b. (a -> b) -> [a] -> [b]
map (GeneralFlag -> DynFlags -> Bool
`gopt` DynFlags
dflags) [GeneralFlag
Opt_Ticky, GeneralFlag
Opt_Ticky_Allocd, GeneralFlag
Opt_Ticky_LNE, GeneralFlag
Opt_Ticky_Dyn_Thunk]
flags :: ((Maybe (Maybe FilePath), IfaceTrustInfo, (Maybe Int, [Int]),
([FilePath], [FilePath], ([FilePath], Fingerprint))),
([FilePath], Int, [Bool], Int))
flags = ((Maybe (Maybe FilePath)
mainis, IfaceTrustInfo
safeHs, (Maybe Int, [Int])
lang, ([FilePath], [FilePath], ([FilePath], Fingerprint))
cpp), ([FilePath]
paths, Int
prof, [Bool]
ticky, Int
debugLevel))
in
(BinHandle -> Name -> IO ())
-> ((Maybe (Maybe FilePath), IfaceTrustInfo, (Maybe Int, [Int]),
([FilePath], [FilePath], ([FilePath], Fingerprint))),
([FilePath], Int, [Bool], Int))
-> IO Fingerprint
forall a.
Binary a =>
(BinHandle -> Name -> IO ()) -> a -> IO Fingerprint
computeFingerprint BinHandle -> Name -> IO ()
nameio ((Maybe (Maybe FilePath), IfaceTrustInfo, (Maybe Int, [Int]),
([FilePath], [FilePath], ([FilePath], Fingerprint))),
([FilePath], Int, [Bool], Int))
flags
fingerprintOptFlags :: DynFlags
-> (BinHandle -> Name -> IO ())
-> IO Fingerprint
fingerprintOptFlags :: DynFlags -> (BinHandle -> Name -> IO ()) -> IO Fingerprint
fingerprintOptFlags DynFlags{Bool
Int
FilePath
[Int]
[FilePath]
[(FilePath, FilePath)]
[(ModuleName, FilePath)]
[(ModuleName, Module)]
[IgnorePackageFlag]
[TrustFlag]
[PackageFlag]
[PackageDBFlag]
[Option]
[ModuleName]
[LoadedPlugin]
[StaticPlugin]
[OnOff Extension]
Maybe Int
Maybe FilePath
Maybe [UnitDatabase UnitId]
Maybe (FilePath, Int)
Maybe Language
Maybe IndefUnitId
Maybe SseVersion
Maybe BmiVersion
Word
IORef Bool
IORef Int
IORef (Maybe LinkerInfo)
IORef (Maybe CompilerInfo)
IORef (Map FilePath FilePath)
IORef (Set FilePath)
IORef FilesToClean
IORef (ModuleEnv Int)
Set Way
IncludeSpecs
SafeHaskellMode
CfgWeights
ProfAuto
LlvmConfig
HscTarget
GhcMode
GhcLink
DynLibLoader
RtsOptsEnabled
FlushOut
FlushErr
IntWithInf
SrcSpan
UnitState
Scheme
OverridingBool
UnitId
Module
ToolSettings
FileSettings
GhcNameVersion
PlatformConstants
EnumSet DumpFlag
EnumSet GeneralFlag
EnumSet WarningFlag
EnumSet Extension
Hooks
Platform
PlatformMisc
LogAction
DumpAction
TraceAction
cfgWeightInfo :: CfgWeights
uniqueIncrement :: Int
initialUnique :: Int
maxErrors :: Maybe Int
reverseErrors :: Bool
maxInlineMemsetInsns :: Int
maxInlineMemcpyInsns :: Int
maxInlineAllocSize :: Int
rtccInfo :: IORef (Maybe CompilerInfo)
rtldInfo :: IORef (Maybe LinkerInfo)
avx512pf :: Bool
avx512f :: Bool
avx512er :: Bool
avx512cd :: Bool
avx2 :: Bool
avx :: Bool
bmiVersion :: Maybe BmiVersion
sseVersion :: Maybe SseVersion
nextWrapperNum :: IORef (ModuleEnv Int)
interactivePrint :: Maybe FilePath
profAuto :: ProfAuto
colScheme :: Scheme
canUseColor :: Bool
useColor :: OverridingBool
useUnicode :: Bool
pprCols :: Int
pprUserLength :: Int
ghciScripts :: [FilePath]
haddockOptions :: Maybe FilePath
ghcVersionFile :: Maybe FilePath
flushErr :: FlushErr
flushOut :: FlushOut
trace_action :: TraceAction
dump_action :: DumpAction
log_action :: LogAction
ghciHistSize :: Int
maxWorkerArgs :: Int
ufVeryAggressive :: Bool
ufDearOp :: Int
ufDictDiscount :: Int
ufFunAppDiscount :: Int
ufUseThreshold :: Int
ufCreationThreshold :: Int
extensionFlags :: EnumSet Extension
extensions :: [OnOff Extension]
trustworthyOnLoc :: SrcSpan
warnUnsafeOnLoc :: SrcSpan
warnSafeOnLoc :: SrcSpan
pkgTrustOnLoc :: SrcSpan
incoherentOnLoc :: SrcSpan
overlapInstLoc :: SrcSpan
deriveViaOnLoc :: SrcSpan
newDerivOnLoc :: SrcSpan
thOnLoc :: SrcSpan
safeInferred :: Bool
safeInfer :: Bool
safeHaskell :: SafeHaskellMode
language :: Maybe Language
fatalWarningFlags :: EnumSet WarningFlag
warningFlags :: EnumSet WarningFlag
generalFlags :: EnumSet GeneralFlag
dumpFlags :: EnumSet DumpFlag
generatedDumps :: IORef (Set FilePath)
nextTempSuffix :: IORef Int
dirsToClean :: IORef (Map FilePath FilePath)
filesToClean :: IORef FilesToClean
unitState :: UnitState
unitDatabases :: Maybe [UnitDatabase UnitId]
packageEnv :: Maybe FilePath
trustFlags :: [TrustFlag]
pluginPackageFlags :: [PackageFlag]
packageFlags :: [PackageFlag]
ignorePackageFlags :: [IgnorePackageFlag]
packageDBFlags :: [PackageDBFlag]
depSuffixes :: [FilePath]
depExcludeMods :: [ModuleName]
depIncludeCppDeps :: Bool
depIncludePkgDeps :: Bool
depMakefile :: FilePath
hooks :: Hooks
staticPlugins :: [StaticPlugin]
cachedPlugins :: [LoadedPlugin]
frontendPluginOpts :: [FilePath]
pluginModNameOpts :: [(ModuleName, FilePath)]
pluginModNames :: [ModuleName]
hpcDir :: FilePath
rtsOptsSuggestions :: Bool
rtsOptsEnabled :: RtsOptsEnabled
rtsOpts :: Maybe FilePath
cmdlineFrameworks :: [FilePath]
frameworkPaths :: [FilePath]
libraryPaths :: [FilePath]
includePaths :: IncludeSpecs
ldInputs :: [Option]
dumpPrefixForce :: Maybe FilePath
dumpPrefix :: Maybe FilePath
dynLibLoader :: DynLibLoader
outputHi :: Maybe FilePath
dynOutputFile :: Maybe FilePath
outputFile :: Maybe FilePath
dynHiSuf :: FilePath
dynObjectSuf :: FilePath
canGenerateDynamicToo :: IORef Bool
hieSuf :: FilePath
hiSuf :: FilePath
hcSuf :: FilePath
objectSuf :: FilePath
dumpDir :: Maybe FilePath
stubDir :: Maybe FilePath
hieDir :: Maybe FilePath
hiDir :: Maybe FilePath
dylibInstallName :: Maybe FilePath
objectDir :: Maybe FilePath
splitInfo :: Maybe (FilePath, Int)
ways :: Set Way
homeUnitInstantiations :: [(ModuleName, Module)]
homeUnitInstanceOfId :: Maybe IndefUnitId
homeUnitId :: UnitId
solverIterations :: IntWithInf
reductionDepth :: IntWithInf
mainFunIs :: Maybe FilePath
mainModIs :: Module
importPaths :: [FilePath]
historySize :: Int
cmmProcAlignment :: Maybe Int
liftLamsKnown :: Bool
liftLamsNonRecArgs :: Maybe Int
liftLamsRecArgs :: Maybe Int
floatLamArgs :: Maybe Int
liberateCaseThreshold :: Maybe Int
binBlobThreshold :: Word
specConstrRecursive :: Int
specConstrCount :: Maybe Int
specConstrThreshold :: Maybe Int
simplTickFactor :: Int
maxPmCheckModels :: Int
maxUncoveredPatterns :: Int
refLevelHoleFits :: Maybe Int
maxRefHoleFits :: Maybe Int
maxValidHoleFits :: Maybe Int
maxRelevantBinds :: Maybe Int
ghcHeapSize :: Maybe Int
enableTimeStats :: Bool
parMakeCount :: Maybe Int
strictnessBefore :: [Int]
inlineCheck :: Maybe FilePath
ruleCheck :: Maybe FilePath
maxSimplIterations :: Int
simplPhases :: Int
debugLevel :: Int
optLevel :: Int
verbosity :: Int
llvmConfig :: LlvmConfig
rawSettings :: [(FilePath, FilePath)]
platformConstants :: PlatformConstants
platformMisc :: PlatformMisc
toolSettings :: ToolSettings
targetPlatform :: Platform
fileSettings :: FileSettings
ghcNameVersion :: GhcNameVersion
hscTarget :: HscTarget
ghcLink :: GhcLink
ghcMode :: GhcMode
unitState :: DynFlags -> UnitState
targetPlatform :: DynFlags -> Platform
ghcMode :: DynFlags -> GhcMode
ghcLink :: DynFlags -> GhcLink
hscTarget :: DynFlags -> HscTarget
ghcNameVersion :: DynFlags -> GhcNameVersion
fileSettings :: DynFlags -> FileSettings
toolSettings :: DynFlags -> ToolSettings
platformMisc :: DynFlags -> PlatformMisc
platformConstants :: DynFlags -> PlatformConstants
rawSettings :: DynFlags -> [(FilePath, FilePath)]
llvmConfig :: DynFlags -> LlvmConfig
verbosity :: DynFlags -> Int
optLevel :: DynFlags -> Int
debugLevel :: DynFlags -> Int
simplPhases :: DynFlags -> Int
maxSimplIterations :: DynFlags -> Int
ruleCheck :: DynFlags -> Maybe FilePath
inlineCheck :: DynFlags -> Maybe FilePath
strictnessBefore :: DynFlags -> [Int]
parMakeCount :: DynFlags -> Maybe Int
enableTimeStats :: DynFlags -> Bool
ghcHeapSize :: DynFlags -> Maybe Int
maxRelevantBinds :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
refLevelHoleFits :: DynFlags -> Maybe Int
maxUncoveredPatterns :: DynFlags -> Int
maxPmCheckModels :: DynFlags -> Int
simplTickFactor :: DynFlags -> Int
specConstrThreshold :: DynFlags -> Maybe Int
specConstrCount :: DynFlags -> Maybe Int
specConstrRecursive :: DynFlags -> Int
binBlobThreshold :: DynFlags -> Word
liberateCaseThreshold :: DynFlags -> Maybe Int
floatLamArgs :: DynFlags -> Maybe Int
liftLamsRecArgs :: DynFlags -> Maybe Int
liftLamsNonRecArgs :: DynFlags -> Maybe Int
liftLamsKnown :: DynFlags -> Bool
cmmProcAlignment :: DynFlags -> Maybe Int
historySize :: DynFlags -> Int
importPaths :: DynFlags -> [FilePath]
mainModIs :: DynFlags -> Module
mainFunIs :: DynFlags -> Maybe FilePath
reductionDepth :: DynFlags -> IntWithInf
solverIterations :: DynFlags -> IntWithInf
homeUnitId :: DynFlags -> UnitId
homeUnitInstanceOfId :: DynFlags -> Maybe IndefUnitId
homeUnitInstantiations :: DynFlags -> [(ModuleName, Module)]
ways :: DynFlags -> Set Way
splitInfo :: DynFlags -> Maybe (FilePath, Int)
objectDir :: DynFlags -> Maybe FilePath
dylibInstallName :: DynFlags -> Maybe FilePath
hiDir :: DynFlags -> Maybe FilePath
hieDir :: DynFlags -> Maybe FilePath
stubDir :: DynFlags -> Maybe FilePath
dumpDir :: DynFlags -> Maybe FilePath
objectSuf :: DynFlags -> FilePath
hcSuf :: DynFlags -> FilePath
hiSuf :: DynFlags -> FilePath
hieSuf :: DynFlags -> FilePath
canGenerateDynamicToo :: DynFlags -> IORef Bool
dynObjectSuf :: DynFlags -> FilePath
dynHiSuf :: DynFlags -> FilePath
outputFile :: DynFlags -> Maybe FilePath
dynOutputFile :: DynFlags -> Maybe FilePath
outputHi :: DynFlags -> Maybe FilePath
dynLibLoader :: DynFlags -> DynLibLoader
dumpPrefix :: DynFlags -> Maybe FilePath
dumpPrefixForce :: DynFlags -> Maybe FilePath
ldInputs :: DynFlags -> [Option]
includePaths :: DynFlags -> IncludeSpecs
libraryPaths :: DynFlags -> [FilePath]
frameworkPaths :: DynFlags -> [FilePath]
cmdlineFrameworks :: DynFlags -> [FilePath]
rtsOpts :: DynFlags -> Maybe FilePath
rtsOptsEnabled :: DynFlags -> RtsOptsEnabled
rtsOptsSuggestions :: DynFlags -> Bool
hpcDir :: DynFlags -> FilePath
pluginModNames :: DynFlags -> [ModuleName]
pluginModNameOpts :: DynFlags -> [(ModuleName, FilePath)]
frontendPluginOpts :: DynFlags -> [FilePath]
cachedPlugins :: DynFlags -> [LoadedPlugin]
staticPlugins :: DynFlags -> [StaticPlugin]
hooks :: DynFlags -> Hooks
depMakefile :: DynFlags -> FilePath
depIncludePkgDeps :: DynFlags -> Bool
depIncludeCppDeps :: DynFlags -> Bool
depExcludeMods :: DynFlags -> [ModuleName]
depSuffixes :: DynFlags -> [FilePath]
packageDBFlags :: DynFlags -> [PackageDBFlag]
ignorePackageFlags :: DynFlags -> [IgnorePackageFlag]
packageFlags :: DynFlags -> [PackageFlag]
pluginPackageFlags :: DynFlags -> [PackageFlag]
trustFlags :: DynFlags -> [TrustFlag]
packageEnv :: DynFlags -> Maybe FilePath
unitDatabases :: DynFlags -> Maybe [UnitDatabase UnitId]
filesToClean :: DynFlags -> IORef FilesToClean
dirsToClean :: DynFlags -> IORef (Map FilePath FilePath)
nextTempSuffix :: DynFlags -> IORef Int
generatedDumps :: DynFlags -> IORef (Set FilePath)
dumpFlags :: DynFlags -> EnumSet DumpFlag
generalFlags :: DynFlags -> EnumSet GeneralFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
fatalWarningFlags :: DynFlags -> EnumSet WarningFlag
language :: DynFlags -> Maybe Language
safeHaskell :: DynFlags -> SafeHaskellMode
safeInfer :: DynFlags -> Bool
safeInferred :: DynFlags -> Bool
thOnLoc :: DynFlags -> SrcSpan
newDerivOnLoc :: DynFlags -> SrcSpan
deriveViaOnLoc :: DynFlags -> SrcSpan
overlapInstLoc :: DynFlags -> SrcSpan
incoherentOnLoc :: DynFlags -> SrcSpan
pkgTrustOnLoc :: DynFlags -> SrcSpan
warnSafeOnLoc :: DynFlags -> SrcSpan
warnUnsafeOnLoc :: DynFlags -> SrcSpan
trustworthyOnLoc :: DynFlags -> SrcSpan
extensions :: DynFlags -> [OnOff Extension]
extensionFlags :: DynFlags -> EnumSet Extension
ufCreationThreshold :: DynFlags -> Int
ufUseThreshold :: DynFlags -> Int
ufFunAppDiscount :: DynFlags -> Int
ufDictDiscount :: DynFlags -> Int
ufDearOp :: DynFlags -> Int
ufVeryAggressive :: DynFlags -> Bool
maxWorkerArgs :: DynFlags -> Int
ghciHistSize :: DynFlags -> Int
log_action :: DynFlags -> LogAction
dump_action :: DynFlags -> DumpAction
trace_action :: DynFlags -> TraceAction
flushOut :: DynFlags -> FlushOut
flushErr :: DynFlags -> FlushErr
ghcVersionFile :: DynFlags -> Maybe FilePath
haddockOptions :: DynFlags -> Maybe FilePath
ghciScripts :: DynFlags -> [FilePath]
pprUserLength :: DynFlags -> Int
pprCols :: DynFlags -> Int
useUnicode :: DynFlags -> Bool
useColor :: DynFlags -> OverridingBool
canUseColor :: DynFlags -> Bool
colScheme :: DynFlags -> Scheme
profAuto :: DynFlags -> ProfAuto
interactivePrint :: DynFlags -> Maybe FilePath
nextWrapperNum :: DynFlags -> IORef (ModuleEnv Int)
sseVersion :: DynFlags -> Maybe SseVersion
bmiVersion :: DynFlags -> Maybe BmiVersion
avx :: DynFlags -> Bool
avx2 :: DynFlags -> Bool
avx512cd :: DynFlags -> Bool
avx512er :: DynFlags -> Bool
avx512f :: DynFlags -> Bool
avx512pf :: DynFlags -> Bool
rtldInfo :: DynFlags -> IORef (Maybe LinkerInfo)
rtccInfo :: DynFlags -> IORef (Maybe CompilerInfo)
maxInlineAllocSize :: DynFlags -> Int
maxInlineMemcpyInsns :: DynFlags -> Int
maxInlineMemsetInsns :: DynFlags -> Int
reverseErrors :: DynFlags -> Bool
maxErrors :: DynFlags -> Maybe Int
initialUnique :: DynFlags -> Int
uniqueIncrement :: DynFlags -> Int
cfgWeightInfo :: DynFlags -> CfgWeights
..} BinHandle -> Name -> IO ()
nameio =
let
opt_flags :: [Int]
opt_flags = (GeneralFlag -> Int) -> [GeneralFlag] -> [Int]
forall a b. (a -> b) -> [a] -> [b]
map GeneralFlag -> Int
forall a. Enum a => a -> Int
fromEnum ([GeneralFlag] -> [Int]) -> [GeneralFlag] -> [Int]
forall a b. (a -> b) -> a -> b
$ (GeneralFlag -> Bool) -> [GeneralFlag] -> [GeneralFlag]
forall a. (a -> Bool) -> [a] -> [a]
filter (GeneralFlag -> EnumSet GeneralFlag -> Bool
forall a. Enum a => a -> EnumSet a -> Bool
`EnumSet.member` EnumSet GeneralFlag
optimisationFlags)
(EnumSet GeneralFlag -> [GeneralFlag]
forall a. Enum a => EnumSet a -> [a]
EnumSet.toList EnumSet GeneralFlag
generalFlags)
in (BinHandle -> Name -> IO ()) -> [Int] -> IO Fingerprint
forall a.
Binary a =>
(BinHandle -> Name -> IO ()) -> a -> IO Fingerprint
computeFingerprint BinHandle -> Name -> IO ()
nameio [Int]
opt_flags
fingerprintHpcFlags :: DynFlags
-> (BinHandle -> Name -> IO ())
-> IO Fingerprint
fingerprintHpcFlags :: DynFlags -> (BinHandle -> Name -> IO ()) -> IO Fingerprint
fingerprintHpcFlags dflags :: DynFlags
dflags@DynFlags{Bool
Int
FilePath
[Int]
[FilePath]
[(FilePath, FilePath)]
[(ModuleName, FilePath)]
[(ModuleName, Module)]
[IgnorePackageFlag]
[TrustFlag]
[PackageFlag]
[PackageDBFlag]
[Option]
[ModuleName]
[LoadedPlugin]
[StaticPlugin]
[OnOff Extension]
Maybe Int
Maybe FilePath
Maybe [UnitDatabase UnitId]
Maybe (FilePath, Int)
Maybe Language
Maybe IndefUnitId
Maybe SseVersion
Maybe BmiVersion
Word
IORef Bool
IORef Int
IORef (Maybe LinkerInfo)
IORef (Maybe CompilerInfo)
IORef (Map FilePath FilePath)
IORef (Set FilePath)
IORef FilesToClean
IORef (ModuleEnv Int)
Set Way
IncludeSpecs
SafeHaskellMode
CfgWeights
ProfAuto
LlvmConfig
HscTarget
GhcMode
GhcLink
DynLibLoader
RtsOptsEnabled
FlushOut
FlushErr
IntWithInf
SrcSpan
UnitState
Scheme
OverridingBool
UnitId
Module
ToolSettings
FileSettings
GhcNameVersion
PlatformConstants
EnumSet DumpFlag
EnumSet GeneralFlag
EnumSet WarningFlag
EnumSet Extension
Hooks
Platform
PlatformMisc
LogAction
DumpAction
TraceAction
cfgWeightInfo :: CfgWeights
uniqueIncrement :: Int
initialUnique :: Int
maxErrors :: Maybe Int
reverseErrors :: Bool
maxInlineMemsetInsns :: Int
maxInlineMemcpyInsns :: Int
maxInlineAllocSize :: Int
rtccInfo :: IORef (Maybe CompilerInfo)
rtldInfo :: IORef (Maybe LinkerInfo)
avx512pf :: Bool
avx512f :: Bool
avx512er :: Bool
avx512cd :: Bool
avx2 :: Bool
avx :: Bool
bmiVersion :: Maybe BmiVersion
sseVersion :: Maybe SseVersion
nextWrapperNum :: IORef (ModuleEnv Int)
interactivePrint :: Maybe FilePath
profAuto :: ProfAuto
colScheme :: Scheme
canUseColor :: Bool
useColor :: OverridingBool
useUnicode :: Bool
pprCols :: Int
pprUserLength :: Int
ghciScripts :: [FilePath]
haddockOptions :: Maybe FilePath
ghcVersionFile :: Maybe FilePath
flushErr :: FlushErr
flushOut :: FlushOut
trace_action :: TraceAction
dump_action :: DumpAction
log_action :: LogAction
ghciHistSize :: Int
maxWorkerArgs :: Int
ufVeryAggressive :: Bool
ufDearOp :: Int
ufDictDiscount :: Int
ufFunAppDiscount :: Int
ufUseThreshold :: Int
ufCreationThreshold :: Int
extensionFlags :: EnumSet Extension
extensions :: [OnOff Extension]
trustworthyOnLoc :: SrcSpan
warnUnsafeOnLoc :: SrcSpan
warnSafeOnLoc :: SrcSpan
pkgTrustOnLoc :: SrcSpan
incoherentOnLoc :: SrcSpan
overlapInstLoc :: SrcSpan
deriveViaOnLoc :: SrcSpan
newDerivOnLoc :: SrcSpan
thOnLoc :: SrcSpan
safeInferred :: Bool
safeInfer :: Bool
safeHaskell :: SafeHaskellMode
language :: Maybe Language
fatalWarningFlags :: EnumSet WarningFlag
warningFlags :: EnumSet WarningFlag
generalFlags :: EnumSet GeneralFlag
dumpFlags :: EnumSet DumpFlag
generatedDumps :: IORef (Set FilePath)
nextTempSuffix :: IORef Int
dirsToClean :: IORef (Map FilePath FilePath)
filesToClean :: IORef FilesToClean
unitState :: UnitState
unitDatabases :: Maybe [UnitDatabase UnitId]
packageEnv :: Maybe FilePath
trustFlags :: [TrustFlag]
pluginPackageFlags :: [PackageFlag]
packageFlags :: [PackageFlag]
ignorePackageFlags :: [IgnorePackageFlag]
packageDBFlags :: [PackageDBFlag]
depSuffixes :: [FilePath]
depExcludeMods :: [ModuleName]
depIncludeCppDeps :: Bool
depIncludePkgDeps :: Bool
depMakefile :: FilePath
hooks :: Hooks
staticPlugins :: [StaticPlugin]
cachedPlugins :: [LoadedPlugin]
frontendPluginOpts :: [FilePath]
pluginModNameOpts :: [(ModuleName, FilePath)]
pluginModNames :: [ModuleName]
hpcDir :: FilePath
rtsOptsSuggestions :: Bool
rtsOptsEnabled :: RtsOptsEnabled
rtsOpts :: Maybe FilePath
cmdlineFrameworks :: [FilePath]
frameworkPaths :: [FilePath]
libraryPaths :: [FilePath]
includePaths :: IncludeSpecs
ldInputs :: [Option]
dumpPrefixForce :: Maybe FilePath
dumpPrefix :: Maybe FilePath
dynLibLoader :: DynLibLoader
outputHi :: Maybe FilePath
dynOutputFile :: Maybe FilePath
outputFile :: Maybe FilePath
dynHiSuf :: FilePath
dynObjectSuf :: FilePath
canGenerateDynamicToo :: IORef Bool
hieSuf :: FilePath
hiSuf :: FilePath
hcSuf :: FilePath
objectSuf :: FilePath
dumpDir :: Maybe FilePath
stubDir :: Maybe FilePath
hieDir :: Maybe FilePath
hiDir :: Maybe FilePath
dylibInstallName :: Maybe FilePath
objectDir :: Maybe FilePath
splitInfo :: Maybe (FilePath, Int)
ways :: Set Way
homeUnitInstantiations :: [(ModuleName, Module)]
homeUnitInstanceOfId :: Maybe IndefUnitId
homeUnitId :: UnitId
solverIterations :: IntWithInf
reductionDepth :: IntWithInf
mainFunIs :: Maybe FilePath
mainModIs :: Module
importPaths :: [FilePath]
historySize :: Int
cmmProcAlignment :: Maybe Int
liftLamsKnown :: Bool
liftLamsNonRecArgs :: Maybe Int
liftLamsRecArgs :: Maybe Int
floatLamArgs :: Maybe Int
liberateCaseThreshold :: Maybe Int
binBlobThreshold :: Word
specConstrRecursive :: Int
specConstrCount :: Maybe Int
specConstrThreshold :: Maybe Int
simplTickFactor :: Int
maxPmCheckModels :: Int
maxUncoveredPatterns :: Int
refLevelHoleFits :: Maybe Int
maxRefHoleFits :: Maybe Int
maxValidHoleFits :: Maybe Int
maxRelevantBinds :: Maybe Int
ghcHeapSize :: Maybe Int
enableTimeStats :: Bool
parMakeCount :: Maybe Int
strictnessBefore :: [Int]
inlineCheck :: Maybe FilePath
ruleCheck :: Maybe FilePath
maxSimplIterations :: Int
simplPhases :: Int
debugLevel :: Int
optLevel :: Int
verbosity :: Int
llvmConfig :: LlvmConfig
rawSettings :: [(FilePath, FilePath)]
platformConstants :: PlatformConstants
platformMisc :: PlatformMisc
toolSettings :: ToolSettings
targetPlatform :: Platform
fileSettings :: FileSettings
ghcNameVersion :: GhcNameVersion
hscTarget :: HscTarget
ghcLink :: GhcLink
ghcMode :: GhcMode
unitState :: DynFlags -> UnitState
targetPlatform :: DynFlags -> Platform
ghcMode :: DynFlags -> GhcMode
ghcLink :: DynFlags -> GhcLink
hscTarget :: DynFlags -> HscTarget
ghcNameVersion :: DynFlags -> GhcNameVersion
fileSettings :: DynFlags -> FileSettings
toolSettings :: DynFlags -> ToolSettings
platformMisc :: DynFlags -> PlatformMisc
platformConstants :: DynFlags -> PlatformConstants
rawSettings :: DynFlags -> [(FilePath, FilePath)]
llvmConfig :: DynFlags -> LlvmConfig
verbosity :: DynFlags -> Int
optLevel :: DynFlags -> Int
debugLevel :: DynFlags -> Int
simplPhases :: DynFlags -> Int
maxSimplIterations :: DynFlags -> Int
ruleCheck :: DynFlags -> Maybe FilePath
inlineCheck :: DynFlags -> Maybe FilePath
strictnessBefore :: DynFlags -> [Int]
parMakeCount :: DynFlags -> Maybe Int
enableTimeStats :: DynFlags -> Bool
ghcHeapSize :: DynFlags -> Maybe Int
maxRelevantBinds :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
refLevelHoleFits :: DynFlags -> Maybe Int
maxUncoveredPatterns :: DynFlags -> Int
maxPmCheckModels :: DynFlags -> Int
simplTickFactor :: DynFlags -> Int
specConstrThreshold :: DynFlags -> Maybe Int
specConstrCount :: DynFlags -> Maybe Int
specConstrRecursive :: DynFlags -> Int
binBlobThreshold :: DynFlags -> Word
liberateCaseThreshold :: DynFlags -> Maybe Int
floatLamArgs :: DynFlags -> Maybe Int
liftLamsRecArgs :: DynFlags -> Maybe Int
liftLamsNonRecArgs :: DynFlags -> Maybe Int
liftLamsKnown :: DynFlags -> Bool
cmmProcAlignment :: DynFlags -> Maybe Int
historySize :: DynFlags -> Int
importPaths :: DynFlags -> [FilePath]
mainModIs :: DynFlags -> Module
mainFunIs :: DynFlags -> Maybe FilePath
reductionDepth :: DynFlags -> IntWithInf
solverIterations :: DynFlags -> IntWithInf
homeUnitId :: DynFlags -> UnitId
homeUnitInstanceOfId :: DynFlags -> Maybe IndefUnitId
homeUnitInstantiations :: DynFlags -> [(ModuleName, Module)]
ways :: DynFlags -> Set Way
splitInfo :: DynFlags -> Maybe (FilePath, Int)
objectDir :: DynFlags -> Maybe FilePath
dylibInstallName :: DynFlags -> Maybe FilePath
hiDir :: DynFlags -> Maybe FilePath
hieDir :: DynFlags -> Maybe FilePath
stubDir :: DynFlags -> Maybe FilePath
dumpDir :: DynFlags -> Maybe FilePath
objectSuf :: DynFlags -> FilePath
hcSuf :: DynFlags -> FilePath
hiSuf :: DynFlags -> FilePath
hieSuf :: DynFlags -> FilePath
canGenerateDynamicToo :: DynFlags -> IORef Bool
dynObjectSuf :: DynFlags -> FilePath
dynHiSuf :: DynFlags -> FilePath
outputFile :: DynFlags -> Maybe FilePath
dynOutputFile :: DynFlags -> Maybe FilePath
outputHi :: DynFlags -> Maybe FilePath
dynLibLoader :: DynFlags -> DynLibLoader
dumpPrefix :: DynFlags -> Maybe FilePath
dumpPrefixForce :: DynFlags -> Maybe FilePath
ldInputs :: DynFlags -> [Option]
includePaths :: DynFlags -> IncludeSpecs
libraryPaths :: DynFlags -> [FilePath]
frameworkPaths :: DynFlags -> [FilePath]
cmdlineFrameworks :: DynFlags -> [FilePath]
rtsOpts :: DynFlags -> Maybe FilePath
rtsOptsEnabled :: DynFlags -> RtsOptsEnabled
rtsOptsSuggestions :: DynFlags -> Bool
hpcDir :: DynFlags -> FilePath
pluginModNames :: DynFlags -> [ModuleName]
pluginModNameOpts :: DynFlags -> [(ModuleName, FilePath)]
frontendPluginOpts :: DynFlags -> [FilePath]
cachedPlugins :: DynFlags -> [LoadedPlugin]
staticPlugins :: DynFlags -> [StaticPlugin]
hooks :: DynFlags -> Hooks
depMakefile :: DynFlags -> FilePath
depIncludePkgDeps :: DynFlags -> Bool
depIncludeCppDeps :: DynFlags -> Bool
depExcludeMods :: DynFlags -> [ModuleName]
depSuffixes :: DynFlags -> [FilePath]
packageDBFlags :: DynFlags -> [PackageDBFlag]
ignorePackageFlags :: DynFlags -> [IgnorePackageFlag]
packageFlags :: DynFlags -> [PackageFlag]
pluginPackageFlags :: DynFlags -> [PackageFlag]
trustFlags :: DynFlags -> [TrustFlag]
packageEnv :: DynFlags -> Maybe FilePath
unitDatabases :: DynFlags -> Maybe [UnitDatabase UnitId]
filesToClean :: DynFlags -> IORef FilesToClean
dirsToClean :: DynFlags -> IORef (Map FilePath FilePath)
nextTempSuffix :: DynFlags -> IORef Int
generatedDumps :: DynFlags -> IORef (Set FilePath)
dumpFlags :: DynFlags -> EnumSet DumpFlag
generalFlags :: DynFlags -> EnumSet GeneralFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
fatalWarningFlags :: DynFlags -> EnumSet WarningFlag
language :: DynFlags -> Maybe Language
safeHaskell :: DynFlags -> SafeHaskellMode
safeInfer :: DynFlags -> Bool
safeInferred :: DynFlags -> Bool
thOnLoc :: DynFlags -> SrcSpan
newDerivOnLoc :: DynFlags -> SrcSpan
deriveViaOnLoc :: DynFlags -> SrcSpan
overlapInstLoc :: DynFlags -> SrcSpan
incoherentOnLoc :: DynFlags -> SrcSpan
pkgTrustOnLoc :: DynFlags -> SrcSpan
warnSafeOnLoc :: DynFlags -> SrcSpan
warnUnsafeOnLoc :: DynFlags -> SrcSpan
trustworthyOnLoc :: DynFlags -> SrcSpan
extensions :: DynFlags -> [OnOff Extension]
extensionFlags :: DynFlags -> EnumSet Extension
ufCreationThreshold :: DynFlags -> Int
ufUseThreshold :: DynFlags -> Int
ufFunAppDiscount :: DynFlags -> Int
ufDictDiscount :: DynFlags -> Int
ufDearOp :: DynFlags -> Int
ufVeryAggressive :: DynFlags -> Bool
maxWorkerArgs :: DynFlags -> Int
ghciHistSize :: DynFlags -> Int
log_action :: DynFlags -> LogAction
dump_action :: DynFlags -> DumpAction
trace_action :: DynFlags -> TraceAction
flushOut :: DynFlags -> FlushOut
flushErr :: DynFlags -> FlushErr
ghcVersionFile :: DynFlags -> Maybe FilePath
haddockOptions :: DynFlags -> Maybe FilePath
ghciScripts :: DynFlags -> [FilePath]
pprUserLength :: DynFlags -> Int
pprCols :: DynFlags -> Int
useUnicode :: DynFlags -> Bool
useColor :: DynFlags -> OverridingBool
canUseColor :: DynFlags -> Bool
colScheme :: DynFlags -> Scheme
profAuto :: DynFlags -> ProfAuto
interactivePrint :: DynFlags -> Maybe FilePath
nextWrapperNum :: DynFlags -> IORef (ModuleEnv Int)
sseVersion :: DynFlags -> Maybe SseVersion
bmiVersion :: DynFlags -> Maybe BmiVersion
avx :: DynFlags -> Bool
avx2 :: DynFlags -> Bool
avx512cd :: DynFlags -> Bool
avx512er :: DynFlags -> Bool
avx512f :: DynFlags -> Bool
avx512pf :: DynFlags -> Bool
rtldInfo :: DynFlags -> IORef (Maybe LinkerInfo)
rtccInfo :: DynFlags -> IORef (Maybe CompilerInfo)
maxInlineAllocSize :: DynFlags -> Int
maxInlineMemcpyInsns :: DynFlags -> Int
maxInlineMemsetInsns :: DynFlags -> Int
reverseErrors :: DynFlags -> Bool
maxErrors :: DynFlags -> Maybe Int
initialUnique :: DynFlags -> Int
uniqueIncrement :: DynFlags -> Int
cfgWeightInfo :: DynFlags -> CfgWeights
..} BinHandle -> Name -> IO ()
nameio =
let
hpc :: Maybe FilePath
hpc = if GeneralFlag -> DynFlags -> Bool
gopt GeneralFlag
Opt_Hpc DynFlags
dflags then FilePath -> Maybe FilePath
forall a. a -> Maybe a
Just FilePath
hpcDir else Maybe FilePath
forall a. Maybe a
Nothing
in (BinHandle -> Name -> IO ()) -> Maybe FilePath -> IO Fingerprint
forall a.
Binary a =>
(BinHandle -> Name -> IO ()) -> a -> IO Fingerprint
computeFingerprint BinHandle -> Name -> IO ()
nameio Maybe FilePath
hpc