diff options
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/debugging.rst | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index 8191048b92..3dda67bee5 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -103,7 +103,9 @@ Dumping out compiler intermediate structures .. ghc-flag:: -ddump-inlinings - Dumps inlining info from the simplifier + 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. .. ghc-flag:: -ddump-stranal |