diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-07-23 08:48:36 -0400 |
|---|---|---|
| committer | Douglas Wilson <douglas.wilson@gmail.com> | 2022-07-27 11:29:56 +0100 |
| commit | cd8a85fb2506dd7b822877499e0df433e00c5751 (patch) | |
| tree | 94131c52b88dd1ca3e587a62b84cbc4bdfaaa4fb | |
| parent | bcfdc07d1aa98efcbcd74c8961ecc96e6ef617fa (diff) | |
| download | haskell-cd8a85fb2506dd7b822877499e0df433e00c5751.tar.gz | |
user guide: Mention DeepSubsumpion in the release notes
| -rw-r--r-- | docs/users_guide/9.4.1-notes.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/users_guide/9.4.1-notes.rst b/docs/users_guide/9.4.1-notes.rst index 8673f78a9b..45b65ce32d 100644 --- a/docs/users_guide/9.4.1-notes.rst +++ b/docs/users_guide/9.4.1-notes.rst @@ -12,6 +12,13 @@ The :ghc-flag:`LLVM backend <-fllvm>` of this release is to be used with LLVM Language ~~~~~~~~ +- GHC Proposal `#511 + <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0511-deep-subsumption.rst>`_ + has been implemented, introducing a new language extension, + :lang-ext:`DeepSubsumption`. This extension allows the user + to opt-in to the deep type subsumption-checking behavior implemented by GHC + 8.10 and earlier. + - A small change has been made to the way GHC infers types for definitions with no type signature: GHC will no longer generalize a function over a type variable determined by a functional dependency. For example:: |