GHC.Core.Opt.Pipeline.Types

ghc-lib-parser-9.10.1.20250103: The GHC API, decoupled from GHC versions

Safe Haskell | Ignore
Language | GHC2021

GHC.Core.Opt.Pipeline.Types

Contents

- Configuration of the core-to-core passes

Synopsis

- type CorePluginPass = ModGuts -> CoreM ModGuts
- data CoreToDo
  - = CoreDoSimplify !SimplifyOpts
  - | CoreDoPluginPass String CorePluginPass
  - | CoreDoFloatInwards
  - | CoreDoFloatOutwards FloatOutSwitches
  - | CoreLiberateCase
  - | CoreDoPrintCore
  - | CoreDoStaticArgs
  - | CoreDoCallArity
  - | CoreDoExitify
  - | CoreDoDemand Bool
  - | CoreDoCpr
  - | CoreDoWorkerWrapper
  - | CoreDoSpecialising
  - | CoreDoSpecConstr
  - | CoreCSE
  - | CoreDoRuleCheck CompilerPhase String
  - | CoreDoNothing
  - | CoreDoPasses [CoreToDo]
  - | CoreDesugar
  - | CoreDesugarOpt
  - | CoreTidy
  - | CorePrep
  - | CoreAddCallerCcs
  - | CoreAddLateCcs
- bindsOnlyPass :: (CoreProgram -> CoreM CoreProgram) -> ModGuts -> CoreM ModGuts
- pprPassDetails :: CoreToDo -> SDoc

# Configuration of the core-to-core passes

type CorePluginPass = ModGuts -> CoreM ModGuts #

A description of the plugin pass itself

data CoreToDo #

Constructors

CoreDoSimplify !SimplifyOpts | The core-to-core simplifier.
CoreDoPluginPass String CorePluginPass |
CoreDoFloatInwards |
CoreDoFloatOutwards FloatOutSwitches |
CoreLiberateCase |
CoreDoPrintCore |
CoreDoStaticArgs |
CoreDoCallArity |
CoreDoExitify |
CoreDoDemand Bool |
CoreDoCpr |
CoreDoWorkerWrapper |
CoreDoSpecialising |
CoreDoSpecConstr |
CoreCSE |
CoreDoRuleCheck CompilerPhase String |
CoreDoNothing |
CoreDoPasses [CoreToDo] |
CoreDesugar |
CoreDesugarOpt |
CoreTidy |
CorePrep |
CoreAddCallerCcs |
CoreAddLateCcs |

#### Instances

Instances details

Outputable CoreToDo # |
Instance details Defined in GHC.Core.Opt.Pipeline.Types Methods ppr :: CoreToDo -> SDoc #

bindsOnlyPass :: (CoreProgram -> CoreM CoreProgram) -> ModGuts -> CoreM ModGuts #

pprPassDetails :: CoreToDo -> SDoc #