[commit: ghc] master: Move #12403, #12513 users guide notes to 8.2.1 release notes (acdbd16)

git at git.haskell.org git at git.haskell.org
Mon Aug 22 23:05:12 UTC 2016


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/acdbd16ffca4f13cfae6eeed045a6fc5969adee2/ghc

>---------------------------------------------------------------

commit acdbd16ffca4f13cfae6eeed045a6fc5969adee2
Author: Ryan Scott <ryan.gl.scott at gmail.com>
Date:   Mon Aug 22 19:01:01 2016 -0400

    Move #12403, #12513 users guide notes to 8.2.1 release notes
    
    The changes in #12403 and #12513 subtly changed the behavior of Template
    Haskell reification and splicing. While the old behavior was certainly buggy,
    it's possible that there's code in the wild that depended on the old behavior
    to work. To err on the side of caution, I'll postpone these changes to GHC
    8.2.1 instead of having them merged into GHC 8.0.2.


>---------------------------------------------------------------

acdbd16ffca4f13cfae6eeed045a6fc5969adee2
 docs/users_guide/8.0.2-notes.rst | 11 -----------
 docs/users_guide/8.2.1-notes.rst |  8 ++++++++
 2 files changed, 8 insertions(+), 11 deletions(-)

diff --git a/docs/users_guide/8.0.2-notes.rst b/docs/users_guide/8.0.2-notes.rst
index f75c684..2846d5c 100644
--- a/docs/users_guide/8.0.2-notes.rst
+++ b/docs/users_guide/8.0.2-notes.rst
@@ -32,17 +32,6 @@ 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
-~~~~~~~~~~~~~~~~
-
--  Reifying types that contain unboxed tuples now works correctly. (Previously,
-   Template Haskell reified unboxed tuples as boxed tuples with twice their
-   appropriate arity.)
-
--  Splicing singleton unboxed tuple types (e.g., ``(# Int #)``) now works
-   correctly. Previously, Template Haskell would implicitly remove the
-   parentheses when splicing, which would turn ``(# Int #)`` into ``Int``.
-
 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 d9dd74c..a9b3050 100644
--- a/docs/users_guide/8.2.1-notes.rst
+++ b/docs/users_guide/8.2.1-notes.rst
@@ -56,6 +56,14 @@ Template Haskell
 
       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.)
+
+-  Splicing singleton unboxed tuple types (e.g., ``(# Int #)``) now works
+   correctly. Previously, Template Haskell would implicitly remove the
+   parentheses when splicing, which would turn ``(# Int #)`` into ``Int``.
+
 Runtime system
 ~~~~~~~~~~~~~~
 



More information about the ghc-commits mailing list