From e0eeaf3cddba438a18cac32384f2d8cecb1ef54a Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Wed, 25 Jan 2012 14:25:12 +0000
Subject: [PATCH] Add a couple of release note TODOs
---
docs/users_guide/7.4.1-notes.xml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/docs/users_guide/7.4.1-notes.xml b/docs/users_guide/7.4.1-notes.xml
index f90847cda593..e60f55dec3b4 100644
--- a/docs/users_guide/7.4.1-notes.xml
+++ b/docs/users_guide/7.4.1-notes.xml
@@ -63,6 +63,7 @@
<listitem>
<para>
+ TODO: DataKinds now split off
There is a new feature kind polymorphism
(<literal>-XPolyKinds</literal>):
<xref linkend="kind-polymorphism-and-promotion" />.
@@ -155,6 +156,7 @@ class C a where
<listitem>
<para>
+ TODO: DataKinds now split off
There is a new extension
<literal>PolyKinds</literal>.
This provides 2 related new features:
--
GitLab