[project @ 2001-04-30 12:09:56 by simonmar]

add -fwarn-misc.

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index dfca7cd..37c9f5d 100644 (file)
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -502,6 +502,13 @@
          </row>
 
          <row>
+           <entry><option>-fwarn-misc</option></entry>
+           <entry>enable miscellaneous warnings</entry>
+           <entry>dynamic</entry>
+           <entry><option>-fno-warn-misc</option></entry>
+         </row>
+
+         <row>
            <entry><option>-fwarn-missing-fields</option></entry>
            <entry>warn when fields of a record are uninitialised</entry>
            <entry>dynamic</entry>