diff options
| author | unknown <simonpj@MSRC-4971295.europe.corp.microsoft.com> | 2013-09-23 04:39:02 +0100 |
|---|---|---|
| committer | unknown <simonpj@MSRC-4971295.europe.corp.microsoft.com> | 2013-10-01 16:54:55 +0100 |
| commit | 36035d87b4f76b07193e3ec55e8216a3fec72deb (patch) | |
| tree | 22f316442e17376aaf820240bfa673bf43513d07 | |
| parent | 9bd366642f495fe26db261317dd416de1ff854bc (diff) | |
| download | haskell-36035d87b4f76b07193e3ec55e8216a3fec72deb.tar.gz | |
Better docs for MINIMAL
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index c652762e31..0bd20906b4 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> |