diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/debugging.rst | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index 8304434703..82d10e6e99 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -338,6 +338,18 @@ subexpression elimination pass. Dump strictness signatures +.. ghc-flag:: -ddump-cpranal + :shortdesc: Dump CPR analysis output + :type: dynamic + + Dump Constructed Product Result analysis output + +.. ghc-flag:: -ddump-cpr-signatures + :shortdesc: Dump CPR signatures + :type: dynamic + + Dump Constructed Product Result signatures + .. ghc-flag:: -ddump-cse :shortdesc: Dump CSE output :type: dynamic |