GHC.Stack.CCS

Access to GHC's call-stack simulation

Since: base-4.5.0.0

Call stacks

currentCallStack :: IO [String]

Returns a [String] representing the current call stack. This can be useful for debugging.

The implementation uses the call-stack simulation maintained by the profiler, so it only works if the program was compiled with -prof and contains suitable SCC annotations (e.g. by using -fprof-auto). Otherwise, the list returned is likely to be empty or uninformative.

Since: base-4.5.0.0

whoCreated :: a -> IO [String]

Get the stack trace attached to an object.

Since: base-4.5.0.0

whereFrom :: a -> IO (Maybe InfoProv)

Get information about where a value originated from. This information is stored statically in a binary when `-finfo-table-map` is enabled. The source positions will be greatly improved by also enabled debug information with `-g3`. Finally you can enable `-fdistinct-constructor-tables` to get more precise information about data constructor allocations.

The information is collect by looking at the info table address of a specific closure and then consulting a specially generated map (by `-finfo-table-map`) to find out where we think the best source position to describe that info table arose from.

Internals

data CostCentreStack

A cost-centre stack from GHC's cost-center profiler.

data CostCentre

A cost-centre from GHC's cost-center profiler.

getCurrentCCS :: dummy -> IO (Ptr CostCentreStack)

Returns the current CostCentreStack (value is nullPtr if the current program was not compiled with profiling support). Takes a dummy argument which can be used to avoid the call to getCurrentCCS being floated out by the simplifier, which would result in an uninformative stack (CAF).

getCCSOf :: a -> IO (Ptr CostCentreStack)

Get the CostCentreStack associated with the given value.

clearCCS :: IO a -> IO a

Run a computation with an empty cost-center stack. For example, this is used by the interpreter to run an interpreted computation without the call stack showing that it was invoked from GHC.

ccsCC :: Ptr CostCentreStack -> IO (Ptr CostCentre)

Get the CostCentre at the head of a CostCentreStack.

ccsParent :: Ptr CostCentreStack -> IO (Ptr CostCentreStack)

Get the tail of a CostCentreStack.

ccLabel :: Ptr CostCentre -> IO CString

Get the label of a CostCentre.

ccModule :: Ptr CostCentre -> IO CString

Get the module of a CostCentre.

ccSrcSpan :: Ptr CostCentre -> IO CString

Get the source span of a CostCentre.

ccsToStrings :: Ptr CostCentreStack -> IO [String]

Format a CostCentreStack as a list of lines.

renderStack :: [String] -> String

ipeProv :: Ptr InfoProvEnt -> Ptr InfoProv

peekInfoProv :: Ptr InfoProv -> IO InfoProv

data InfoProv

Constructors

InfoProv

Fields

• ipName :: String
• ipDesc :: String
• ipTyDesc :: String
• ipLabel :: String
• ipMod :: String
• ipLoc :: String

Instances

Show InfoProv

Defined in GHC.Stack.CCS

Methods

showsPrec :: Int -> InfoProv -> ShowS

show :: InfoProv -> String

showList :: [InfoProv] -> ShowS

Eq InfoProv

Defined in GHC.Stack.CCS

Methods

(==) :: InfoProv -> InfoProv -> Bool

(/=) :: InfoProv -> InfoProv -> Bool

data InfoProvEnt