diff options
| -rw-r--r-- | docs/users_guide/debugging.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index 82d10e6e99..e1455bd456 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -521,6 +521,12 @@ These flags dump various phases of GHC's C-\\- pipeline. Each CFG is dumped in dot format graph making it easy to visualize them. +.. ghc-flag:: -ddump-srts + :shortdesc: Dump the Static Reference Tables computed for the program's bindings. + :type: dynamic + + Dumps the static reference tables computed for CAFfy bindings. + LLVM code generator ~~~~~~~~~~~~~~~~~~~~~~ |