X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=8e185701c38e98adb48d9d26c7c40867ab877f73;hb=536852b1348fde6ec0ba13859cc5ddf8480a1653;hp=b2c398da82440c3703b5d496604daa0b86ff7ebc;hpb=5943ce90c9c9d4319eec3cfe1fb3315f018e1c45;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index b2c398d..8e18570 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>
@@ -1050,10 +1057,11 @@
 	    </row>
 
 	    <row>
-	      <entry><option>-fliberate-case-threshold</option></entry>
-	      <entry>Tweak the liberate-case optimisation (default: 10)</entry>
+	      <entry><option>-fspec-threshold</option>=<replaceable>n</replaceable></entry>
+	      <entry>Set the size threshold for function specialisation to <replaceable>n</replaceable>, for both
+		the liberate-case and SpecConstr transformations (default: 200)</entry>
 	      <entry>static</entry>
-	      <entry><option>-fno-liberate-case-threshold</option></entry>
+	      <entry><option>-</option></entry>
 	    </row>
 
 	    <row>