ghc-9.10.1: The GHC API

Safe Haskell	None
Language	GHC2021

GHC.CoreToStg.Prep

Synopsis

data CorePrepConfig = CorePrepConfig {
- cp_catchNonexhaustiveCases :: !Bool
- cp_convertNumLit :: !(LitNumType -> Integer -> Maybe CoreExpr)
- cp_arityOpts :: !(Maybe ArityOpts)
}
data CorePrepPgmConfig = CorePrepPgmConfig {
- cpPgm_endPassConfig :: !EndPassConfig
- cpPgm_generateDebugInfo :: !Bool
}
corePrepPgm :: Logger -> CorePrepConfig -> CorePrepPgmConfig -> Module -> ModLocation -> CoreProgram -> [TyCon] -> IO CoreProgram
corePrepExpr :: Logger -> CorePrepConfig -> CoreExpr -> IO CoreExpr
mkConvertNumLiteral :: Platform -> HomeUnit -> (Name -> IO TyThing) -> IO (LitNumType -> Integer -> Maybe CoreExpr)

Documentation

data CorePrepConfig Source #

Constructors

Fields

cp_catchNonexhaustiveCases :: !Bool
Whether to generate a default alternative with `error` in these cases. This is helpful when debugging demand analysis or type checker bugs which can sometimes manifest as segmentation faults.
cp_convertNumLit :: !(LitNumType -> Integer -> Maybe CoreExpr)
Convert some numeric literals (Integer, Natural) into their final Core form.
cp_arityOpts :: !(Maybe ArityOpts)
Configuration for arity analysis (exprEtaExpandArity). See Note [Eta expansion of arguments in CorePrep] When Nothing (e.g., -O0, -O1), use the cheaper exprArity instead

data CorePrepPgmConfig Source #

Constructors

CorePrepPgmConfig
Fields cpPgm_endPassConfig :: !EndPassConfig cpPgm_generateDebugInfo :: !Bool

corePrepPgm :: Logger -> CorePrepConfig -> CorePrepPgmConfig -> Module -> ModLocation -> CoreProgram -> [TyCon] -> IO CoreProgram Source #

corePrepExpr :: Logger -> CorePrepConfig -> CoreExpr -> IO CoreExpr Source #

mkConvertNumLiteral :: Platform -> HomeUnit -> (Name -> IO TyThing) -> IO (LitNumType -> Integer -> Maybe CoreExpr) Source #

Create a function that converts Bignum literals into their final CoreExpr