summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/7.8.1-notes.xml11
1 files 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 15bf82bc68..e62082ac57 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>