[commit: ghc] master: Mention coerce in the release notes (d159446)
git at git.haskell.org
git at git.haskell.org
Sat Sep 14 12:53:31 CEST 2013
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/d1594465144a73101a5380638c10cfd872cc25a1/ghc
>---------------------------------------------------------------
commit d1594465144a73101a5380638c10cfd872cc25a1
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Sat Sep 14 12:52:10 2013 +0200
Mention coerce in the release notes
It is not added to the section on Special built-in functions because
the (from a user POV related) unsafeCoerce has been removed there
recently.
>---------------------------------------------------------------
d1594465144a73101a5380638c10cfd872cc25a1
docs/users_guide/7.8.1-notes.xml | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml
index 47fa6a1..3d045bc 100644
--- a/docs/users_guide/7.8.1-notes.xml
+++ b/docs/users_guide/7.8.1-notes.xml
@@ -272,6 +272,27 @@
</listitem>
</itemizedlist>
+ <itemizedlist>
+ <listitem>
+ <para>
+ A new built-in function <literal>coerce</literal> is
+ provided that allows to safely coerce values between types
+ that have the same run-time-presentation, such as
+ newtypes, but also newtypes inside containers. See the
+ haddock documentation of
+ <ulink url="&libraryBaseLocation;/GHC-Exts.html#v%3Acoerce">coerce</ulink>
+ and of the class
+ <ulink url="&libraryBaseLocation;/GHC-Exts.html#t%3ACoercible">Coercible</ulink>
+ for more details.
+ </para>
+ <para>
+ This feature is included in this release as a technology
+ preview, and may change its syntax and/or semantics in the
+ next release.
+ </para>
+ </listitem>
+ </itemizedlist>
+
</sect3>
More information about the ghc-commits
mailing list