{-# LANGUAGE RecordWildCards #-}
module FlagChecker (
fingerprintDynFlags
, fingerprintOptFlags
, fingerprintHpcFlags
) where
import GhcPrelude
import Binary
import DynFlags
import HscTypes
import Module
import Name
import Fingerprint
import BinFingerprint
import qualified 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
Float
Int
FilePath
[Int]
[FilePath]
[(FilePath, FilePath)]
[(ModuleName, FilePath)]
[IgnorePackageFlag]
[TrustFlag]
[PackageFlag]
[PackageDBFlag]
[Way]
[ModuleName]
[LoadedPlugin]
[StaticPlugin]
[Option]
[OnOff Extension]
Maybe Int
Maybe FilePath
Maybe [(FilePath, [PackageConfig])]
Maybe [(ModuleName, Module)]
Maybe (FilePath, Int)
Maybe Language
Maybe ComponentId
Maybe BmiVersion
Maybe SseVersion
Word
IORef Bool
IORef Int
IORef (Maybe LinkerInfo)
IORef (Maybe CompilerInfo)
IORef (Map FilePath FilePath)
IORef (Set FilePath)
IORef FilesToClean
IORef (ModuleEnv Int)
IncludeSpecs
SafeHaskellMode
CfgWeights
ProfAuto
LlvmConfig
HscTarget
GhcMode
GhcLink
DynLibLoader
RtsOptsEnabled
FlushOut
FlushErr
IntWithInf
SrcSpan
PackageState
Module
InstalledUnitId
Scheme
OverridingBool
ToolSettings
PlatformConstants
Hooks
EnumSet WarningFlag
EnumSet DumpFlag
EnumSet GeneralFlag
EnumSet Extension
FileSettings
GhcNameVersion
Platform
PlatformMisc
IntegerLibrary
LogAction
useUnicode :: DynFlags -> Bool
pprCols :: DynFlags -> Int
pprUserLength :: DynFlags -> Int
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)]
integerLibrary :: DynFlags -> IntegerLibrary
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
thisInstalledUnitId :: DynFlags -> InstalledUnitId
thisComponentId_ :: DynFlags -> Maybe ComponentId
thisUnitIdInsts_ :: DynFlags -> Maybe [(ModuleName, Module)]
ways :: DynFlags -> [Way]
buildTag :: DynFlags -> FilePath
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
pkgDatabase :: DynFlags -> Maybe [(FilePath, [PackageConfig])]
pkgState :: DynFlags -> PackageState
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
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
ufKeenessFactor :: DynFlags -> Float
ufDearOp :: DynFlags -> Int
ufVeryAggressive :: DynFlags -> Bool
maxWorkerArgs :: DynFlags -> Int
ghciHistSize :: DynFlags -> Int
log_action :: DynFlags -> LogAction
flushOut :: DynFlags -> FlushOut
flushErr :: DynFlags -> FlushErr
ghcVersionFile :: DynFlags -> Maybe FilePath
haddockOptions :: DynFlags -> Maybe FilePath
ghciScripts :: DynFlags -> [FilePath]
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
log_action :: LogAction
ghciHistSize :: Int
maxWorkerArgs :: Int
ufVeryAggressive :: Bool
ufDearOp :: Int
ufKeenessFactor :: Float
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
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
pkgState :: PackageState
pkgDatabase :: Maybe [(FilePath, [PackageConfig])]
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)
buildTag :: FilePath
ways :: [Way]
thisUnitIdInsts_ :: Maybe [(ModuleName, Module)]
thisComponentId_ :: Maybe ComponentId
thisInstalledUnitId :: InstalledUnitId
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
integerLibrary :: IntegerLibrary
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)
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
includePaths
, DynFlags -> [FilePath]
picPOpts DynFlags
dflags
, DynFlags -> ([FilePath], Fingerprint)
opt_P_signature DynFlags
dflags)
paths :: [FilePath]
paths = [ FilePath
hcSuf ]
prof :: Int
prof = if GeneralFlag -> DynFlags -> Bool
gopt GeneralFlag
Opt_SccProfilingOn 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
Float
Int
FilePath
[Int]
[FilePath]
[(FilePath, FilePath)]
[(ModuleName, FilePath)]
[IgnorePackageFlag]
[TrustFlag]
[PackageFlag]
[PackageDBFlag]
[Way]
[ModuleName]
[LoadedPlugin]
[StaticPlugin]
[Option]
[OnOff Extension]
Maybe Int
Maybe FilePath
Maybe [(FilePath, [PackageConfig])]
Maybe [(ModuleName, Module)]
Maybe (FilePath, Int)
Maybe Language
Maybe ComponentId
Maybe BmiVersion
Maybe SseVersion
Word
IORef Bool
IORef Int
IORef (Maybe LinkerInfo)
IORef (Maybe CompilerInfo)
IORef (Map FilePath FilePath)
IORef (Set FilePath)
IORef FilesToClean
IORef (ModuleEnv Int)
IncludeSpecs
SafeHaskellMode
CfgWeights
ProfAuto
LlvmConfig
HscTarget
GhcMode
GhcLink
DynLibLoader
RtsOptsEnabled
FlushOut
FlushErr
IntWithInf
SrcSpan
PackageState
Module
InstalledUnitId
Scheme
OverridingBool
ToolSettings
PlatformConstants
Hooks
EnumSet WarningFlag
EnumSet DumpFlag
EnumSet GeneralFlag
EnumSet Extension
FileSettings
GhcNameVersion
Platform
PlatformMisc
IntegerLibrary
LogAction
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
log_action :: LogAction
ghciHistSize :: Int
maxWorkerArgs :: Int
ufVeryAggressive :: Bool
ufDearOp :: Int
ufKeenessFactor :: Float
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
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
pkgState :: PackageState
pkgDatabase :: Maybe [(FilePath, [PackageConfig])]
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)
buildTag :: FilePath
ways :: [Way]
thisUnitIdInsts_ :: Maybe [(ModuleName, Module)]
thisComponentId_ :: Maybe ComponentId
thisInstalledUnitId :: InstalledUnitId
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
integerLibrary :: IntegerLibrary
rawSettings :: [(FilePath, FilePath)]
platformConstants :: PlatformConstants
platformMisc :: PlatformMisc
toolSettings :: ToolSettings
targetPlatform :: Platform
fileSettings :: FileSettings
ghcNameVersion :: GhcNameVersion
hscTarget :: HscTarget
ghcLink :: GhcLink
ghcMode :: GhcMode
useUnicode :: DynFlags -> Bool
pprCols :: DynFlags -> Int
pprUserLength :: DynFlags -> Int
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)]
integerLibrary :: DynFlags -> IntegerLibrary
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
thisInstalledUnitId :: DynFlags -> InstalledUnitId
thisComponentId_ :: DynFlags -> Maybe ComponentId
thisUnitIdInsts_ :: DynFlags -> Maybe [(ModuleName, Module)]
ways :: DynFlags -> [Way]
buildTag :: DynFlags -> FilePath
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
pkgDatabase :: DynFlags -> Maybe [(FilePath, [PackageConfig])]
pkgState :: DynFlags -> PackageState
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
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
ufKeenessFactor :: DynFlags -> Float
ufDearOp :: DynFlags -> Int
ufVeryAggressive :: DynFlags -> Bool
maxWorkerArgs :: DynFlags -> Int
ghciHistSize :: DynFlags -> Int
log_action :: DynFlags -> LogAction
flushOut :: DynFlags -> FlushOut
flushErr :: DynFlags -> FlushErr
ghcVersionFile :: DynFlags -> Maybe FilePath
haddockOptions :: DynFlags -> Maybe FilePath
ghciScripts :: DynFlags -> [FilePath]
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
Float
Int
FilePath
[Int]
[FilePath]
[(FilePath, FilePath)]
[(ModuleName, FilePath)]
[IgnorePackageFlag]
[TrustFlag]
[PackageFlag]
[PackageDBFlag]
[Way]
[ModuleName]
[LoadedPlugin]
[StaticPlugin]
[Option]
[OnOff Extension]
Maybe Int
Maybe FilePath
Maybe [(FilePath, [PackageConfig])]
Maybe [(ModuleName, Module)]
Maybe (FilePath, Int)
Maybe Language
Maybe ComponentId
Maybe BmiVersion
Maybe SseVersion
Word
IORef Bool
IORef Int
IORef (Maybe LinkerInfo)
IORef (Maybe CompilerInfo)
IORef (Map FilePath FilePath)
IORef (Set FilePath)
IORef FilesToClean
IORef (ModuleEnv Int)
IncludeSpecs
SafeHaskellMode
CfgWeights
ProfAuto
LlvmConfig
HscTarget
GhcMode
GhcLink
DynLibLoader
RtsOptsEnabled
FlushOut
FlushErr
IntWithInf
SrcSpan
PackageState
Module
InstalledUnitId
Scheme
OverridingBool
ToolSettings
PlatformConstants
Hooks
EnumSet WarningFlag
EnumSet DumpFlag
EnumSet GeneralFlag
EnumSet Extension
FileSettings
GhcNameVersion
Platform
PlatformMisc
IntegerLibrary
LogAction
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
log_action :: LogAction
ghciHistSize :: Int
maxWorkerArgs :: Int
ufVeryAggressive :: Bool
ufDearOp :: Int
ufKeenessFactor :: Float
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
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
pkgState :: PackageState
pkgDatabase :: Maybe [(FilePath, [PackageConfig])]
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)
buildTag :: FilePath
ways :: [Way]
thisUnitIdInsts_ :: Maybe [(ModuleName, Module)]
thisComponentId_ :: Maybe ComponentId
thisInstalledUnitId :: InstalledUnitId
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
integerLibrary :: IntegerLibrary
rawSettings :: [(FilePath, FilePath)]
platformConstants :: PlatformConstants
platformMisc :: PlatformMisc
toolSettings :: ToolSettings
targetPlatform :: Platform
fileSettings :: FileSettings
ghcNameVersion :: GhcNameVersion
hscTarget :: HscTarget
ghcLink :: GhcLink
ghcMode :: GhcMode
useUnicode :: DynFlags -> Bool
pprCols :: DynFlags -> Int
pprUserLength :: DynFlags -> Int
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)]
integerLibrary :: DynFlags -> IntegerLibrary
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
thisInstalledUnitId :: DynFlags -> InstalledUnitId
thisComponentId_ :: DynFlags -> Maybe ComponentId
thisUnitIdInsts_ :: DynFlags -> Maybe [(ModuleName, Module)]
ways :: DynFlags -> [Way]
buildTag :: DynFlags -> FilePath
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
pkgDatabase :: DynFlags -> Maybe [(FilePath, [PackageConfig])]
pkgState :: DynFlags -> PackageState
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
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
ufKeenessFactor :: DynFlags -> Float
ufDearOp :: DynFlags -> Int
ufVeryAggressive :: DynFlags -> Bool
maxWorkerArgs :: DynFlags -> Int
ghciHistSize :: DynFlags -> Int
log_action :: DynFlags -> LogAction
flushOut :: DynFlags -> FlushOut
flushErr :: DynFlags -> FlushErr
ghcVersionFile :: DynFlags -> Maybe FilePath
haddockOptions :: DynFlags -> Maybe FilePath
ghciScripts :: DynFlags -> [FilePath]
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