Safe Haskell	None
Language	GHC2021

GHC.Stg.Debug

Synopsis

data StgDebugOpts = StgDebugOpts {
- stgDebug_infoTableMap :: !Bool
- stgDebug_distinctConstructorTables :: !StgDebugDctConfig
}
data StgDebugDctConfig
- = All
- | Only !(Set String)
- | None
dctConfigOnly :: StgDebugDctConfig -> Set String -> StgDebugDctConfig
collectDebugInformation :: StgDebugOpts -> ModLocation -> [StgTopBinding] -> ([StgTopBinding], InfoTableProvMap)

Documentation

data StgDebugOpts Source #

Constructors

StgDebugOpts
Fields stgDebug_infoTableMap :: !Bool stgDebug_distinctConstructorTables :: !StgDebugDctConfig

data StgDebugDctConfig Source #

Configuration describing which constructors should be given distinct info tables for each usage.

Constructors

All

Create distinct constructor tables for each usage of any data constructor.

This is the behavior if just -fdistinct-constructor-tables is supplied.

Only !(Set String)

Create distinct constructor tables for each usage of only these data constructors.

This is the behavior if -fdistinct-constructor-tables-only=C1,...,CN is supplied.

None

Do not create distinct constructor tables for any data constructor.

This is the behavior if -fno-distinct-constructor-tables is given.

dctConfigOnly :: StgDebugDctConfig -> Set String -> StgDebugDctConfig Source #

Given a distinct constructor tables configuration and a set of constructor names that we want to generate distinct info tables for, create a new configuration which includes those constructors.

If the given set is empty, that means the user has entered -fdistinct-constructor-tables with no constructor names specified, and therefore we consider that an All configuration.

collectDebugInformation :: StgDebugOpts -> ModLocation -> [StgTopBinding] -> ([StgTopBinding], InfoTableProvMap) Source #