{-# LANGUAGE RecordWildCards #-}

-- | This module manages storing the various GHC option flags in a modules
-- interface file as part of the recompilation checking infrastructure.
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.Utils.Outputable

import GHC.Data.EnumSet as EnumSet
import System.FilePath (normalise)

-- | Produce a fingerprint of a @DynFlags@ value. We only base
-- the finger print on important fields in @DynFlags@ so that
-- the recompilation checker can use this fingerprint.
--
-- NB: The 'Module' parameter is the 'Module' recorded by the
-- *interface* file, not the actual 'Module' according to our
-- 'DynFlags'.
fingerprintDynFlags :: DynFlags -> Module
                    -> (BinHandle -> Name -> IO ())
                    -> IO Fingerprint

fingerprintDynFlags :: DynFlags
-> Module -> (BinHandle -> Name -> IO ()) -> IO Fingerprint
fingerprintDynFlags dflags :: DynFlags
dflags@DynFlags{Bool
Int
String
[Int]
[String]
[(String, String)]
[(ModuleName, String)]
[StaticPlugin]
[LoadedPlugin]
[ModuleName]
[Option]
[OnOff Extension]
[PackageDBFlag]
[PackageFlag]
[TrustFlag]
[IgnorePackageFlag]
Maybe Int
Maybe String
Maybe [(ModuleName, Module)]
Maybe [PackageDatabase UnitId]
Maybe (String, Int)
Maybe SseVersion
Maybe BmiVersion
Maybe IndefUnitId
Maybe Language
Word
IORef Bool
IORef Int
IORef (Maybe CompilerInfo)
IORef (Maybe LinkerInfo)
IORef (Map String String)
IORef (Set String)
IORef (ModuleEnv Int)
IORef FilesToClean
Set Way
Platform
PlatformMisc
IntegerLibrary
Hooks
EnumSet Extension
EnumSet WarningFlag
EnumSet GeneralFlag
EnumSet DumpFlag
PlatformConstants
GhcNameVersion
FileSettings
ToolSettings
Module
UnitId
OverridingBool
PackageState
Scheme
SrcSpan
IntWithInf
FlushErr
FlushOut
RtsOptsEnabled
DynLibLoader
GhcLink
GhcMode
HscTarget
LlvmConfig
ProfAuto
CfgWeights
SafeHaskellMode
IncludeSpecs
DumpAction
LogAction
TraceAction
cfgWeightInfo :: DynFlags -> CfgWeights
uniqueIncrement :: DynFlags -> Int
initialUnique :: DynFlags -> Int
maxErrors :: DynFlags -> Maybe Int
reverseErrors :: DynFlags -> Bool
maxInlineMemsetInsns :: DynFlags -> Int
maxInlineMemcpyInsns :: DynFlags -> Int
maxInlineAllocSize :: DynFlags -> Int
rtccInfo :: DynFlags -> IORef (Maybe CompilerInfo)
rtldInfo :: DynFlags -> IORef (Maybe LinkerInfo)
avx512pf :: DynFlags -> Bool
avx512f :: DynFlags -> Bool
avx512er :: DynFlags -> Bool
avx512cd :: DynFlags -> Bool
avx2 :: DynFlags -> Bool
avx :: DynFlags -> Bool
bmiVersion :: DynFlags -> Maybe BmiVersion
sseVersion :: DynFlags -> Maybe SseVersion
nextWrapperNum :: DynFlags -> IORef (ModuleEnv Int)
interactivePrint :: DynFlags -> Maybe String
profAuto :: DynFlags -> ProfAuto
colScheme :: DynFlags -> Scheme
canUseColor :: DynFlags -> Bool
useColor :: DynFlags -> OverridingBool
useUnicode :: DynFlags -> Bool
pprCols :: DynFlags -> Int
ghciScripts :: DynFlags -> [String]
haddockOptions :: DynFlags -> Maybe String
ghcVersionFile :: DynFlags -> Maybe String
flushErr :: DynFlags -> FlushErr
flushOut :: DynFlags -> FlushOut
trace_action :: DynFlags -> TraceAction
dump_action :: DynFlags -> DumpAction
log_action :: DynFlags -> LogAction
ghciHistSize :: DynFlags -> Int
maxWorkerArgs :: DynFlags -> Int
ufVeryAggressive :: DynFlags -> Bool
ufDearOp :: DynFlags -> Int
ufDictDiscount :: DynFlags -> Int
ufFunAppDiscount :: DynFlags -> Int
ufUseThreshold :: DynFlags -> Int
ufCreationThreshold :: DynFlags -> Int
extensionFlags :: DynFlags -> EnumSet Extension
extensions :: DynFlags -> [OnOff Extension]
trustworthyOnLoc :: DynFlags -> SrcSpan
warnUnsafeOnLoc :: DynFlags -> SrcSpan
warnSafeOnLoc :: DynFlags -> SrcSpan
pkgTrustOnLoc :: DynFlags -> SrcSpan
incoherentOnLoc :: DynFlags -> SrcSpan
overlapInstLoc :: DynFlags -> SrcSpan
newDerivOnLoc :: DynFlags -> SrcSpan
thOnLoc :: DynFlags -> SrcSpan
safeInferred :: DynFlags -> Bool
safeInfer :: DynFlags -> Bool
safeHaskell :: DynFlags -> SafeHaskellMode
language :: DynFlags -> Maybe Language
fatalWarningFlags :: DynFlags -> EnumSet WarningFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
generalFlags :: DynFlags -> EnumSet GeneralFlag
dumpFlags :: DynFlags -> EnumSet DumpFlag
generatedDumps :: DynFlags -> IORef (Set String)
nextTempSuffix :: DynFlags -> IORef Int
dirsToClean :: DynFlags -> IORef (Map String String)
filesToClean :: DynFlags -> IORef FilesToClean
pkgDatabase :: DynFlags -> Maybe [PackageDatabase UnitId]
packageEnv :: DynFlags -> Maybe String
trustFlags :: DynFlags -> [TrustFlag]
pluginPackageFlags :: DynFlags -> [PackageFlag]
packageFlags :: DynFlags -> [PackageFlag]
ignorePackageFlags :: DynFlags -> [IgnorePackageFlag]
packageDBFlags :: DynFlags -> [PackageDBFlag]
depSuffixes :: DynFlags -> [String]
depExcludeMods :: DynFlags -> [ModuleName]
depIncludeCppDeps :: DynFlags -> Bool
depIncludePkgDeps :: DynFlags -> Bool
depMakefile :: DynFlags -> String
hooks :: DynFlags -> Hooks
staticPlugins :: DynFlags -> [StaticPlugin]
cachedPlugins :: DynFlags -> [LoadedPlugin]
frontendPluginOpts :: DynFlags -> [String]
pluginModNameOpts :: DynFlags -> [(ModuleName, String)]
pluginModNames :: DynFlags -> [ModuleName]
hpcDir :: DynFlags -> String
rtsOptsSuggestions :: DynFlags -> Bool
rtsOptsEnabled :: DynFlags -> RtsOptsEnabled
rtsOpts :: DynFlags -> Maybe String
cmdlineFrameworks :: DynFlags -> [String]
frameworkPaths :: DynFlags -> [String]
libraryPaths :: DynFlags -> [String]
includePaths :: DynFlags -> IncludeSpecs
ldInputs :: DynFlags -> [Option]
dumpPrefixForce :: DynFlags -> Maybe String
dumpPrefix :: DynFlags -> Maybe String
dynLibLoader :: DynFlags -> DynLibLoader
outputHi :: DynFlags -> Maybe String
dynOutputFile :: DynFlags -> Maybe String
outputFile :: DynFlags -> Maybe String
dynHiSuf :: DynFlags -> String
dynObjectSuf :: DynFlags -> String
canGenerateDynamicToo :: DynFlags -> IORef Bool
hieSuf :: DynFlags -> String
hiSuf :: DynFlags -> String
hcSuf :: DynFlags -> String
objectSuf :: DynFlags -> String
dumpDir :: DynFlags -> Maybe String
stubDir :: DynFlags -> Maybe String
hieDir :: DynFlags -> Maybe String
hiDir :: DynFlags -> Maybe String
dylibInstallName :: DynFlags -> Maybe String
objectDir :: DynFlags -> Maybe String
splitInfo :: DynFlags -> Maybe (String, Int)
buildTag :: DynFlags -> String
ways :: DynFlags -> Set Way
thisUnitIdInsts_ :: DynFlags -> Maybe [(ModuleName, Module)]
thisComponentId_ :: DynFlags -> Maybe IndefUnitId
thisUnitId :: DynFlags -> UnitId
solverIterations :: DynFlags -> IntWithInf
reductionDepth :: DynFlags -> IntWithInf
mainFunIs :: DynFlags -> Maybe String
mainModIs :: DynFlags -> Module
importPaths :: DynFlags -> [String]
historySize :: DynFlags -> Int
cmmProcAlignment :: DynFlags -> Maybe Int
liftLamsKnown :: DynFlags -> Bool
liftLamsNonRecArgs :: DynFlags -> Maybe Int
liftLamsRecArgs :: DynFlags -> Maybe Int
floatLamArgs :: DynFlags -> Maybe Int
liberateCaseThreshold :: DynFlags -> Maybe Int
binBlobThreshold :: DynFlags -> Word
specConstrRecursive :: DynFlags -> Int
specConstrCount :: DynFlags -> Maybe Int
specConstrThreshold :: DynFlags -> Maybe Int
simplTickFactor :: DynFlags -> Int
maxPmCheckModels :: DynFlags -> Int
maxUncoveredPatterns :: DynFlags -> Int
refLevelHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
maxRelevantBinds :: DynFlags -> Maybe Int
ghcHeapSize :: DynFlags -> Maybe Int
enableTimeStats :: DynFlags -> Bool
parMakeCount :: DynFlags -> Maybe Int
strictnessBefore :: DynFlags -> [Int]
inlineCheck :: DynFlags -> Maybe String
ruleCheck :: DynFlags -> Maybe String
maxSimplIterations :: DynFlags -> Int
simplPhases :: DynFlags -> Int
debugLevel :: DynFlags -> Int
optLevel :: DynFlags -> Int
verbosity :: DynFlags -> Int
llvmConfig :: DynFlags -> LlvmConfig
integerLibrary :: DynFlags -> IntegerLibrary
rawSettings :: DynFlags -> [(String, String)]
platformConstants :: DynFlags -> PlatformConstants
platformMisc :: DynFlags -> PlatformMisc
toolSettings :: DynFlags -> ToolSettings
fileSettings :: DynFlags -> FileSettings
ghcNameVersion :: DynFlags -> GhcNameVersion
hscTarget :: DynFlags -> HscTarget
ghcLink :: DynFlags -> GhcLink
ghcMode :: DynFlags -> GhcMode
targetPlatform :: DynFlags -> Platform
pprUserLength :: DynFlags -> Int
pkgState :: DynFlags -> PackageState
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 String
profAuto :: ProfAuto
colScheme :: Scheme
canUseColor :: Bool
useColor :: OverridingBool
useUnicode :: Bool
pprCols :: Int
pprUserLength :: Int
ghciScripts :: [String]
haddockOptions :: Maybe String
ghcVersionFile :: Maybe String
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
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 String)
nextTempSuffix :: IORef Int
dirsToClean :: IORef (Map String String)
filesToClean :: IORef FilesToClean
pkgState :: PackageState
pkgDatabase :: Maybe [PackageDatabase UnitId]
packageEnv :: Maybe String
trustFlags :: [TrustFlag]
pluginPackageFlags :: [PackageFlag]
packageFlags :: [PackageFlag]
ignorePackageFlags :: [IgnorePackageFlag]
packageDBFlags :: [PackageDBFlag]
depSuffixes :: [String]
depExcludeMods :: [ModuleName]
depIncludeCppDeps :: Bool
depIncludePkgDeps :: Bool
depMakefile :: String
hooks :: Hooks
staticPlugins :: [StaticPlugin]
cachedPlugins :: [LoadedPlugin]
frontendPluginOpts :: [String]
pluginModNameOpts :: [(ModuleName, String)]
pluginModNames :: [ModuleName]
hpcDir :: String
rtsOptsSuggestions :: Bool
rtsOptsEnabled :: RtsOptsEnabled
rtsOpts :: Maybe String
cmdlineFrameworks :: [String]
frameworkPaths :: [String]
libraryPaths :: [String]
includePaths :: IncludeSpecs
ldInputs :: [Option]
dumpPrefixForce :: Maybe String
dumpPrefix :: Maybe String
dynLibLoader :: DynLibLoader
outputHi :: Maybe String
dynOutputFile :: Maybe String
outputFile :: Maybe String
dynHiSuf :: String
dynObjectSuf :: String
canGenerateDynamicToo :: IORef Bool
hieSuf :: String
hiSuf :: String
hcSuf :: String
objectSuf :: String
dumpDir :: Maybe String
stubDir :: Maybe String
hieDir :: Maybe String
hiDir :: Maybe String
dylibInstallName :: Maybe String
objectDir :: Maybe String
splitInfo :: Maybe (String, Int)
buildTag :: String
ways :: Set Way
thisUnitIdInsts_ :: Maybe [(ModuleName, Module)]
thisComponentId_ :: Maybe IndefUnitId
thisUnitId :: UnitId
solverIterations :: IntWithInf
reductionDepth :: IntWithInf
mainFunIs :: Maybe String
mainModIs :: Module
importPaths :: [String]
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 String
ruleCheck :: Maybe String
maxSimplIterations :: Int
simplPhases :: Int
debugLevel :: Int
optLevel :: Int
verbosity :: Int
llvmConfig :: LlvmConfig
integerLibrary :: IntegerLibrary
rawSettings :: [(String, String)]
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 String)
mainis   = if Module
mainModIs Module -> Module -> Bool
forall a. Eq a => a -> a -> Bool
External instance of the constraint type forall unit. Eq unit => Eq (GenModule unit)
External instance of the constraint type Eq (GenUnit UnitId)
== Module
this_mod then Maybe String -> Maybe (Maybe String)
forall a. a -> Maybe a
Just Maybe String
mainFunIs else Maybe (Maybe String)
forall a. Maybe a
Nothing
                      -- see #5878
        -- pkgopts  = (thisPackage dflags, sort $ packageFlags dflags)
        safeHs :: IfaceTrustInfo
