X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fbugs.xml;h=ead62535777ade8d3d22875dd8d654722e0648cd;hb=143f4381d242e4a1c3174e8a0732a1e48f00a1aa;hp=ab0b9be7b9dab2f6d8d237e2f6fedc79f6abd5ab;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index ab0b9be..ead6253 100644
--- a/docs/users_guide/bugs.xml
+++ b/docs/users_guide/bugs.xml
@@ -102,7 +102,10 @@ main = do args <- getArgs
     <sect3 id="infelicities-decls">
       <title>Declarations and bindings</title>
 
-      <para>None known.</para>
+      <para>GHC's typechecker makes all pattern bindings monomorphic
+      by default; this behaviour can be disabled with
+      <option>-fno-mono-pat-binds</option>.  See <xref
+      linkend="options-language" />.</para>
     </sect3>
       
       <sect3 id="infelicities-Modules">