Commit 1320fd2e authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺
Browse files

Add release note entry for `{-# MINIMAL #-}` (#7633)

parent da11bb13
...@@ -203,6 +203,16 @@ ...@@ -203,6 +203,16 @@
</para> </para>
</listitem> </listitem>
<listitem>
<para>
GHC now has support for a new pragma,
<literal>{-# MINIMAL #-}</literal>, allowing you to
explicitly declare the minimal complete definition of
a class. Should an instance not provide the minimal
required definitions, a warning will be emitted.
</para>
</listitem>
<listitem> <listitem>
<para> <para>
GHC now generates warnings when definitions conflict with the GHC now generates warnings when definitions conflict with the
...@@ -310,7 +320,21 @@ ...@@ -310,7 +320,21 @@
</listitem> </listitem>
</itemizedlist> </itemizedlist>
<itemizedlist>
<listitem>
<para>
The new pragma, <literal>{-# MINIMAL #-}</literal>,
allows to explicitly declare the minimal complete
definition of a class. Should an instance not provide
the minimal required definitions, a warning will be
emitted.
</para>
<para>
See <xref linkend="minimal-pragma"/> for more details.
</para>
</listitem>
</itemizedlist>
</sect3> </sect3>
<sect3> <sect3>
...@@ -573,6 +597,14 @@ ...@@ -573,6 +597,14 @@
These changes were contributed by Bart Massey. These changes were contributed by Bart Massey.
</para> </para>
</listitem> </listitem>
<listitem>
<para>
The minimal complete definitions for all
type-classes with cyclic default implementations
have been explicitly annotated with the new
<literal>{-# MINIMAL #-}</literal> pragma.
</para>
</listitem>
</itemizedlist> </itemizedlist>
</sect3> </sect3>
...@@ -672,6 +704,14 @@ ...@@ -672,6 +704,14 @@
Version number XXXX (was XXXX) Version number XXXX (was XXXX)
</para> </para>
</listitem> </listitem>
<listitem>
<para>
The type-classes <literal>Eq</literal> and
<literal>Ord</literal> have been annotated with
the new <literal>{-# MINIMAL #-}</literal>
pragma.
</para>
</listitem>
</itemizedlist> </itemizedlist>
</sect3> </sect3>
......
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