Glitches in 9.8.1 changelog / release notes
Looking at https://downloads.haskell.org/ghc/9.8.1-alpha4/docs/users_guide/9.8.1-notes.html:
-
There's some broken RST syntax:
Rewrite rules now support a limited form of higher order matching when a pattern variable is applied to distinct locally bound variables, as proposed in GHC Proposal #555 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0555-template-patterns.rst>
-
This entry doesn't reflect !10748 (merged), which changed the new behaviour to be guarded by the
-fno-specialise-incoherents
flag:Incoherent instance applications are no longer specialised. The previous implementation of specialisation resulted in nondeterministic instance resolution in certain cases, breaking the specification described in the documentation of the INCOHERENT pragma. See #22448 (closed) for further details.
-
This entry has a broken link on
GHC.TypeError
:GHC Proposal #433 (closed) has been implemented. This adds the class
Unsatisfiable :: ErrorMessage -> Constraint
to the GHC.TypeError module.
In general, section 2.1.3. Compiler seems like it could be better organised, and some of the changes look like they belong in section 2.1.2 Language. Perhaps we could separate out optimiser changes, warning changes, etc. into distinct (sub)sections?