diff options
| -rw-r--r-- | docs/users_guide/9.0.1-notes.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/users_guide/9.0.1-notes.rst b/docs/users_guide/9.0.1-notes.rst index 45a796fb07..dcbfbde786 100644 --- a/docs/users_guide/9.0.1-notes.rst +++ b/docs/users_guide/9.0.1-notes.rst @@ -351,6 +351,13 @@ Haddock - ``Void#`` is now a type synonym for the unboxed tuple ``(# #)``. Code using ``Void#`` now has to enable :extension:`UnboxedTuples`. +- Add a pair of new operations, ``keepAliveLifted#`` and ``keepAliveUnlifted#`` + to :ghc-prim:`GHC.Magic` which supersede the ``touch#`` primitive in most + cases. Unlike ``touch#`` these operations do not suffer from fragility in the + presence of simplification (see :ghc-ticket:`17760`). Users are strongly + encouraged to audit their code-bases for uses of ``touch#`` and replace them + with the appropriate ``keepAlive#`` function if possible. + ``ghc`` library ~~~~~~~~~~~~~~~ |