From 0d196ccb34f7a2b0bd86d5f460aff8f499f7c96a Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Tue, 31 Jan 2012 12:52:38 +0000
Subject: [PATCH] Add a note that PolyKinds are not yet fully mature
and that bug reports are welcome.
---
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 c8dcc3fbddf8..be38a210b10e 100644
--- a/docs/users_guide/7.4.1-notes.xml
+++ b/docs/users_guide/7.4.1-notes.xml
@@ -209,6 +209,8 @@ instance Typeable [] where typeOf _ = TypeRep
</para>
<para>
+ This feature is not yet fully mature, but please
+ do file bug reports if you run into problems.
See
<xref linkend="kind-polymorphism" />
for more information.
--
GitLab