Release note blurb about IncoherentInstances.
authorAustin Seipp <aseipp@pobox.com>
Fri, 30 Aug 2013 03:15:31 +0000 (22:15 -0500)
committerAustin Seipp <aseipp@pobox.com>
Fri, 30 Aug 2013 03:15:31 +0000 (22:15 -0500)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
docs/users_guide/7.8.1-notes.xml

index 5c9c1c9..4719403 100644 (file)
                </para>
            </listitem>
        </itemizedlist>
+
+        <itemizedlist>
+            <listitem>
+                <para>
+                     The <literal>IncoherentInstances</literal>
+                     extension has seen a behavioral change, and is
+                     now 'liberated' and less conservative during
+                     instance resolution. This allows more programs to
+                     compile than before.
+               </para>
+                <para>
+                     Now, <literal>IncoherentInstances</literal> will
+                     always pick an arbitrary matching instance, if
+                     multiple ones exist.
+               </para>
+           </listitem>
+       </itemizedlist>
+
+
     </sect3>
 
     <sect3>