Adding TcGadt.lhs

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

diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index ab0b9be..ead6253 100644 (file)
--- 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">