diff options
-rw-r--r-- | docs/users_guide/debugging.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index 0d3872e32f..d0f479cbb1 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -74,6 +74,11 @@ Dumping out compiler intermediate structures aren't). This flag makes debugging output appear in the more verbose debug style. +.. ghc-flag:: -ddump-timings + :shortdesc: Dump per-pass timing and allocation statistics + :type: dynamic + + Show allocation and runtime statistics for various stages of compilation. GHC is a large program consisting of a number of stages. You can tell GHC to dump information from various stages of compilation using the ``-ddump-⟨pass⟩`` |