[commit: ghc] master: Release note blurb about IncoherentInstances. (f6a3bfe)

git at git.haskell.org git at git.haskell.org
Fri Aug 30 05:15:48 CEST 2013


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

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

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

commit f6a3bfea5b5ba17fffcee42c3fe6087c912767c6
Author: Austin Seipp <aseipp at pobox.com>
Date:   Thu Aug 29 22:15:31 2013 -0500

    Release note blurb about IncoherentInstances.
    
    Signed-off-by: Austin Seipp <aseipp at pobox.com>


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

f6a3bfea5b5ba17fffcee42c3fe6087c912767c6
 docs/users_guide/7.8.1-notes.xml |   19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml
index 5c9c1c9..4719403 100644
--- a/docs/users_guide/7.8.1-notes.xml
+++ b/docs/users_guide/7.8.1-notes.xml
@@ -201,6 +201,25 @@
                </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>





More information about the ghc-commits mailing list