Fields

• ghcMode :: GhcMode
   
• ghcLink :: GhcLink
   
• backend :: !Backend

  The backend to use (if any).

  Whenever you change the backend, also make sure to set ghcLink to something sensible.

  NoBackend can be used to avoid generating any output, however, note that:

  • If a program uses Template Haskell the typechecker may need to run code from an imported module. To facilitate this, code generation is enabled for modules imported by modules that use template haskell, using the default backend for the platform. See Note [-fno-code mode].
• ghcNameVersion :: !GhcNameVersion
   
• fileSettings :: !FileSettings
   
• targetPlatform :: Platform
   
• toolSettings :: !ToolSettings
   
• platformMisc :: !PlatformMisc
   
• rawSettings :: [(String, String)]
   
• tmpDir :: TempDir
   
• llvmOptLevel :: Int

  LLVM optimisation level

• verbosity :: Int

  Verbosity level: see Note [Verbosity levels]

• debugLevel :: Int

  How much debug information to produce

• simplPhases :: Int

  Number of simplifier phases

• maxSimplIterations :: Int

  Max simplifier iterations

• ruleCheck :: Maybe String
   
• strictnessBefore :: [Int]

  Additional demand analysis

• parMakeCount :: Maybe ParMakeCount

  The number of modules to compile in parallel If unspecified, compile with a single job.

• enableTimeStats :: Bool

  Enable RTS timing statistics?

• ghcHeapSize :: Maybe Int

  The heap size to set.

• maxRelevantBinds :: Maybe Int

  Maximum number of bindings from the type envt to show in type error messages

• maxValidHoleFits :: Maybe Int

  Maximum number of hole fits to show in typed hole error messages

• maxRefHoleFits :: Maybe Int

  Maximum number of refinement hole fits to show in typed hole error messages

• refLevelHoleFits :: Maybe Int

  Maximum level of refinement for refinement hole fits in typed hole error messages

• maxUncoveredPatterns :: Int

  Maximum number of unmatched patterns to show in non-exhaustiveness warnings

• maxPmCheckModels :: Int

  Soft limit on the number of models the pattern match checker checks a pattern against. A safe guard against exponential blow-up.

• simplTickFactor :: Int

  Multiplier for simplifier ticks

• dmdUnboxWidth :: !Int

  Whether DmdAnal should optimistically put an Unboxed demand on returned products with at most this number of fields

• specConstrThreshold :: Maybe Int

  Threshold for SpecConstr

• specConstrCount :: Maybe Int

  Max number of specialisations for any one function

• specConstrRecursive :: Int

  Max number of specialisations for recursive types Not optional; otherwise ForceSpecConstr can diverge.

• binBlobThreshold :: Maybe Word

  Binary literals (e.g. strings) whose size is above this threshold will be dumped in a binary file by the assembler code generator. 0 and Nothing disables this feature. See Config.

• liberateCaseThreshold :: Maybe Int

  Threshold for LiberateCase

• floatLamArgs :: Maybe Int

  Arg count for lambda floating See FloatOutSwitches

• liftLamsRecArgs :: Maybe Int

  Maximum number of arguments after lambda lifting a recursive function.

• liftLamsNonRecArgs :: Maybe Int

  Maximum number of arguments after lambda lifting a non-recursive function.

• liftLamsKnown :: Bool

  Lambda lift even when this turns a known call into an unknown call.

• cmmProcAlignment :: Maybe Int

  Align Cmm functions at this boundary or use default.

• historySize :: Int

  Simplification history size

• importPaths :: [FilePath]
   
• mainModuleNameIs :: ModuleName
   
• mainFunIs :: Maybe String
   
• reductionDepth :: IntWithInf

  Typechecker maximum stack depth

• solverIterations :: IntWithInf

  Number of iterations in the constraints solver Typically only 1 is needed

