From ad1e0727182094f0f6226d534ad72954b6d7374b Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Wed, 31 Aug 2016 17:03:46 -0400 Subject: [PATCH] users_guide: Move addModFinalizer mention to 8.0.2 release notes --- docs/users_guide/8.0.2-notes.rst | 13 +++++++++++++ docs/users_guide/8.2.1-notes.rst | 8 -------- 2 files changed, 13 insertions(+), 8 deletions(-) diff --git a/docs/users_guide/8.0.2-notes.rst b/docs/users_guide/8.0.2-notes.rst index a447732d70..b2fc0acfec 100644 --- a/docs/users_guide/8.0.2-notes.rst +++ b/docs/users_guide/8.0.2-notes.rst @@ -33,6 +33,19 @@ Compiler initial cmm from STG-to-C-- code generation and :ghc-flag:`-ddump-cmm-verbose` to obtain the intermediates from all C-- pipeline stages. +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 |]) + TODO FIXME Heading title ~~~~~~~~~~~~~~~~~~~~~~~~ diff --git a/docs/users_guide/8.2.1-notes.rst b/docs/users_guide/8.2.1-notes.rst index ec413b9d06..230278615a 100644 --- a/docs/users_guide/8.2.1-notes.rst +++ b/docs/users_guide/8.2.1-notes.rst @@ -53,14 +53,6 @@ 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 |]) - - Reifying types that contain unboxed tuples now works correctly. (Previously, Template Haskell reified unboxed tuples as boxed tuples with twice their appropriate arity.) -- GitLab