[commit: ghc] master: Document #8883 in the release notes (d5c6fd6)

[git at git.haskell.org]

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

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

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

commit d5c6fd6c8525477f869d62d5c71945672b46ee56
Author: Jan Stolarek <jan.stolarek at p.lodz.pl>
Date:   Mon Jun 30 09:52:16 2014 +0200

    Document #8883 in the release notes


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

d5c6fd6c8525477f869d62d5c71945672b46ee56
 docs/users_guide/7.10.1-notes.xml | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/docs/users_guide/7.10.1-notes.xml b/docs/users_guide/7.10.1-notes.xml
index b45721c..6d9b937 100644
--- a/docs/users_guide/7.10.1-notes.xml
+++ b/docs/users_guide/7.10.1-notes.xml
@@ -42,7 +42,20 @@
         <itemizedlist>
             <listitem>
                 <para>
-                    TODO FIXME
+                    GHC now checks that all the language extensions required for
+                    the inferred type signatures are explicitly enabled. This
+                    means that if any of the type signatures inferred in your
+                    program requires some language extension you will need to
+                    enable it. The motivation is that adding a missing type
+                    signature inferred by GHC should yield a program that
+                    typechecks. Previously this was not the case.
+                </para>
+                <para>
+                    This is a breaking change. Code that used to compile in the
+                    past might fail with an error message requiring some
+                    particular language extension (most likely
+                    <option>-XTypeFamilies</option>, <option>-XGADTs</option> or
+                    <option>-XFlexibleContexts</option>).
                 </para>
            </listitem>
        </itemizedlist>