safeHs   = SafeHaskellMode -> IfaceTrustInfo
setSafeMode SafeHaskellMode
safeHaskell
        -- oflags   = sort $ filter filterOFlags $ flags dflags

        -- *all* the extension flags and the language
        lang :: (Maybe Int, [Int])
lang = ((Language -> Int) -> Maybe Language -> Maybe Int
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
External instance of the constraint type Functor Maybe
fmap Language -> Int
forall a. Enum a => a -> Int
External instance of the constraint type Enum Language
fromEnum Maybe Language
language,
                (Extension -> Int) -> [Extension] -> [Int]
forall a b. (a -> b) -> [a] -> [b]
map Extension -> Int
forall a. Enum a => a -> Int
External instance of the constraint type Enum Extension
fromEnum ([Extension] -> [Int]) -> [Extension] -> [Int]
forall a b. (a -> b) -> a -> b
$ EnumSet Extension -> [Extension]
forall a. Enum a => EnumSet a -> [a]
External instance of the constraint type Enum Extension
EnumSet.toList EnumSet Extension
extensionFlags)

        -- -I, -D and -U flags affect CPP
        cpp :: ([String], [String], ([String], Fingerprint))
cpp = ( (String -> String) -> [String] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map String -> String
normalise ([String] -> [String]) -> [String] -> [String]
forall a b. (a -> b) -> a -> b
$ IncludeSpecs -> [String]
flattenIncludes IncludeSpecs
includePaths
            -- normalise: eliminate spurious differences due to "./foo" vs "foo"
              , DynFlags -> [String]
picPOpts DynFlags
dflags
              , DynFlags -> ([String], Fingerprint)
opt_P_signature DynFlags
dflags)
            -- See Note [Repeated -optP hashing]

        -- Note [path flags and recompilation]
        paths :: [String]
