diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-02-28 08:29:56 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-03 08:12:43 -0500 |
| commit | df74e95ae76b30a7c1a9b155a3e8d58eabd054eb (patch) | |
| tree | 60570ce45b325bed7fcb3de45b9ce0064d63fb21 /compiler/ghc.cabal.in | |
| parent | ad0c2073331fd5a80fa80dfc3a01b4b72e7190a4 (diff) | |
| download | haskell-df74e95ae76b30a7c1a9b155a3e8d58eabd054eb.tar.gz | |
User's Guide: document DefaultSignatures' interaction with subsumption
As reported in #19432, the rules governing how `DefaultSignatures` are
typechecked became stricter in GHC 9.0 due to simplified subsumption.
However, this was far from obvious to me after reading the User's Guide section
on `DefaultSignatures`. In this patch, I spruce up the documentation in that
section so that it mentions these nuances.
Resolves #19432.
Diffstat (limited to 'compiler/ghc.cabal.in')
0 files changed, 0 insertions, 0 deletions