[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