X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=48cf03ae7389a7507de8992c5b7cf99d89d0dbdf;hp=5426ad80cf2b28eb70881996b75430073e46a486;hb=043fc77bbc259cfa83e31fc456cdf6a098c2f757;hpb=0560e796f1d813582e066a5f2bec2684c71df44d

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 5426ad8..48cf03a 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -493,6 +493,12 @@
 	      <entry>dynamic</entry>
 	      <entry>-</entry>
 	    </row>
+	    <row>
+	      <entry><option>-fno-print-bind-result</option></entry>
+	      <entry><link linkend="ghci-stmts">Turn off printing of binding results in GHCi</link></entry>
+	      <entry>dynamic</entry>
+	      <entry>-</entry>
+	    </row>
 	  </tbody>
 	</tgroup>
       </informaltable>
@@ -922,7 +928,7 @@
 	  <tbody>
 	    <row>
 	      <entry><option>-fcase-merge</option></entry>
-	      <entry>Enable case-merging</entry>
+	      <entry>Enable case-merging. Implied by <option>-O</option>.</entry>
 	      <entry>dynamic</entry>
 	      <entry><option>-fno-case-merge</option></entry>
 	    </row>
@@ -936,7 +942,7 @@
 
 	    <row>
 	      <entry><option>-fdo-eta-reduction</option></entry>
-	      <entry>Enable eta-reduction</entry>
+	      <entry>Enable eta-reduction. Implied by <option>-O</option>.</entry>
 	      <entry>dynamic</entry>
 	      <entry><option>-fno-do-eta-reduction</option></entry>
 	    </row>
@@ -956,14 +962,6 @@
 	    </row>
 
 	    <row>
-	      <entry><option>-frules-off</option></entry>
-	      <entry>Switch off all rewrite rules (including rules
-	      generated by automatic specialisation of overloaded functions)</entry>
-	      <entry>static</entry>
-	      <entry><option>-frules-off</option></entry>
-	    </row>
-
-	    <row>
 	      <entry><option>-fignore-asserts</option></entry>
 	      <entry>Ignore assertions in the source</entry>
 	      <entry>dynamic</entry>
@@ -978,13 +976,6 @@
 	    </row>
 
 	    <row>
-	      <entry><option>-fliberate-case-threshold</option></entry>
-	      <entry>Tweak the liberate-case optimisation (default: 10)</entry>
-	      <entry>static</entry>
-	      <entry><option>-fno-liberate-case-threshold</option></entry>
-	    </row>
-
-	    <row>
 	      <entry><option>-fomit-interface-pragmas</option></entry>
 	      <entry>Don't generate interface pragmas</entry>
 	      <entry>dynamic</entry>
@@ -1015,31 +1006,55 @@
 	    </row>
 
 	    <row>
-	      <entry><option>-fno-cse</option></entry>
-	      <entry>Turn off common sub-expression</entry>
+	      <entry><option>-fcse</option></entry>
+	      <entry>Turn on common sub-expression elimination. Implied by <option>-O</option>.</entry>
 	      <entry>dynamic</entry>
-	      <entry>-</entry>
+	      <entry>-fno-cse</entry>
 	    </row>
 
 	    <row>
-	      <entry><option>-fno-full-laziness</option></entry>
-	      <entry>Turn off full laziness (floating bindings outwards).</entry>
+	      <entry><option>-ffull-laziness</option></entry>
+	      <entry>Turn on full laziness (floating bindings outwards). Implied by <option>-O</option>.</entry>
 	      <entry>dynamic</entry>
-	      <entry>-ffull-laziness</entry>
+	      <entry>-fno-full-laziness</entry>
 	    </row>
 
 	    <row>
-	      <entry><option>-fno-pre-inlining</option></entry>
-	      <entry>Turn off pre-inlining</entry>
-	      <entry>static</entry>
-	      <entry>-</entry>
+	      <entry><option>-frewrite-rules</option></entry>
+	      <entry>Switch on all rewrite rules (including rules
+	      generated by automatic specialisation of overloaded functions).
+	      Implied by <option>-O</option>. </entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-fno-rewrite-rules</option></entry>
 	    </row>
 
 	    <row>
-	      <entry><option>-fno-strictness</option></entry>
-	      <entry>Turn off strictness analysis</entry>
+	      <entry><option>-fstrictness</option></entry>
+	      <entry>Turn on strictness analysis. Implied by <option>-O</option>.</entry>
 	      <entry>dynamic</entry>
-	      <entry>-</entry>
+	      <entry>-fno-strictness</entry>
+	    </row>
+
+	    <row>
+	      <entry><option>-fspec-constr</option></entry>
+	      <entry>Turn on the SpecConstr transformation. Implied by <option>-O2</option>.</entry>
+	      <entry>dynamic</entry>
+	      <entry>-fno-spec-constr</entry>
+	    </row>
+
+	    <row>
+	      <entry><option>-fliberate-case</option></entry>
+	      <entry>Turn on the liberate-case transformation. Implied by <option>-O2</option>.</entry>
+	      <entry>dynamic</entry>
+	      <entry>-fno-liberate-case</entry>
+	    </row>
+
+	    <row>
+	      <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>-</option></entry>
 	    </row>
 
 	    <row>
@@ -1083,6 +1098,13 @@
 	      <entry>static</entry>
 	      <entry><option>-fno-unfolding-use-threshold</option></entry>
 	    </row>
+
+	    <row>
+	      <entry><option>-fno-pre-inlining</option></entry>
+	      <entry>Turn off pre-inlining</entry>
+	      <entry>static</entry>
+	      <entry>-</entry>
+	    </row>
 	  </tbody>
 	</tgroup>
       </informaltable>
@@ -1951,12 +1973,6 @@
 	      <entry>dynamic</entry>
 	      <entry>-</entry>
 	    </row>
-	    <row>
-	      <entry><option>-fno-print-bind-result</option></entry>
-	      <entry><link linkend="ghci-stmts">Turn off printing of binding results in GHCi</link></entry>
-	      <entry>dynamic</entry>
-	      <entry>-</entry>
-	    </row>
 	  </tbody>
 	</tgroup>
       </informaltable>