Commit 56e0d057 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Release notes should mention better newtype-deriving

parent 6da4233d
......@@ -250,8 +250,14 @@
<literal>MyIO <replaceable>t</replaceable></literal>
rather than just
<literal>IO <replaceable>t</replaceable></literal>.
See <xref linkend="ffi-newtype-io"/>
</para>
</listitem>
<listitem> <para> GHC's mechansim for deriving user-defined classes
for newtypes has been further generalised, to multi-parameter type
classes and higher-kinded types. See <xref
linkend="newtype-deriving"/>.
</para></listitem>
<listitem>
<para>
By default, pattern bindings in GHC are now monomorphic.
......
......@@ -54,7 +54,7 @@ the <option>-fglasgow-exts</option><indexterm><primary><option>-fglasgow-exts</o
and <literal>ByteArray#</literal>.</para>
</sect2>
<sect2>
<sect2 id="ffi-newtype-io">
<title>Newtype wrapping of the IO monad</title>
<para>The FFI spec requires the IO monad to appear in various places,
but it can sometimes be convenient to wrap the IO monad in a
......
......@@ -120,7 +120,7 @@ documentation</ulink> describes all the libraries that come with GHC.
</term>
<listitem>
<para> These two flags control how generalisation is done in
See <xlink linkend="monomorphism"/>.
See <xref linkend="monomorphism"/>.
</para>
</listitem>
</varlistentry>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment