diff options
Diffstat (limited to 'docs/users_guide/debugging.rst')
| -rw-r--r-- | docs/users_guide/debugging.rst | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index a865f0afb2..d414408a02 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -131,7 +131,17 @@ Dumping out compiler intermediate structures .. ghc-flag:: -ddump-cmm - Print the C-- code out. + Dump the result of the C-- pipeline processing + + .. ghc-flag:: -ddump-cmm-from-stg + + Dump the result of STG-to-C-- conversion + + .. ghc-flag:: -ddump-cmm-verbose + + Dump output from all C-- pipeline stages. In case of + ``.cmm`` compilation this also dumps the result of + file parsing. .. ghc-flag:: -ddump-opt-cmm |