diff options
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/ghci.rst | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index f5dcfe3962..a5f5764a9e 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -2025,6 +2025,17 @@ mostly obvious. It will create ``.ghci-history`` in current folder where GHCi is launched. +.. ghc-flag:: -fghci-leak-check + :shortdesc: (Debugging only) check for space leaks when loading + new modules in GHCi. + :type: dynamic + :reverse: -fno-ghci-leak-check + :category: + + (Debugging only) When loading new modules with ``:load``, check + that any previously loaded modules have been correctly garbage + collected. Emits messages if a leak is detected. + Packages ~~~~~~~~ |