X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=26ab9ebe5fa0903bcdbf0edff08ed4a621701b45;hb=71c0b5f5ab9d288f048eabf52da3a84be77db71d;hp=e0940aec0d4c43106ba2fed740111e4d8fbcd10b;hpb=3617df39a666e6a94afcce66398b508e9afa1eb6;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index e0940ae..26ab9eb 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1180,6 +1180,13 @@
 	  </row>
 
 	  <row>
+	    <entry><option>-fwarn-missing-local-sigs</option></entry>
+	    <entry>warn about polymorphic local bindings without signatures</entry>
+	    <entry>dynamic</entry>
+	    <entry><option>-fno-warn-missing-local-sigs</option></entry>
+	  </row>
+
+	  <row>
 	    <entry><option>-fwarn-name-shadowing</option></entry>
 	    <entry>warn when names are shadowed</entry>
 	    <entry>dynamic</entry>