summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/users_guide/8.2.1-notes.rst7
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/users_guide/8.2.1-notes.rst b/docs/users_guide/8.2.1-notes.rst
index 0a9963fafa..7b271cd054 100644
--- a/docs/users_guide/8.2.1-notes.rst
+++ b/docs/users_guide/8.2.1-notes.rst
@@ -44,6 +44,13 @@ 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 |])
+
Runtime system
~~~~~~~~~~~~~~