diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-09-14 12:52:10 +0200 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-09-14 12:53:22 +0200 |
| commit | d1594465144a73101a5380638c10cfd872cc25a1 (patch) | |
| tree | a4aff669a1da9c14dc6a01dabbdc012430fccb2f /docs | |
| parent | 1534b1dcfa192daa023d306a06fe0bd97f036f60 (diff) | |
| download | haskell-d1594465144a73101a5380638c10cfd872cc25a1.tar.gz | |
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.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/7.8.1-notes.xml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml index 47fa6a1662..3d045bc5d2 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> |