[commit: ghc] master: Update release notes for #9262 #8953 #9084. (18a4a5d)

[git at git.haskell.org]

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

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

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

commit 18a4a5dad3cbee3c8bb4005ec09edf401ebe294c
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Sun Nov 2 00:08:26 2014 -0400

    Update release notes for #9262 #8953 #9084.


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

18a4a5dad3cbee3c8bb4005ec09edf401ebe294c
 docs/users_guide/7.10.1-notes.xml | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/docs/users_guide/7.10.1-notes.xml b/docs/users_guide/7.10.1-notes.xml
index fa7ad1a..95f581b 100644
--- a/docs/users_guide/7.10.1-notes.xml
+++ b/docs/users_guide/7.10.1-notes.xml
@@ -110,6 +110,34 @@
                     Added support for generating LINE pragma declarations
                     (<xref linkend="line-pragma"/>).
                </para>
+
+               <para>
+                    The type <literal>Pred</literal> (which stores a type
+                    constraint) is now a synonym for <literal>Type</literal>,
+                    in order to work with the <literal>ConstraintKinds</literal>
+                    extension. This is a breaking change and may require
+                    some rewriting of Template Haskell code.
+               </para>
+
+               <para>
+                 <literal>reifyInstances</literal> now treats unbound type
+                 variables as univerally quantified, allowing lookup of, say,
+                 the instance for <literal>Eq [a]</literal>.
+               </para>
+
+               <para>
+                 More kind annotations appear in reified types, in order to
+                 disambiguate types that would otherwise be ambiguous in the
+                 presence of <literal>PolyKinds</literal>. In particular, all
+                 reified <literal>TyVarBndr</literal>s are now
+                 <literal>KindedTV</literal>s. (This does not affect Template
+                 Haskell quotations, just calls to <literal>reify</literal>.)
+               </para>
+
+               <para>
+                 Various features unsupported in quotations were previously
+                 silently ignored. These now cause errors.
+               </para>
            </listitem>
        </itemizedlist>
     </sect3>