diff options
Diffstat (limited to 'docs/users_guide/flags.xml')
| -rw-r--r-- | docs/users_guide/flags.xml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 48cf03ae73..8e185701c3 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -733,7 +733,7 @@ </row> <row> <entry><option>-Wall</option></entry> - <entry>enable all warnings</entry> + <entry>enable almost all warnings (details in <xref linkend="options-sanity"/>)</entry> <entry>dynamic</entry> <entry><option>-w</option></entry> </row> @@ -766,6 +766,13 @@ <entry><option>-fno-warn-hi-shadowing</option></entry> </row> + <row> + <entry><option>-fwarn-implicit-prelude</option></entry> + <entry>warn when the Prelude is implicitly imported</entry> + <entry>dynamic</entry> + <entry><option>-fno-warn-implicit-prelude</option></entry> + </row> + <row> <entry><option>-fwarn-incomplete-patterns</option></entry> <entry>warn when a pattern match could fail</entry> |