ghc-9.6.0.20230210: The GHC API

Safe Haskell	Safe-Inferred
Language	Haskell2010

GHC.CoreToStg.Prep

Synopsis

data CorePrepConfig = CorePrepConfig {
- cp_catchNonexhaustiveCases :: !Bool
- cp_convertNumLit :: !(LitNumType -> Integer -> Maybe CoreExpr)
}
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

CorePrepConfig
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.

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