[commit: ghc] master: Revision to release notes for the new Typeable. (c62a0b9)

[git at git.haskell.org]

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

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

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

commit c62a0b993989fc2271be34e2c05462b6c5bb0fa6
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Sep 9 14:20:13 2013 -0400

    Revision to release notes for the new Typeable.


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

c62a0b993989fc2271be34e2c05462b6c5bb0fa6
 docs/users_guide/7.8.1-notes.xml |   11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml
index 15bf82b..e62082a 100644
--- a/docs/users_guide/7.8.1-notes.xml
+++ b/docs/users_guide/7.8.1-notes.xml
@@ -164,8 +164,15 @@
 
         <listitem>
             <para>
-                TODO: mention new <literal>Typeable</literal> and
-                <literal>AutoDeriveTypeable</literal>
+                <literal>Typeable</literal> is now poly-kinded, making
+                <literal>Typeable1</literal>, <literal>Typeable2</literal>,
+                etc., obsolete, deprecated, and relegated to
+                <literal>Data.OldTypeable</literal>. Furthermore, user-written
+                instances of <literal>Typeable</literal> are now disallowed:
+                use <literal>deriving</literal> or the new extension
+                <literal>-XAutoDeriveTypeable</literal>, which will create
+                <literal>Typeable</literal> instances for every datatype
+                declared in the module.
            </para>
        </listitem>
    </itemizedlist>