Link from 7.6.3.4 to 7.7.2.6 in the user guide.
authorJan Stolarek <jan.stolarek@p.lodz.pl>
Thu, 25 Sep 2014 08:18:15 +0000 (10:18 +0200)
committerJan Stolarek <jan.stolarek@p.lodz.pl>
Thu, 25 Sep 2014 08:18:15 +0000 (10:18 +0200)
This point the user that there is a relation between the
UndecibadleInstances flag and the type families, not just type
classes.

docs/users_guide/glasgow_exts.xml

index 13090c6..04e603a 100644 (file)
@@ -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>