Simon Peyton Jones pushed to branch wip/T23162-part2 at Glasgow Haskell Compiler / GHC Commits: 0432673b by Simon Peyton Jones at 2025-12-19T08:31:15+00:00 Add release notes - - - - - 1 changed file: - docs/users_guide/9.16.1-notes.rst Changes: ===================================== docs/users_guide/9.16.1-notes.rst ===================================== @@ -42,6 +42,13 @@ Compiler bound to variables. The very similar pattern ``Foo{bar = Bar{baz = 42}}`` will will not yet mark ``bar`` or ``baz`` as covered. +- GHC uses the information from the definition of a *closed* type family to + generate some extra functional dependencies for type equalities involving + that type family. As a consequence: + + * typechecking will succeed a bit more often (see :ghc-ticket:`23162`) + * pattern-match incompleteness checking is a bit smarter, giving fewer false warnings (see :ghc-ticket:`#22652`) + - When multiple ``-msse*`` flags are given, the maximum version takes effect. For example, ``-msse4.2 -msse2`` is now equivalent to ``-msse4.2``. Previously, only the last flag took effect. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0432673bdcba2c3c696f713b59c3ef98... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0432673bdcba2c3c696f713b59c3ef98... You're receiving this email because of your account on gitlab.haskell.org.