paths = [ String
hcSuf ]

        -- -fprof-auto etc.
        prof :: Int
prof = if GeneralFlag -> DynFlags -> Bool
gopt GeneralFlag
Opt_SccProfilingOn DynFlags
dflags then ProfAuto -> Int
forall a. Enum a => a -> Int
External instance of the constraint type Enum ProfAuto
fromEnum ProfAuto
profAuto else Int
0

        -- Ticky
        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 String), IfaceTrustInfo, (Maybe Int, [Int]),
  ([String], [String], ([String], Fingerprint))),
 ([String], Int, [Bool], Int))
flags = ((Maybe (Maybe String)
mainis, IfaceTrustInfo
safeHs, (Maybe Int, [Int])
lang, ([String], [String], ([String], Fingerprint))
cpp), ([String]
paths, Int
prof, [Bool]
ticky, Int
debugLevel))

    in -- pprTrace "flags" (ppr flags) $
       (BinHandle -> Name -> IO ())
-> ((Maybe (Maybe String), IfaceTrustInfo, (Maybe Int, [Int]),
     ([String], [String], ([String], Fingerprint))),
    ([String], Int, [Bool], Int))
-> IO Fingerprint
forall a.
Binary a =>
(BinHandle -> Name -> IO ()) -> a -> IO Fingerprint
External instance of the constraint type forall a b. (Binary a, Binary b) => Binary (a, b)
External instance of the constraint type forall a b c d.
(Binary a, Binary b, Binary c, Binary d) =>
Binary (a, b, c, d)
External instance of the constraint type forall a. Binary a => Binary (Maybe a)
External instance of the constraint type forall a. Binary a => Binary (Maybe a)
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type Binary Char
External instance of the constraint type Binary IfaceTrustInfo
External instance of the constraint type forall a b. (Binary a, Binary b) => Binary (a, b)
External instance of the constraint type forall a. Binary a => Binary (Maybe a)
External instance of the constraint type Binary Int
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type Binary Int
External instance of the constraint type forall a b c. (Binary a, Binary b, Binary c) => Binary (a, b, c)
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type Binary Char
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type Binary Char
External instance of the constraint type forall a b. (Binary a, Binary b) => Binary (a, b)
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type Binary Char
External instance of the constraint type Binary Fingerprint
External instance of the constraint type forall a b c d.
(Binary a, Binary b, Binary c, Binary d) =>
Binary (a, b, c, d)
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type Binary Char
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type Binary Bool
External instance of the constraint type Binary Int
computeFingerprint BinHandle -> Name -> IO ()
nameio ((Maybe (Maybe String), IfaceTrustInfo, (Maybe Int, [Int]),
  ([String], [String], ([String], Fingerprint))),
 ([String], Int, [Bool], Int))
flags

-- Fingerprint the optimisation info. We keep this separate from the rest of
-- the flags because GHCi users (especially) may wish to ignore changes in
-- optimisation level or optimisation flags so as to use as many pre-existing
-- object files as they can.
-- See Note [Ignoring some flag changes]
fingerprintOptFlags :: DynFlags
                      -> (BinHandle -> Name -> IO ())
                      -> IO Fingerprint
