diff options
| author | Jose Pedro Magalhaes <jpm@cs.ox.ac.uk> | 2015-02-20 08:50:54 +0000 |
|---|---|---|
| committer | Jose Pedro Magalhaes <jpm@cs.ox.ac.uk> | 2015-02-24 08:59:11 +0000 |
| commit | 66c352b000222b9878417db9080295d3b3971d16 (patch) | |
| tree | 625412df40799bedcf16f105ba5d5ac29e57d83d | |
| parent | 5d101a4de38c4fdd5797bdf855f8ab7a70612dc0 (diff) | |
| download | haskell-wip/T9968.tar.gz | |
Minor change to the user's guidewip/T9968
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index f38e0d7351..0184b98ca1 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -1114,7 +1114,7 @@ on <literal>MkT</literal>. But the same pattern match also <emphasis>provides</e </para> <para> Exactly the same reasoning applies to <literal>ExNumPat</literal>: -matching against <literal>ExNumPat</literal> <emphasis>requires</emphasis> +matching against <literal>ExNumPat</literal> <emphasis>requires</emphasis> the constraints <literal>(Num a, Eq a)</literal>, and <emphasis>provides</emphasis> the constraint <literal>(Show b)</literal>. </para> @@ -4321,7 +4321,7 @@ the standard method is used or the one described here.) <para> With <option>-XDeriveAnyClass</option> you can derive any other class. The compiler will simply generate an empty instance. The instance context will be -generated according to the same rules used when deriving <literal>Eq</literal>. +generated by looking at the signatures for the default methods of the class. This is mostly useful in classes whose <link linkend="minimal-pragma">minimal set</link> is empty, and especially when writing <link linkend="generic-programming">generic functions</link>. @@ -4974,7 +4974,7 @@ termination: see <xref linkend="instance-termination"/>. <para> Regardless of <option>-XFlexibleInstances</option> and <option>-XFlexibleContexts</option>, instance declarations must conform to some rules that ensure that instance resolution -will terminate. The restrictions can be lifted with <option>-XUndecidableInstances</option> +will terminate. The restrictions can be lifted with <option>-XUndecidableInstances</option> (see <xref linkend="undecidable-instances"/>). </para> <para> @@ -8638,7 +8638,7 @@ evaluated at runtime.. This behaviour follows that of the </listitem> <listitem><para> -Unbound identifiers with the same name are never unified, even within the +Unbound identifiers with the same name are never unified, even within the same function, but shown individually. For example: <programlisting> |