summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/users_guide/debugging.rst3
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst
index 7adcc84f13..a3f0be7a12 100644
--- a/docs/users_guide/debugging.rst
+++ b/docs/users_guide/debugging.rst
@@ -382,6 +382,9 @@ These flags dump various phases of GHC's C-\\- pipeline.
``.cmm`` compilation this also dumps the result of
file parsing.
+ Cmm dumps don't include unreachable blocks since we print
+ blocks in reverse post order.
+
.. ghc-flag:: -ddump-cmm-from-stg
:shortdesc: Dump STG-to-C-\\- output
:type: dynamic