From cdea1a8eb6e09a0bd5f365f8f23987e92f7a1297 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Fri, 5 Aug 2011 20:28:49 +0100
Subject: [PATCH] Add a release note about TypeSynonymInstances change of
behaviour
As discussed in #5377
---
docs/users_guide/7.2.1-notes.xml | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/docs/users_guide/7.2.1-notes.xml b/docs/users_guide/7.2.1-notes.xml
index 58ded154d5fe..91bb50312adc 100644
--- a/docs/users_guide/7.2.1-notes.xml
+++ b/docs/users_guide/7.2.1-notes.xml
@@ -48,6 +48,27 @@
</para>
</listitem>
+ <listitem>
+ <para>
+ The <literal>TypeSynonymInstances</literal> extension now
+ correctly requires that instances are valid once the type
+ synonym is expanded. For example, in order to have
+ </para>
+<programlisting>
+instance SomeClass String where
+ ...
+</programlisting>
+ <para>
+ you need both <literal>TypeSynonymInstances</literal> and
+ <literal>FlexibleInstances</literal> enabled, as the latter
+ is necessary for
+ </para>
+<programlisting>
+instance SomeClass [Char] where
+ ...
+</programlisting>
+ </listitem>
+
<listitem>
<para>
The <literal>DatatypeContexts</literal> extension (which will
--
GitLab