Commit ad3d2364 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot

docs: Various release notes changes

 * Mention changed in profiler's treatment of PINNED closures
 * Fix formatting
 * Move plugins-relevant changes to GHC API section
parent e0e7d2bc
Pipeline #29612 canceled with stages
......@@ -50,7 +50,7 @@ Language
Compiler
~~~~~~~~
- New ``-Wredundant-bang-patterns`` flag that enables checks for "dead" bangs.
- New :ghc-flag:`-Wredundant-bang-patterns` flag that enables checks for "dead" bangs.
For instance, given this program: ::
f :: Bool -> Bool
......@@ -61,15 +61,13 @@ Compiler
since the argument was already forced in the first equation. For more
details see :ghc-flag:`-Wredundant-bang-patterns`.
- New ``-finline-generics`` and ``-finline-generics-aggressively`` flags for
improving performance of generics-based algorithms.
- New :ghc-flag:`-finline-generics` and
:ghc-flag:`-finline-generics-aggressively` flags for improving performance of
generics-based algorithms.
For more details see :ghc-flag:`-finline-generics` and
:ghc-flag:`-finline-generics-aggressively`.
- Type checker plugins which work with the natural numbers now
should use ``naturalTy`` kind instead of ``typeNatKind``, which has been removed.
- GHCi's ``:kind!`` command now expands through type synonyms in addition to type
families. See :ghci-cmd:`:kind`.
......@@ -77,9 +75,15 @@ Compiler
that the compiler automatically insert cost-centres on all call-sites of
the named function.
- There is a significant refactoring in the solver; any type-checker plugins
will have to be updated, as GHC no longer uses flattening skolems or
flattening metavariables.
Runtime system
~~~~~~~~~~~~~~
- The heap profiler now has proper treatment of pinned ``ByteArray#``\ s. Such
heap objects will now be correctly attributed to their appropriate cost
centre instead of merely being lumped into the ``PINNED`` category.
Moreover, we now correctly account for the size of the array, meaning that
space lost to fragmentation is no longer counted as live data.
``ghc-prim`` library
~~~~~~~~~~~~~~~~~~~~
......@@ -90,6 +94,13 @@ Compiler
``ghc`` library
~~~~~~~~~~~~~~~
- There is a significant refactoring in the solver; any type-checker plugins
will have to be updated, as GHC no longer uses flattening skolems or
flattening metavariables.
- Type checker plugins which work with the natural numbers now
should use ``naturalTy`` kind instead of ``typeNatKind``, which has been removed.
- The ``con_args`` field of ``ConDeclGADT`` has been renamed to ``con_g_args``.
This is because the type of ``con_g_args`` is now different from the type of
the ``con_args`` field in ``ConDeclH98``: ::
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment