From 07d78daff97129d634ffdef6a92c7d649c3557cd Mon Sep 17 00:00:00 2001
From: Paolo Capriotti <p.capriotti@gmail.com>
Date: Fri, 27 Apr 2012 09:46:06 +0100
Subject: [PATCH] Doc: updated list of warnings not enabled by -Wall (#4817)
MERGED from commit 18c2a2f71e38fad5e677b8f448f6135e5a691868
---
docs/users_guide/using.xml | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index e01de0ff38cf..dc8db444a15f 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -980,8 +980,10 @@ ghc -c Foo.hs</screen>
<option>-fwarn-incomplete-record-updates</option>,
<option>-fwarn-monomorphism-restriction</option>,
<option>-fwarn-auto-orphans</option>,
- <option>-fwarn-implicit-prelude</option>.</para>
- </listitem>
+ <option>-fwarn-implicit-prelude</option>,
+ <option>-fwarn-missing-local-sigs</option>,
+ <option>-fwarn-missing-import-lists</option>.</para>
+ </listitem>
</varlistentry>
<varlistentry>
--
GitLab