[commit: ghc] master: Link from 7.6.3.4 to 7.7.2.6 in the user guide. (f1d8841)

[git at git.haskell.org]

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

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

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

commit f1d884193ff03ce40ad58134e44df5b50c6a62f5
Author: Jan Stolarek <jan.stolarek at p.lodz.pl>
Date:   Thu Sep 25 10:18:15 2014 +0200

    Link from 7.6.3.4 to 7.7.2.6 in the user guide.
    
    This point the user that there is a relation between the
    UndecibadleInstances flag and the type families, not just type
    classes.


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

f1d884193ff03ce40ad58134e44df5b50c6a62f5
 docs/users_guide/glasgow_exts.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 13090c6..04e603a 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -5025,6 +5025,11 @@ sort of backtrace, and the opportunity to increase the stack depth
 with <option>-fcontext-stack=</option><emphasis>N</emphasis>.
 </para>
 
+<para>
+The <option>-XUndecidableInstances</option> flag is also used to lift some of the
+restricitions imposed on type family instances. See <xref linkend="type-family-decidability"/>.
+</para>
+
 </sect3>