summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2022-11-14 19:30:50 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-11-16 14:50:06 -0500
commit37cfe3c0f4fb16189bbe3bb735f758cd6e3d9157 (patch)
treef4084bab4c1d5a71a24d8b67677bef5061a6b08a /docs
parent08bf28819b78e740550a73a90eda62cce8d21c90 (diff)
downloadhaskell-37cfe3c0f4fb16189bbe3bb735f758cd6e3d9157.tar.gz
Misc cleanup
* Replace catMaybes . map f with mapMaybe f * Use concatFS to concatenate multiple FastStrings * Fix documentation of -exclude-module * Cleanup getIgnoreCount in GHCi.UI
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/expected-undocumented-flags.txt1
-rw-r--r--docs/users_guide/separate_compilation.rst2
2 files changed, 1 insertions, 2 deletions
diff --git a/docs/users_guide/expected-undocumented-flags.txt b/docs/users_guide/expected-undocumented-flags.txt
index 33958b1578..1e8cd4f4cc 100644
--- a/docs/users_guide/expected-undocumented-flags.txt
+++ b/docs/users_guide/expected-undocumented-flags.txt
@@ -26,7 +26,6 @@
-dsource-stats
-dstg-stats
-dsuppress-stg-exts
--exclude-module
-fallow-incoherent-instances
-fallow-overlapping-instances
-fallow-undecidable-instances
diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst
index 84ec626a17..abcc2f3e31 100644
--- a/docs/users_guide/separate_compilation.rst
+++ b/docs/users_guide/separate_compilation.rst
@@ -1483,7 +1483,7 @@ generation are:
on ``.hi``, ``.a_hs`` on ``.a_hi``, and ``.b_hs`` on ``.b_hi``.
If you do not use this flag then the empty suffix is used.
-.. ghc-flag:: --exclude-module=⟨file⟩
+.. ghc-flag:: -exclude-module=⟨file⟩
:shortdesc: Regard ``⟨file⟩`` as "stable"; i.e., exclude it from having
dependencies on it.
:type: dynamic