diff options
author | Ben Gamari <ben@smart-cactus.org> | 2021-01-04 14:03:08 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2021-01-04 14:04:13 -0500 |
commit | dcd1abd4bfa0a939dac83b4cffb817881d337812 (patch) | |
tree | b9b13225214d3a7d5047743ee6b2699a5f786042 | |
parent | 26a928b8fdb1b4ccb75e8edb620b8cf12cb38621 (diff) | |
download | haskell-wip/release-notes.tar.gz |
docs: Various release notes changeswip/release-notes
* Mention changed in profiler's treatment of PINNED closures
* Fix formatting
* Move plugins-relevant changes to GHC API section
-rw-r--r-- | docs/users_guide/9.2.1-notes.rst | 29 |
1 files changed, 20 insertions, 9 deletions
diff --git a/docs/users_guide/9.2.1-notes.rst b/docs/users_guide/9.2.1-notes.rst index 4de092a525..6a2cc96128 100644 --- a/docs/users_guide/9.2.1-notes.rst +++ b/docs/users_guide/9.2.1-notes.rst @@ -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``: :: |