[commit: ghc] master: Better docs for MINIMAL (36035d8)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/36035d87b4f76b07193e3ec55e8216a3fec72deb/ghc

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

commit 36035d87b4f76b07193e3ec55e8216a3fec72deb
Author: unknown <simonpj at MSRC-4971295.europe.corp.microsoft.com>
Date:   Mon Sep 23 04:39:02 2013 +0100

    Better docs for MINIMAL


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

36035d87b4f76b07193e3ec55e8216a3fec72deb
 docs/users_guide/glasgow_exts.xml |    9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index c652762..0bd2090 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -9230,7 +9230,14 @@ mindef ::= name
       <para>A vertical bar denotes disjunction, i.e. one of the two sides is required.
       A comma denotes conjunction, i.e. both sides are required.
       Conjunction binds stronger than disjunction.</para>
-      <para>If no MINIMAL pragma is used, then all methods without a default will be required, excluding methods with a name that starts with an underscore.</para>
+      <para>
+      If no MINIMAL pragma is given in the class declaration, it is just as if 
+      a pragma <literal>{-# MINIMAL op1, op2, ..., opn #-}</literal> was given, where
+      the <literal>opi</literal> are the methods 
+      (a) that lack a default method in the class declaration, and 
+      (b) whose name that does not start with an underscore  
+      (c.f. <option>-fwarn-missing-methods</option>, <xref linkend="options-sanity"/>).
+      </para>
       <para>This warning can be turned off with the flag <option>-fno-warn-missing-methods</option>.</para>
     </sect2>