summaryrefslogtreecommitdiff
path: root/docs/users_guide/debugging.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/users_guide/debugging.rst')
-rw-r--r--docs/users_guide/debugging.rst15
1 files changed, 10 insertions, 5 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst
index d8a024dde4..9e6664c152 100644
--- a/docs/users_guide/debugging.rst
+++ b/docs/users_guide/debugging.rst
@@ -332,13 +332,18 @@ subexpression elimination pass.
Dump simplifier output (Core-to-Core passes)
.. ghc-flag:: -ddump-inlinings
- :shortdesc: Dump inlining info
+ :shortdesc: Dump inlinings performed by the simplifier.
:type: dynamic
- Dumps inlining info from the simplifier. Note that if used in
- conjunction with :ghc-flag:`-dverbose-core2core` the compiler will
- also dump the inlinings that it considers but passes up, along with
- its rationale.
+ Dumps inlinings performed by the simplifier.
+
+.. ghc-flag:: -ddump-verbose-inlinings
+ :shortdesc: Dump all considered inlinings
+ :type: dynamic
+
+ Dumps all inlinings considered by the simplifier, even those ultimately not
+ performed. This output includes various information that the simplifier uses
+ to determine whether the inlining is beneficial.
.. ghc-flag:: -ddump-stranal
:shortdesc: Dump demand analysis output