Fix the SPECIALISE error in the haddock invocation of validate

[ghc-hetmet.git] / docs / users_guide / 7.0.1-notes.xml

diff --git a/docs/users_guide/7.0.1-notes.xml b/docs/users_guide/7.0.1-notes.xml
index 31ac609..4d3e299 100644 (file)
--- a/docs/users_guide/7.0.1-notes.xml
+++ b/docs/users_guide/7.0.1-notes.xml
@@ -59,6 +59,14 @@ $ ghci -package haskell2010 -hide-package base -hide-package array
 
       <listitem>
         <para>
+          The type checker has been overhauled, which means it is now
+          able to correctly handle interactions between the type system
+          extensions.
+        </para>
+      </listitem>
+
+      <listitem>
+        <para>
           The inliner has been overhauled, which should in general
           give better performance while reducing unnecessary code-size
           explosion.
@@ -292,7 +300,7 @@ import SpecConstr
         <para>
           The RTS now exports a function <literal>setKeepCAFs</literal>
           which is important when loading Haskell DLLs dynamically, as
-          a DLL may refer to CAFs that hae already been GCed.
+          a DLL may refer to CAFs that have already been GCed.
         </para>
       </listitem>
 
@@ -844,7 +852,7 @@ Prelude| :}
         <itemizedlist>
             <listitem>
                 <para>
-                    Version number 1.9.2 (was 1.8.0.6)
+                    Version number 1.10.0.0 (was 1.8.0.6)
                 </para>
             </listitem>