diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-08-29 23:07:43 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-08 03:00:57 -0400 |
commit | dcc1599f74d8115b3bd1bd87648866d89070a7e9 (patch) | |
tree | 9c4802eb4d683f39fb414b22b8ac8ee5cfa075ba /docs/users_guide/debugging.rst | |
parent | fb1e0a5da67f075ae4f487e111fcf69d1dfcd42f (diff) | |
download | haskell-dcc1599f74d8115b3bd1bd87648866d89070a7e9.tar.gz |
Minor doc fixes
- Fix markup in 9.4 release notes
- Document -ddump-cs-trace
- Mention that ImpredicativeTypes is really supported only since 9.2
- Remove "There are some restrictions on the use of unboxed tuples".
This used to be a list, but all those restrictions were removed.
- Mark -fimplicit-import-qualified as documented
- Remove "The :main and :run command" - duplicated verbatim in options
- Avoid calling "main" a function (cf. #7816)
- Update System.getArgs: the old location was before hierarchical modules
- Note that multiplicity multiplication is not supported (#20319)
Diffstat (limited to 'docs/users_guide/debugging.rst')
-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 9e6664c152..f9e6946b20 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -151,6 +151,12 @@ These flags dump various information from GHC's typechecker and renamer. Make the pattern match exhaustiveness checker be *real* chatty about what it is up to. +.. ghc-flag:: -ddump-cs-trace + :shortdesc: Trace constraint solver + :type: dynamic + + Make the constraint solver be *real* chatty about what it is up to. + .. ghc-flag:: -ddump-rn-stats :shortdesc: Renamer stats :type: dynamic |