summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorRichard Eisenberg <eir@cis.upenn.edu>2013-09-09 14:20:13 -0400
committerRichard Eisenberg <eir@cis.upenn.edu>2013-09-09 16:10:47 -0400
commitc62a0b993989fc2271be34e2c05462b6c5bb0fa6 (patch)
tree1f167e23169ab4f6123027f234c441dd25fb9739 /docs
parent72ceffe8e96c0ac3da49690097858bea79a704b6 (diff)
downloadhaskell-c62a0b993989fc2271be34e2c05462b6c5bb0fa6.tar.gz
Revision to release notes for the new Typeable.
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>