.. _release-8-0-2:

Release notes for version 8.0.2
===============================

TODO FIXME

Highlights
----------

TODO FIXME.

Full details
------------

Language
~~~~~~~~

-  TODO FIXME.

Compiler
~~~~~~~~

-  TODO FIXME.

Template Haskell
~~~~~~~~~~~~~~~~

-  TODO FIXME.

- ``addModFinalizer`` now exposes the local typing environment at the splice
  point. This allows ``reify`` to see local and top-level definitions in the
  current declaration group when used as in

  .. code-block:: none

      f x = $(addModFinalizer (reify 'x >>= runIO . print) >> [| x |])


.. _release-8-0-2:

Release notes for version 8.0.2
===============================

TODO FIXME

Highlights
----------

TODO FIXME.

Full details
------------

Language
~~~~~~~~

-  TODO FIXME.

Compiler
~~~~~~~~

-  The :ghc-flag:`-Wredundant-constraints` flag has been removed from the
   :ghc-flag:`-Wall` flag set (see :ghc-ticket:`10635`).

Template Haskell
~~~~~~~~~~~~~~~~

-  TODO FIXME.

- ``addModFinalizer`` now exposes the local typing environment at the splice
  point. This allows ``reify`` to see local and top-level definitions in the
  current declaration group when used as in

  .. code-block:: none

      f x = $(addModFinalizer (reify 'x >>= runIO . print) >> [| x |])


Document removal of -Wredundant-constraints from -Wall
users_guide: Document removal of -Wredundant-constraints from -Wall

(cherry picked from commit 9661f59be99dcb0767739d6734e66babdc2bfe16)