fingerprintOptFlags :: DynFlags -> (BinHandle -> Name -> IO ()) -> IO Fingerprint
fingerprintOptFlags DynFlags{Bool
Int
String
[Int]
[String]
[(String, String)]
[(ModuleName, String)]
[StaticPlugin]
[LoadedPlugin]
[ModuleName]
[Option]
[OnOff Extension]
[PackageDBFlag]
[PackageFlag]
[TrustFlag]
[IgnorePackageFlag]
Maybe Int
Maybe String
Maybe [(ModuleName, Module)]
Maybe [PackageDatabase UnitId]
Maybe (String, Int)
Maybe SseVersion
Maybe BmiVersion
Maybe IndefUnitId
Maybe Language
Word
IORef Bool
IORef Int
IORef (Maybe CompilerInfo)
IORef (Maybe LinkerInfo)
IORef (Map String String)
IORef (Set String)
IORef (ModuleEnv Int)
IORef FilesToClean
Set Way
Platform
PlatformMisc
IntegerLibrary
Hooks
EnumSet Extension
EnumSet WarningFlag
EnumSet GeneralFlag
EnumSet DumpFlag
PlatformConstants
GhcNameVersion
FileSettings
ToolSettings
Module
UnitId
OverridingBool
PackageState
Scheme
SrcSpan
IntWithInf
FlushErr
FlushOut
RtsOptsEnabled
DynLibLoader
GhcLink
GhcMode
HscTarget
LlvmConfig
ProfAuto
CfgWeights
SafeHaskellMode
IncludeSpecs
DumpAction
LogAction
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 String
profAuto :: ProfAuto
colScheme :: Scheme
canUseColor :: Bool
useColor :: OverridingBool
useUnicode :: Bool
pprCols :: Int
pprUserLength :: Int
ghciScripts :: [String]
haddockOptions :: Maybe String
ghcVersionFile :: Maybe String
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
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 String)
nextTempSuffix :: IORef Int
dirsToClean :: IORef (Map String String)
filesToClean :: IORef FilesToClean
pkgState :: PackageState
pkgDatabase :: Maybe [PackageDatabase UnitId]
packageEnv :: Maybe String
trustFlags :: [TrustFlag]
pluginPackageFlags :: [PackageFlag]
packageFlags :: [PackageFlag]
ignorePackageFlags :: [IgnorePackageFlag]
packageDBFlags :: [PackageDBFlag]
depSuffixes :: [String]
depExcludeMods :: [ModuleName]
depIncludeCppDeps :: Bool
depIncludePkgDeps :: Bool
depMakefile :: String
hooks :: Hooks
staticPlugins :: [StaticPlugin]
cachedPlugins :: [LoadedPlugin]
frontendPluginOpts :: [String]
pluginModNameOpts :: [(ModuleName, String)]
pluginModNames :: [ModuleName]
hpcDir :: String
rtsOptsSuggestions :: Bool
rtsOptsEnabled :: RtsOptsEnabled
rtsOpts :: Maybe String
cmdlineFrameworks :: [String]
frameworkPaths :: [String]
libraryPaths :: [String]
includePaths :: IncludeSpecs
ldInputs :: [Option]
dumpPrefixForce :: Maybe String
dumpPrefix :: Maybe String
dynLibLoader :: DynLibLoader
outputHi :: Maybe String
dynOutputFile :: Maybe String
outputFile :: Maybe String
dynHiSuf :: String
dynObjectSuf :: String
canGenerateDynamicToo :: IORef Bool
hieSuf :: String
hiSuf :: String
hcSuf :: String
objectSuf :: String
dumpDir :: Maybe String
stubDir :: Maybe String
hieDir :: Maybe String
hiDir :: Maybe String
dylibInstallName :: Maybe String
objectDir :: Maybe String
splitInfo :: Maybe (String, Int)
buildTag :: String
ways :: Set Way
thisUnitIdInsts_ :: Maybe [(ModuleName, Module)]
thisComponentId_ :: Maybe IndefUnitId
thisUnitId :: UnitId
solverIterations :: IntWithInf
reductionDepth :: IntWithInf
mainFunIs :: Maybe String
mainModIs :: Module
importPaths :: [String]
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 String
ruleCheck :: Maybe String
maxSimplIterations :: Int
simplPhases :: Int
debugLevel :: Int
optLevel :: Int
verbosity :: Int
llvmConfig :: LlvmConfig
integerLibrary :: IntegerLibrary
rawSettings :: [(String, String)]
platformConstants :: PlatformConstants
platformMisc :: PlatformMisc
toolSettings :: ToolSettings
targetPlatform :: Platform
fileSettings :: FileSettings
ghcNameVersion :: GhcNameVersion
hscTarget :: HscTarget
ghcLink :: GhcLink
ghcMode :: GhcMode
cfgWeightInfo :: DynFlags -> CfgWeights
uniqueIncrement :: DynFlags -> Int
initialUnique :: DynFlags -> Int
maxErrors :: DynFlags -> Maybe Int
reverseErrors :: DynFlags -> Bool
maxInlineMemsetInsns :: DynFlags -> Int
maxInlineMemcpyInsns :: DynFlags -> Int
maxInlineAllocSize :: DynFlags -> Int
rtccInfo :: DynFlags -> IORef (Maybe CompilerInfo)
rtldInfo :: DynFlags -> IORef (Maybe LinkerInfo)
avx512pf :: DynFlags -> Bool
avx512f :: DynFlags -> Bool
avx512er :: DynFlags -> Bool
avx512cd :: DynFlags -> Bool
avx2 :: DynFlags -> Bool
avx :: DynFlags -> Bool
bmiVersion :: DynFlags -> Maybe BmiVersion
sseVersion :: DynFlags -> Maybe SseVersion
nextWrapperNum :: DynFlags -> IORef (ModuleEnv Int)
interactivePrint :: DynFlags -> Maybe String
profAuto :: DynFlags -> ProfAuto
colScheme :: DynFlags -> Scheme
canUseColor :: DynFlags -> Bool
useColor :: DynFlags -> OverridingBool
useUnicode :: DynFlags -> Bool
pprCols :: DynFlags -> Int
ghciScripts :: DynFlags -> [String]
haddockOptions :: DynFlags -> Maybe String
ghcVersionFile :: DynFlags -> Maybe String
flushErr :: DynFlags -> FlushErr
flushOut :: DynFlags -> FlushOut
trace_action :: DynFlags -> TraceAction
dump_action :: DynFlags -> DumpAction
log_action :: DynFlags -> LogAction
ghciHistSize :: DynFlags -> Int
maxWorkerArgs :: DynFlags -> Int
ufVeryAggressive :: DynFlags -> Bool
ufDearOp :: DynFlags -> Int
ufDictDiscount :: DynFlags -> Int
ufFunAppDiscount :: DynFlags -> Int
ufUseThreshold :: DynFlags -> Int
ufCreationThreshold :: DynFlags -> Int
extensionFlags :: DynFlags -> EnumSet Extension
extensions :: DynFlags -> [OnOff Extension]
trustworthyOnLoc :: DynFlags -> SrcSpan
warnUnsafeOnLoc :: DynFlags -> SrcSpan
warnSafeOnLoc :: DynFlags -> SrcSpan
pkgTrustOnLoc :: DynFlags -> SrcSpan
incoherentOnLoc :: DynFlags -> SrcSpan
overlapInstLoc :: DynFlags -> SrcSpan
newDerivOnLoc :: DynFlags -> SrcSpan
thOnLoc :: DynFlags -> SrcSpan
safeInferred :: DynFlags -> Bool
safeInfer :: DynFlags -> Bool
safeHaskell :: DynFlags -> SafeHaskellMode
language :: DynFlags -> Maybe Language
fatalWarningFlags :: DynFlags -> EnumSet WarningFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
generalFlags :: DynFlags -> EnumSet GeneralFlag
dumpFlags :: DynFlags -> EnumSet DumpFlag
generatedDumps :: DynFlags -> IORef (Set String)
nextTempSuffix :: DynFlags -> IORef Int
dirsToClean :: DynFlags -> IORef (Map String String)
filesToClean :: DynFlags -> IORef FilesToClean
pkgDatabase :: DynFlags -> Maybe [PackageDatabase UnitId]
packageEnv :: DynFlags -> Maybe String
trustFlags :: DynFlags -> [TrustFlag]
pluginPackageFlags :: DynFlags -> [PackageFlag]
packageFlags :: DynFlags -> [PackageFlag]
ignorePackageFlags :: DynFlags -> [IgnorePackageFlag]
packageDBFlags :: DynFlags -> [PackageDBFlag]
depSuffixes :: DynFlags -> [String]
depExcludeMods :: DynFlags -> [ModuleName]
depIncludeCppDeps :: DynFlags -> Bool
depIncludePkgDeps :: DynFlags -> Bool
depMakefile :: DynFlags -> String
hooks :: DynFlags -> Hooks
staticPlugins :: DynFlags -> [StaticPlugin]
cachedPlugins :: DynFlags -> [LoadedPlugin]
frontendPluginOpts :: DynFlags -> [String]
pluginModNameOpts :: DynFlags -> [(ModuleName, String)]
pluginModNames :: DynFlags -> [ModuleName]
hpcDir :: DynFlags -> String
rtsOptsSuggestions :: DynFlags -> Bool
rtsOptsEnabled :: DynFlags -> RtsOptsEnabled
rtsOpts :: DynFlags -> Maybe String
cmdlineFrameworks :: DynFlags -> [String]
frameworkPaths :: DynFlags -> [String]
libraryPaths :: DynFlags -> [String]
includePaths :: DynFlags -> IncludeSpecs
ldInputs :: DynFlags -> [Option]
dumpPrefixForce :: DynFlags -> Maybe String
dumpPrefix :: DynFlags -> Maybe String
dynLibLoader :: DynFlags -> DynLibLoader
outputHi :: DynFlags -> Maybe String
dynOutputFile :: DynFlags -> Maybe String
outputFile :: DynFlags -> Maybe String
dynHiSuf :: DynFlags -> String
dynObjectSuf :: DynFlags -> String
canGenerateDynamicToo :: DynFlags -> IORef Bool
hieSuf :: DynFlags -> String
hiSuf :: DynFlags -> String
hcSuf :: DynFlags -> String
objectSuf :: DynFlags -> String
dumpDir :: DynFlags -> Maybe String
stubDir :: DynFlags -> Maybe String
hieDir :: DynFlags -> Maybe String
hiDir :: DynFlags -> Maybe String
dylibInstallName :: DynFlags -> Maybe String
objectDir :: DynFlags -> Maybe String
splitInfo :: DynFlags -> Maybe (String, Int)
buildTag :: DynFlags -> String
ways :: DynFlags -> Set Way
thisUnitIdInsts_ :: DynFlags -> Maybe [(ModuleName, Module)]
thisComponentId_ :: DynFlags -> Maybe IndefUnitId
thisUnitId :: DynFlags -> UnitId
solverIterations :: DynFlags -> IntWithInf
reductionDepth :: DynFlags -> IntWithInf
mainFunIs :: DynFlags -> Maybe String
mainModIs :: DynFlags -> Module
importPaths :: DynFlags -> [String]
historySize :: DynFlags -> Int
cmmProcAlignment :: DynFlags -> Maybe Int
liftLamsKnown :: DynFlags -> Bool
liftLamsNonRecArgs :: DynFlags -> Maybe Int
liftLamsRecArgs :: DynFlags -> Maybe Int
floatLamArgs :: DynFlags -> Maybe Int
liberateCaseThreshold :: DynFlags -> Maybe Int
binBlobThreshold :: DynFlags -> Word
specConstrRecursive :: DynFlags -> Int
specConstrCount :: DynFlags -> Maybe Int
specConstrThreshold :: DynFlags -> Maybe Int
simplTickFactor :: DynFlags -> Int
maxPmCheckModels :: DynFlags -> Int
maxUncoveredPatterns :: DynFlags -> Int
refLevelHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
maxRelevantBinds :: DynFlags -> Maybe Int
ghcHeapSize :: DynFlags -> Maybe Int
enableTimeStats :: DynFlags -> Bool
parMakeCount :: DynFlags -> Maybe Int
strictnessBefore :: DynFlags -> [Int]
inlineCheck :: DynFlags -> Maybe String
ruleCheck :: DynFlags -> Maybe String
maxSimplIterations :: DynFlags -> Int
simplPhases :: DynFlags -> Int
debugLevel :: DynFlags -> Int
optLevel :: DynFlags -> Int
verbosity :: DynFlags -> Int
llvmConfig :: DynFlags -> LlvmConfig
integerLibrary :: DynFlags -> IntegerLibrary
rawSettings :: DynFlags -> [(String, String)]
platformConstants :: DynFlags -> PlatformConstants
platformMisc :: DynFlags -> PlatformMisc
toolSettings :: DynFlags -> ToolSettings
fileSettings :: DynFlags -> FileSettings
ghcNameVersion :: DynFlags -> GhcNameVersion
hscTarget :: DynFlags -> HscTarget
ghcLink :: DynFlags -> GhcLink
ghcMode :: DynFlags -> GhcMode
targetPlatform :: DynFlags -> Platform
pprUserLength :: DynFlags -> Int
pkgState :: DynFlags -> PackageState
..} BinHandle -> Name -> IO ()
nameio =
      let
        -- See https://gitlab.haskell.org/ghc/ghc/issues/10923
        -- We used to fingerprint the optimisation level, but as Joachim
        -- Breitner pointed out in comment 9 on that ticket, it's better
        -- to ignore that and just look at the individual optimisation flags.
        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
