diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/profiling.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/profiling.rst b/docs/users_guide/profiling.rst index 6eb5008146..75569f6409 100644 --- a/docs/users_guide/profiling.rst +++ b/docs/users_guide/profiling.rst @@ -800,6 +800,11 @@ following RTS options select which break-down to use: Biographical profiling is described in more detail below (:ref:`biography-prof`). +.. rts-flag:: -hi + + Break down the graph by the address of the info table of a closure. This + profiling mode is intended to be used with :ghc-flag:`-finfo-table-map`. + .. rts-flag:: -l :noindex: |