X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2F6.6-notes.xml;fp=docs%2Fusers_guide%2F6.6-notes.xml;h=de4ce16883a9a126215d1aacf4f3bd4e5b47b206;hb=bb5e030c18910d1a1833803d5a1a5edf48ca4e8a;hp=3de6beb96a24c1c769f3c701af979a483a7796d2;hpb=bf40e268d916947786c56ec38db86190854a2d2c;p=ghc-hetmet.git

diff --git a/docs/users_guide/6.6-notes.xml b/docs/users_guide/6.6-notes.xml
index 3de6beb..de4ce16 100644
--- a/docs/users_guide/6.6-notes.xml
+++ b/docs/users_guide/6.6-notes.xml
@@ -17,10 +17,15 @@
       </listitem>
       <listitem>
         <para>
-          GHC now handles impredicative polymorphism and there are
-          changes to the way scoped type variables work; see
-          <ulink url="http://www.haskell.org/pipermail/glasgow-haskell-users/2006-January/009565.html"> Simon's e-mail</ulink>
-          for more details of the change, or <xref linkend="impredicative-polymorphism" /> for the documentation.
+          GHC now handles impredicative polymorphism; see <xref linkend="impredicative-polymorphism" />.
+        </para>
+      </listitem>
+      <listitem>
+        <para>
+	  There are significant changes to the way scoped type variables work;
+	  see  <xref linkend="scoped-type-variables" />.
+          (<ulink url="http://www.haskell.org/pipermail/glasgow-haskell-users/2006-January/009565.html"> Simon's e-mail</ulink>
+          gives some background.)
         </para>
       </listitem>
       <listitem>