External instance of the constraint type Enum GeneralFlag
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
External instance of the constraint type Enum GeneralFlag
`EnumSet.member` EnumSet GeneralFlag
optimisationFlags)
                                          (EnumSet GeneralFlag -> [GeneralFlag]
forall a. Enum a => EnumSet a -> [a]
External instance of the constraint type Enum GeneralFlag
EnumSet.toList EnumSet GeneralFlag
generalFlags)

      in (BinHandle -> Name -> IO ()) -> [Int] -> IO Fingerprint
forall a.
Binary a =>
(BinHandle -> Name -> IO ()) -> a -> IO Fingerprint
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type Binary Int
computeFingerprint BinHandle -> Name -> IO ()
nameio [Int]
opt_flags

-- Fingerprint the HPC info. We keep this separate from the rest of
-- the flags because GHCi users (especially) may wish to use an object
-- file compiled for HPC when not actually using HPC.
-- See Note [Ignoring some flag changes]
fingerprintHpcFlags :: DynFlags
                      -> (BinHandle -> Name -> IO ())
                      -> IO Fingerprint
fingerprintHpcFlags :: DynFlags -> (BinHandle -> Name -> IO ()) -> IO Fingerprint
fingerprintHpcFlags dflags :: DynFlags
dflags@DynFlags{Bool
Int
String
[Int]
[String]
[(String, String)]
[(ModuleName, String)]
[StaticPlugin]
[LoadedPlugin]
[ModuleName]
[Option]
[OnOff Extension]
[PackageDBFlag]
[PackageFlag]
[TrustFlag]
[IgnorePackageFlag]
Maybe Int
Maybe String
Maybe [(ModuleName, Module)]
Maybe [PackageDatabase UnitId]
Maybe (String, Int)
Maybe SseVersion
Maybe BmiVersion
Maybe IndefUnitId
Maybe Language
Word
IORef Bool
IORef Int
IORef (Maybe CompilerInfo)
IORef (Maybe LinkerInfo)
IORef (Map String String)
IORef (Set String)
IORef (ModuleEnv Int)
IORef FilesToClean
Set Way
Platform
PlatformMisc
IntegerLibrary
Hooks
EnumSet Extension
EnumSet WarningFlag
EnumSet GeneralFlag
EnumSet DumpFlag
PlatformConstants
GhcNameVersion
FileSettings
ToolSettings
Module
UnitId
OverridingBool
PackageState
Scheme
SrcSpan
IntWithInf
FlushErr
FlushOut
RtsOptsEnabled
DynLibLoader
GhcLink
GhcMode
HscTarget
LlvmConfig
ProfAuto
CfgWeights
SafeHaskellMode
IncludeSpecs
DumpAction
LogAction
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 String
profAuto :: ProfAuto
colScheme :: Scheme
canUseColor :: Bool
useColor :: OverridingBool
useUnicode :: Bool
pprCols :: Int
pprUserLength :: Int
ghciScripts :: [String]
haddockOptions :: Maybe String
ghcVersionFile :: Maybe String
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
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 String)
nextTempSuffix :: IORef Int
dirsToClean :: IORef (Map String String)
filesToClean :: IORef FilesToClean
pkgState :: PackageState
pkgDatabase :: Maybe [PackageDatabase UnitId]
packageEnv :: Maybe String
trustFlags :: [TrustFlag]
pluginPackageFlags :: [PackageFlag]
packageFlags :: [PackageFlag]
ignorePackageFlags :: [IgnorePackageFlag]
packageDBFlags :: [PackageDBFlag]
depSuffixes :: [String]
depExcludeMods :: [ModuleName]
depIncludeCppDeps :: Bool
depIncludePkgDeps :: Bool
depMakefile :: String
hooks :: Hooks
staticPlugins :: [StaticPlugin]
cachedPlugins :: [LoadedPlugin]
frontendPluginOpts :: [String]
pluginModNameOpts :: [(ModuleName, String)]
pluginModNames :: [ModuleName]
hpcDir :: String
rtsOptsSuggestions :: Bool
rtsOptsEnabled :: RtsOptsEnabled
rtsOpts :: Maybe String
cmdlineFrameworks :: [String]
frameworkPaths :: [String]
libraryPaths :: [String]
includePaths :: IncludeSpecs
ldInputs :: [Option]
dumpPrefixForce :: Maybe String
dumpPrefix :: Maybe String
dynLibLoader :: DynLibLoader
outputHi :: Maybe String
dynOutputFile :: Maybe String
outputFile :: Maybe String
dynHiSuf :: String
dynObjectSuf :: String
canGenerateDynamicToo :: IORef Bool
hieSuf :: String
hiSuf :: String
hcSuf :: String
objectSuf :: String
dumpDir :: Maybe String
stubDir :: Maybe String
hieDir :: Maybe String
hiDir :: Maybe String
dylibInstallName :: Maybe String
objectDir :: Maybe String
splitInfo :: Maybe (String, Int)
buildTag :: String
ways :: Set Way
thisUnitIdInsts_ :: Maybe [(ModuleName, Module)]
thisComponentId_ :: Maybe IndefUnitId
thisUnitId :: UnitId
solverIterations :: IntWithInf
reductionDepth :: IntWithInf
mainFunIs :: Maybe String
mainModIs :: Module
importPaths :: [String]
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 String
ruleCheck :: Maybe String
maxSimplIterations :: Int
simplPhases :: Int
debugLevel :: Int
optLevel :: Int
verbosity :: Int
llvmConfig :: LlvmConfig
integerLibrary :: IntegerLibrary
rawSettings :: [(String, String)]
platformConstants :: PlatformConstants
platformMisc :: PlatformMisc
toolSettings :: ToolSettings
targetPlatform :: Platform
fileSettings :: FileSettings
ghcNameVersion :: GhcNameVersion
hscTarget :: HscTarget
ghcLink :: GhcLink
ghcMode :: GhcMode
cfgWeightInfo :: DynFlags -> CfgWeights
uniqueIncrement :: DynFlags -> Int
initialUnique :: DynFlags -> Int
maxErrors :: DynFlags -> Maybe Int
reverseErrors :: DynFlags -> Bool
maxInlineMemsetInsns :: DynFlags -> Int
maxInlineMemcpyInsns :: DynFlags -> Int
maxInlineAllocSize :: DynFlags -> Int
rtccInfo :: DynFlags -> IORef (Maybe CompilerInfo)
rtldInfo :: DynFlags -> IORef (Maybe LinkerInfo)
avx512pf :: DynFlags -> Bool
avx512f :: DynFlags -> Bool
avx512er :: DynFlags -> Bool
avx512cd :: DynFlags -> Bool
avx2 :: DynFlags -> Bool
avx :: DynFlags -> Bool
bmiVersion :: DynFlags -> Maybe BmiVersion
sseVersion :: DynFlags -> Maybe SseVersion
nextWrapperNum :: DynFlags -> IORef (ModuleEnv Int)
interactivePrint :: DynFlags -> Maybe String
profAuto :: DynFlags -> ProfAuto
colScheme :: DynFlags -> Scheme
canUseColor :: DynFlags -> Bool
useColor :: DynFlags -> OverridingBool
useUnicode :: DynFlags -> Bool
pprCols :: DynFlags -> Int
ghciScripts :: DynFlags -> [String]
haddockOptions :: DynFlags -> Maybe String
ghcVersionFile :: DynFlags -> Maybe String
flushErr :: DynFlags -> FlushErr
flushOut :: DynFlags -> FlushOut
trace_action :: DynFlags -> TraceAction
dump_action :: DynFlags -> DumpAction
log_action :: DynFlags -> LogAction
ghciHistSize :: DynFlags -> Int
maxWorkerArgs :: DynFlags -> Int
ufVeryAggressive :: DynFlags -> Bool
ufDearOp :: DynFlags -> Int
ufDictDiscount :: DynFlags -> Int
ufFunAppDiscount :: DynFlags -> Int
ufUseThreshold :: DynFlags -> Int
ufCreationThreshold :: DynFlags -> Int
extensionFlags :: DynFlags -> EnumSet Extension
extensions :: DynFlags -> [OnOff Extension]
trustworthyOnLoc :: DynFlags -> SrcSpan
warnUnsafeOnLoc :: DynFlags -> SrcSpan
warnSafeOnLoc :: DynFlags -> SrcSpan
pkgTrustOnLoc :: DynFlags -> SrcSpan
incoherentOnLoc :: DynFlags -> SrcSpan
overlapInstLoc :: DynFlags -> SrcSpan
newDerivOnLoc :: DynFlags -> SrcSpan
thOnLoc :: DynFlags -> SrcSpan
safeInferred :: DynFlags -> Bool
safeInfer :: DynFlags -> Bool
safeHaskell :: DynFlags -> SafeHaskellMode
language :: DynFlags -> Maybe Language
fatalWarningFlags :: DynFlags -> EnumSet WarningFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
generalFlags :: DynFlags -> EnumSet GeneralFlag
dumpFlags :: DynFlags -> EnumSet DumpFlag
generatedDumps :: DynFlags -> IORef (Set String)
nextTempSuffix :: DynFlags -> IORef Int
dirsToClean :: DynFlags -> IORef (Map String String)
filesToClean :: DynFlags -> IORef FilesToClean
pkgDatabase :: DynFlags -> Maybe [PackageDatabase UnitId]
packageEnv :: DynFlags -> Maybe String
trustFlags :: DynFlags -> [TrustFlag]
pluginPackageFlags :: DynFlags -> [PackageFlag]
packageFlags :: DynFlags -> [PackageFlag]
ignorePackageFlags :: DynFlags -> [IgnorePackageFlag]
packageDBFlags :: DynFlags -> [PackageDBFlag]
depSuffixes :: DynFlags -> [String]
depExcludeMods :: DynFlags -> [ModuleName]
depIncludeCppDeps :: DynFlags -> Bool
depIncludePkgDeps :: DynFlags -> Bool
depMakefile :: DynFlags -> String
hooks :: DynFlags -> Hooks
staticPlugins :: DynFlags -> [StaticPlugin]
cachedPlugins :: DynFlags -> [LoadedPlugin]
frontendPluginOpts :: DynFlags -> [String]
pluginModNameOpts :: DynFlags -> [(ModuleName, String)]
pluginModNames :: DynFlags -> [ModuleName]
hpcDir :: DynFlags -> String
rtsOptsSuggestions :: DynFlags -> Bool
rtsOptsEnabled :: DynFlags -> RtsOptsEnabled
rtsOpts :: DynFlags -> Maybe String
cmdlineFrameworks :: DynFlags -> [String]
frameworkPaths :: DynFlags -> [String]
libraryPaths :: DynFlags -> [String]
includePaths :: DynFlags -> IncludeSpecs
ldInputs :: DynFlags -> [Option]
dumpPrefixForce :: DynFlags -> Maybe String
dumpPrefix :: DynFlags -> Maybe String
dynLibLoader :: DynFlags -> DynLibLoader
outputHi :: DynFlags -> Maybe String
dynOutputFile :: DynFlags -> Maybe String
outputFile :: DynFlags -> Maybe String
dynHiSuf :: DynFlags -> String
dynObjectSuf :: DynFlags -> String
canGenerateDynamicToo :: DynFlags -> IORef Bool
hieSuf :: DynFlags -> String
hiSuf :: DynFlags -> String
hcSuf :: DynFlags -> String
objectSuf :: DynFlags -> String
dumpDir :: DynFlags -> Maybe String
stubDir :: DynFlags -> Maybe String
hieDir :: DynFlags -> Maybe String
hiDir :: DynFlags -> Maybe String
dylibInstallName :: DynFlags -> Maybe String
objectDir :: DynFlags -> Maybe String
splitInfo :: DynFlags -> Maybe (String, Int)
buildTag :: DynFlags -> String
ways :: DynFlags -> Set Way
thisUnitIdInsts_ :: DynFlags -> Maybe [(ModuleName, Module)]
thisComponentId_ :: DynFlags -> Maybe IndefUnitId
thisUnitId :: DynFlags -> UnitId
solverIterations :: DynFlags -> IntWithInf
reductionDepth :: DynFlags -> IntWithInf
mainFunIs :: DynFlags -> Maybe String
mainModIs :: DynFlags -> Module
importPaths :: DynFlags -> [String]
historySize :: DynFlags -> Int
cmmProcAlignment :: DynFlags -> Maybe Int
liftLamsKnown :: DynFlags -> Bool
liftLamsNonRecArgs :: DynFlags -> Maybe Int
liftLamsRecArgs :: DynFlags -> Maybe Int
floatLamArgs :: DynFlags -> Maybe Int
liberateCaseThreshold :: DynFlags -> Maybe Int
binBlobThreshold :: DynFlags -> Word
specConstrRecursive :: DynFlags -> Int
specConstrCount :: DynFlags -> Maybe Int
specConstrThreshold :: DynFlags -> Maybe Int
simplTickFactor :: DynFlags -> Int
maxPmCheckModels :: DynFlags -> Int
maxUncoveredPatterns :: DynFlags -> Int
refLevelHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
maxRelevantBinds :: DynFlags -> Maybe Int
ghcHeapSize :: DynFlags -> Maybe Int
enableTimeStats :: DynFlags -> Bool
parMakeCount :: DynFlags -> Maybe Int
strictnessBefore :: DynFlags -> [Int]
inlineCheck :: DynFlags -> Maybe String
ruleCheck :: DynFlags -> Maybe String
maxSimplIterations :: DynFlags -> Int
simplPhases :: DynFlags -> Int
debugLevel :: DynFlags -> Int
optLevel :: DynFlags -> Int
verbosity :: DynFlags -> Int
llvmConfig :: DynFlags -> LlvmConfig
integerLibrary :: DynFlags -> IntegerLibrary
rawSettings :: DynFlags -> [(String, String)]
platformConstants :: DynFlags -> PlatformConstants
platformMisc :: DynFlags -> PlatformMisc
toolSettings :: DynFlags -> ToolSettings
fileSettings :: DynFlags -> FileSettings
ghcNameVersion :: DynFlags -> GhcNameVersion
hscTarget :: DynFlags -> HscTarget
ghcLink :: DynFlags -> GhcLink
ghcMode :: DynFlags -> GhcMode
targetPlatform :: DynFlags -> Platform
pprUserLength :: DynFlags -> Int
pkgState :: DynFlags -> PackageState
..} BinHandle -> Name -> IO ()
nameio =
      let
        -- -fhpc, see https://gitlab.haskell.org/ghc/ghc/issues/11798
        -- hpcDir is output-only, so we should recompile if it changes
        hpc :: Maybe String
