GHC.InfoProv

Access to GHC's info-table provenance metadata.

Since: base-4.18.0.0

Documentation

data InfoProv

Constructors

InfoProv

Fields

• ipName :: String
• ipDesc :: String
• ipTyDesc :: String
• ipLabel :: String
• ipMod :: String
• ipSrcFile :: String
• ipSrcSpan :: String

Instances

Show InfoProv

Defined in GHC.InfoProv

Methods

showsPrec :: Int -> InfoProv -> ShowS

show :: InfoProv -> String

showList :: [InfoProv] -> ShowS

Eq InfoProv

Defined in GHC.InfoProv

Methods

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

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

ipLoc :: InfoProv -> String

ipeProv :: Ptr InfoProvEnt -> Ptr InfoProv

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.

Since: base-4.16.0.0

Internals

data InfoProvEnt

peekInfoProv :: Ptr InfoProv -> IO InfoProv