[commit: ghc] master: Add release note entry for `{-# MINIMAL #-}` (#7633) (1320fd2)

git at git.haskell.org git at git.haskell.org
Sat Sep 21 22:47:16 CEST 2013


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/1320fd2e0198ccdb1aec3aab9205e5ef8661016b/ghc

>---------------------------------------------------------------

commit 1320fd2e0198ccdb1aec3aab9205e5ef8661016b
Author: Herbert Valerio Riedel <hvr at gnu.org>
Date:   Thu Sep 19 10:54:47 2013 +0200

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


>---------------------------------------------------------------

1320fd2e0198ccdb1aec3aab9205e5ef8661016b
 docs/users_guide/7.8.1-notes.xml |   40 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml
index 2d030db..0092cf4 100644
--- a/docs/users_guide/7.8.1-notes.xml
+++ b/docs/users_guide/7.8.1-notes.xml
@@ -205,6 +205,16 @@
 
         <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>
+            <para>
                 GHC now generates warnings when definitions conflict with the
                 Applicative-Monad Proposal (AMP).
 
@@ -310,7 +320,21 @@
            </listitem>
        </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>
@@ -573,6 +597,14 @@
                      These changes were contributed by Bart Massey.
                </para>
            </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>
     </sect3>
 
@@ -672,6 +704,14 @@
                     Version number XXXX (was XXXX)
                </para>
            </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>
     </sect3>
 




More information about the ghc-commits mailing list