hpc = if GeneralFlag -> DynFlags -> Bool
gopt GeneralFlag
Opt_Hpc DynFlags
dflags then String -> Maybe String
forall a. a -> Maybe a
Just String
hpcDir else Maybe String
forall a. Maybe a
Nothing

      in (BinHandle -> Name -> IO ()) -> Maybe String -> IO Fingerprint
forall a.
Binary a =>
(BinHandle -> Name -> IO ()) -> a -> IO Fingerprint
External instance of the constraint type forall a. Binary a => Binary (Maybe a)
External instance of the constraint type forall a. Binary a => Binary [a]
External instance of the constraint type Binary Char
computeFingerprint BinHandle -> Name -> IO ()
nameio Maybe String
hpc


{- Note [path flags and recompilation]

There are several flags that we deliberately omit from the
recompilation check; here we explain why.

-osuf, -odir, -hisuf, -hidir
  If GHC decides that it does not need to recompile, then
  it must have found an up-to-date .hi file and .o file.
  There is no point recording these flags - the user must
  have passed the correct ones.  Indeed, the user may
  have compiled the source file in one-shot mode using
  -o to specify the .o file, and then loaded it in GHCi
  using -odir.

-stubdir
  We omit this one because it is automatically set by -outputdir, and
  we don't want changes in -outputdir to automatically trigger
  recompilation.  This could be wrong, but only in very rare cases.

-i (importPaths)
  For the same reason as -osuf etc. above: if GHC decides not to
  recompile, then it must have already checked all the .hi files on
  which the current module depends, so it must have found them
  successfully.  It is occasionally useful to be able to cd to a
  different directory and use -i flags to enable GHC to find the .hi
  files; we don't want this to force recompilation.

The only path-related flag left is -hcsuf.
-}