• givensFuel :: Int

  Number of layers of superclass expansion for givens Should be < solverIterations See Note [Expanding Recursive Superclasses and ExpansionFuel]

• wantedsFuel :: Int

  Number of layers of superclass expansion for wanteds Should be < givensFuel See Note [Expanding Recursive Superclasses and ExpansionFuel]

• qcsFuel :: Int

  Number of layers of superclass expansion for quantified constraints Should be < givensFuel See Note [Expanding Recursive Superclasses and ExpansionFuel]

• homeUnitId_ :: UnitId

  Target home unit-id

• homeUnitInstanceOf_ :: Maybe UnitId

  Id of the unit to instantiate

• homeUnitInstantiations_ :: [(ModuleName, Module)]

  Module instantiations

• workingDirectory :: Maybe FilePath
   
• thisPackageName :: Maybe String

  What the package is called, use with multiple home units

• hiddenModules :: Set ModuleName
   
• reexportedModules :: Set ModuleName
   
• targetWays_ :: Ways

  Target way flags from the command line

• splitInfo :: Maybe (String, Int)
   
• objectDir :: Maybe String
   
• dylibInstallName :: Maybe String
   
• hiDir :: Maybe String
   
• hieDir :: Maybe String
   
• stubDir :: Maybe String
   
• dumpDir :: Maybe String
   
• objectSuf_ :: String
   
• hcSuf :: String
   
• hiSuf_ :: String
   
• hieSuf :: String
   
• dynObjectSuf_ :: String
   
• dynHiSuf_ :: String
   
• outputFile_ :: Maybe String
   
• dynOutputFile_ :: Maybe String
   
• outputHi :: Maybe String
   
• dynOutputHi :: Maybe String
   
• dynLibLoader :: DynLibLoader
   
• dynamicNow :: !Bool

  Indicate if we are now generating dynamic output because of -dynamic-too. This predicate is used to query the appropriate fields (outputFile/dynOutputFile, ways, etc.)

• dumpPrefix :: FilePath

  This defaults to 'non-module'. It can be set by setDumpPrefix or 'ghc.GHCi.UI.runStmt' based on where its output is going.

• dumpPrefixForce :: Maybe FilePath

  Override the dumpPrefix set by setDumpPrefix or 'ghc.GHCi.UI.runStmt'. Set by -ddump-file-prefix

• ldInputs :: [Option]
   
• includePaths :: IncludeSpecs
   
• libraryPaths :: [String]
   
• frameworkPaths :: [String]
   
• cmdlineFrameworks :: [String]
   
• rtsOpts :: Maybe String
   
• rtsOptsEnabled :: RtsOptsEnabled
   
• rtsOptsSuggestions :: Bool
   
• hpcDir :: String

  Path to store the .mix files

• pluginModNames :: [ModuleName]

  the -fplugin flags given on the command line, in *reverse* order that they're specified on the command line.

• pluginModNameOpts :: [(ModuleName, String)]
   
• frontendPluginOpts :: [String]

  the -ffrontend-opt flags given on the command line, in *reverse* order that they're specified on the command line.

• externalPluginSpecs :: [ExternalPluginSpec]

  External plugins loaded from shared libraries

• depMakefile :: FilePath
   
• depIncludePkgDeps :: Bool
   
• depIncludeCppDeps :: Bool
   
• depExcludeMods :: [ModuleName]
   
• depSuffixes :: [String]
   
• packageDBFlags :: [PackageDBFlag]

  The -package-db flags given on the command line, In *reverse* order that they're specified on the command line. This is intended to be applied with the list of "initial" package databases derived from GHC_PACKAGE_PATH; see getUnitDbRefs.

• ignorePackageFlags :: [IgnorePackageFlag]

  The -ignore-package flags from the command line. In *reverse* order that they're specified on the command line.

• packageFlags :: [PackageFlag]

  The -package and -hide-package flags from the command-line. In *reverse* order that they're specified on the command line.

