Introduce -ddump-verbose-inliningswip/verbose-inlinings

Previously -ddump-inlinings and -dverbose-core2core used in conjunction
would have the side-effect of dumping additional information about all
inlinings considered by the simplifier. However, I have sometimes wanted
this inlining information without the firehose of information produced by
-dverbose-core2core. Introduce a new dump flag for this purpose.

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