{- Note [Ignoring some flag changes]
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Normally, --make tries to reuse only compilation products that are
the same as those that would have been produced compiling from
scratch. Sometimes, however, users would like to be more aggressive
about recompilation avoidance. This is particularly likely when
developing using GHCi (see #13604). Currently, we allow users to
ignore optimisation changes using -fignore-optim-changes, and to
ignore HPC option changes using -fignore-hpc-changes. If there's a
demand for it, we could also allow changes to -fprof-auto-* flags
(although we can't allow -prof flags to differ). The key thing about
these options is that we can still successfully link a library or
executable when some of its components differ in these ways.

The way we accomplish this is to leave the optimization and HPC
options out of the flag hash, hashing them separately.
-}

{- Note [Repeated -optP hashing]
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

We invoke fingerprintDynFlags for each compiled module to include
the hash of relevant DynFlags in the resulting interface file.
-optP (preprocessor) flags are part of that hash.
-optP flags can come from multiple places:

  1. -optP flags directly passed on command line.
  2. -optP flags implied by other flags. Eg. -DPROFILING implied by -prof.
  3. -optP flags added with {-# OPTIONS -optP-D__F__ #-} in a file.

When compiling many modules at once with many -optP command line arguments
the work of hashing -optP flags would be repeated. This can get expensive
and as noted on #14697 it can take 7% of time and 14% of allocations on
a real codebase.

The obvious solution is to cache the hash of -optP flags per GHC invocation.
However, one has to be careful there, as the flags that were added in 3. way
have to be accounted for.

The current strategy is as follows:

  1. Lazily compute the hash of sOpt_p in sOpt_P_fingerprint whenever sOpt_p
     is modified. This serves dual purpose. It ensures correctness for when
     we add per file -optP flags and lets us save work for when we don't.
  2. When computing the fingerprint in fingerprintDynFlags use the cached
     value *and* fingerprint the additional implied (see 2. above) -optP flags.
     This is relatively cheap and saves the headache of fingerprinting all
     the -optP flags and tracking all the places that could invalidate the
     cache.
-}