• pluginPackageFlags :: [PackageFlag]

  The -plugin-package-id flags from command line. In *reverse* order that they're specified on the command line.

• trustFlags :: [TrustFlag]

  The -trust and -distrust flags. In *reverse* order that they're specified on the command line.

• packageEnv :: Maybe FilePath

  Filepath to the package environment file (if overriding default)

• dumpFlags :: EnumSet DumpFlag
   
• generalFlags :: EnumSet GeneralFlag
   
• warningFlags :: EnumSet WarningFlag
   
• fatalWarningFlags :: EnumSet WarningFlag
   
• customWarningCategories :: WarningCategorySet
   
• fatalCustomWarningCategories :: WarningCategorySet
   
• language :: Maybe Language
   
• safeHaskell :: SafeHaskellMode

  Safe Haskell mode

• safeInfer :: Bool
   
• safeInferred :: Bool
   
• thOnLoc :: SrcSpan
   
• newDerivOnLoc :: SrcSpan
   
• deriveViaOnLoc :: SrcSpan
   
• overlapInstLoc :: SrcSpan
   
• incoherentOnLoc :: SrcSpan
   
• pkgTrustOnLoc :: SrcSpan
   
• warnSafeOnLoc :: SrcSpan
   
• warnUnsafeOnLoc :: SrcSpan
   
• trustworthyOnLoc :: SrcSpan
   
• extensions :: [OnOff Extension]
   
• extensionFlags :: EnumSet Extension
   
• unfoldingOpts :: !UnfoldingOpts

  Unfolding control See Note [Discounts and thresholds] in GHC.Core.Unfold

• maxWorkerArgs :: Int
   
• ghciHistSize :: Int
   
• flushOut :: FlushOut
   
• ghcVersionFile :: Maybe FilePath
   
• haddockOptions :: Maybe String
   
• ghciScripts :: [String]

  GHCi scripts specified by -ghci-script, in reverse order

• pprUserLength :: Int
   
• pprCols :: Int
   
• useUnicode :: Bool
   
• useColor :: OverridingBool
   
• canUseColor :: Bool
   
• colScheme :: Scheme
   
• profAuto :: ProfAuto

  what kind of {-# SCC #-} to add automatically

• callerCcFilters :: [CallerCcFilter]
   
• interactivePrint :: Maybe String
   
• sseVersion :: Maybe SseVersion

  Machine dependent flags (-m<blah> stuff)

• bmiVersion :: Maybe BmiVersion
   
• avx :: Bool
   
• avx2 :: Bool
   
• avx512cd :: Bool
   
• avx512er :: Bool
   
• avx512f :: Bool
   
• avx512pf :: Bool
   
• fma :: Bool

  Enable FMA instructions.

• rtldInfo :: IORef (Maybe LinkerInfo)

  Run-time linker information (what options we need, etc.)

• rtccInfo :: IORef (Maybe CompilerInfo)

  Run-time C compiler information

• rtasmInfo :: IORef (Maybe CompilerInfo)

  Run-time assembler information

• maxInlineAllocSize :: Int

  Max size, in bytes, of inline array allocations.

• maxInlineMemcpyInsns :: Int

  Only inline memcpy if it generates no more than this many pseudo (roughly: Cmm) instructions.

• maxInlineMemsetInsns :: Int

  Only inline memset if it generates no more than this many pseudo (roughly: Cmm) instructions.

• reverseErrors :: Bool

  Reverse the order of error messages in GHC/GHCi

• maxErrors :: Maybe Int

  Limit the maximum number of errors to show

• initialUnique :: Word

  Unique supply configuration for testing build determinism

• uniqueIncrement :: Int
   
• cfgWeights :: Weights

  Temporary: CFG Edge weights for fast iterations

Fields

• modRenamingWithImplicit :: Bool

  Bring all exposed modules into scope?

• modRenamings :: [(ModuleName, ModuleName)]

  Bring module m into scope under name n.