diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/ghci.rst | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index a5f5764a9e..f5dcfe3962 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -2025,17 +2025,6 @@ 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 ~~~~~~~~ |