[project @ 2005-11-10 10:52:40 by simonmar]

[ghc-hetmet.git] / ghc / docs / users_guide / bugs.xml

diff --git a/ghc/docs/users_guide/bugs.xml b/ghc/docs/users_guide/bugs.xml
index f9fc964..ab0b9be 100644 (file)
--- a/ghc/docs/users_guide/bugs.xml
+++ b/ghc/docs/users_guide/bugs.xml
@@ -283,9 +283,11 @@ checking for duplicates.  The reason for this is efficiency, pure and simple.
   <sect1 id="bugs">
     <title>Known bugs or infelicities</title>
 
-    <para>In addition to the divergences from the Haskell 98 standard
-    listed above, GHC has the following known bugs or
-    infelicities.</para>
+    <para>The bug tracker lists bugs that have been reported in GHC but not
+      yet fixed: see the <ulink url="http://sourceforge.net/projects/ghc/">SourceForge GHC
+    page</ulink>.  In addition to those, GHC also has the following known bugs
+      or  infelicities.  These bugs are more permanent; it is unlikely that
+      any of them will be fixed in the short term.</para>
 
   <sect2 id="bugs-ghc">
     <title>Bugs in GHC</title>
@@ -338,6 +340,17 @@ checking for duplicates.  The reason for this is efficiency, pure and simple.
         url="http://research.microsoft.com/~simonpj/Papers/inlining">
         Secrets of the GHC inliner</ulink>.</para>
       </listitem>
+
+      <listitem>
+       <para>GHC does not keep careful track of
+           what instance declarations are 'in scope' if they come from other packages.
+        Instead, all instance declarations that GHC has seen in other
+        packages are all in scope everywhere, whether or not the
+        module from that package is used by the command-line
+        expression.  This bug affects only the <option>--make</option> mode and
+         GHCi.</para>
+      </listitem>
+
     </itemizedlist>
   </sect2>
 
@@ -356,15 +369,6 @@ checking for duplicates.  The reason for this is efficiency, pure and simple.
         module (whatever that is).</para>
       </listitem>
 
-      <listitem>
-       <para>GHCi does not keep careful track of what instance
-        declarations are 'in scope' if they come from other packages.
-        Instead, all instance declarations that GHC has seen in other
-        packages are all in scope everywhere, whether or not the
-        module from that package is used by the command-line
-        expression.</para>
-      </listitem>
-
       <listitem> 
       <para>On Windows, there's a GNU ld/BFD bug
       whereby it emits bogus PE object files that have more than