[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