X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=572485010dae53689aba83cc28822450836166b7;hb=65277a1c9ff86c28c656849d6f6cbb392f1eb3e7;hp=685dd7a5ad8ad2ff028dd56b8d975dc814af610c;hpb=0f3bba68b48e32457f2d66e97eff41129f7772ac;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 685dd7a..5724850 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -757,6 +757,13 @@
 	      <entry><option>-XNoScopedTypeVariables</option></entry>
 	    </row>
 	    <row>
+	      <entry><option>-XMonoLocalBinds</option></entry>
+	      <entry>Enable <link linkend="mono-local-binds">do not generalise local bindings</link>.
+	      </entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-XNoMonoLocalBinds</option></entry>
+	    </row>
+	    <row>
 	      <entry><option>-XTemplateHaskell</option></entry>
 	      <entry>Enable <link linkend="template-haskell">Template Haskell</link>. 
 		No longer implied by <option>-fglasgow-exts</option>.</entry>
@@ -813,6 +820,19 @@
 	      <entry><option>-XNoNewQualifiedOperators</option></entry>
 	    </row>
 	    <row>
+	      <entry><option>-XExplicitForALl</option></entry>
+	      <entry>Enable <link linkend="explicit-foralls">explicit universal quantification</link>.
+              Implied by <option>-XScopedTypeVariables</option>,
+	    <option>-XLiberalTypeSynonyms</option>,
+	    <option>-XRank2Types</option>,
+	    <option>-XRankNTypes</option>,
+	    <option>-XPolymorphicComponents</option>,
+	    <option>-XExistentialQuantification</option>
+              </entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-XNoExplicitForAll</option></entry>
+	    </row>
+	    <row>
 	      <entry><option>-XPolymorphicComponents</option></entry>
 	      <entry>Enable <link linkend="universal-quantification">polymorphic components for data constructors</link>.</entry>
 	      <entry>dynamic</entry>
@@ -1351,6 +1371,13 @@
 	    </row>
 
 	    <row>
+	      <entry><option>-fspecialise</option></entry>
+	      <entry>Turn on specialisation of overloaded functions. Implied by <option>-O</option>.</entry>
+	      <entry>dynamic</entry>
+	      <entry>-fno-specialise</entry>
+	    </row>
+
+	    <row>
 	      <entry><option>-ffull-laziness</option></entry>
 	      <entry>Turn on full laziness (floating bindings outwards). Implied by <option>-O</option>.</entry>
 	      <entry>dynamic</entry>
@@ -1358,12 +1385,19 @@
 	    </row>
 
 	    <row>
-	      <entry><option>-frewrite-rules</option></entry>
+	      <entry><option>-ffloat-in</option></entry>
+	      <entry>Turn on the float-in transformation. Implied by <option>-O</option>.</entry>
+	      <entry>dynamic</entry>
+	      <entry>-fno-float-in</entry>
+	    </row>
+
+	    <row>
+	      <entry><option>-fenable-rewrite-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>
+	      <entry><option>-fno-enable-rewrite-rules</option></entry>
 	    </row>
 
 	    <row>
@@ -1373,6 +1407,14 @@
 	      <entry>-fno-strictness</entry>
 	    </row>
 
+            <row>
+              <entry><option>-fstrictness=before</option>=<replaceable>n</replaceable></entry>
+              <entry>Run an additional strictness analysis before simplifier
+phase <replaceable>n</replaceable></entry>
+              <entry>dynamic</entry>
+              <entry>-</entry>
+            </row>
+
 	    <row>
 	      <entry><option>-fspec-constr</option></entry>
 	      <entry>Turn on the SpecConstr transformation. Implied by <option>-O2</option>.</entry>
@@ -1514,7 +1556,7 @@
 	    </row>
 	    <row>
 	      <entry><option>-ticky</option></entry>
-	      <entry>Turn on ticky-ticky profiling</entry>
+	      <entry><link linkend="ticky-ticky">Turn on ticky-ticky profiling</link></entry>
 	      <entry>static</entry>
 	      <entry>-</entry>
 	    </row>
@@ -1801,6 +1843,12 @@
 	      <entry>-</entry>
 	    </row>
 	    <row>
+	      <entry><option>-eventlog</option></entry>
+	      <entry>Enable runtime event tracing</entry>
+	      <entry>static</entry>
+	      <entry>-</entry>
+	    </row>
+	    <row>
 	      <entry><option>-fno-gen-manifest</option></entry>
 	      <entry>Do not generate a manifest file (Windows only)</entry>
 	      <entry>dynamic</entry>
@@ -1818,6 +1866,15 @@
 	      <entry>dynamic</entry>
 	      <entry>-</entry>
 	    </row>
+	    <row>
+	      <entry><option>-dylib-install-name</option> <replaceable>path</replaceable></entry>
+	      <entry>Set the install name (via <literal>-install_name</literal> passed to Apple's
+              linker), specifying the full install path of the library file. Any libraries
+              or executables that link with it later will pick up that path as their
+              runtime search location for it. (Darwin/MacOS X only)</entry>
+	      <entry>dynamic</entry>
+	      <entry>-</entry>
+	    </row>
 	  </tbody>
 	</tgroup>
       </informaltable>
@@ -2281,6 +2338,12 @@
 	      <entry>-</entry>
 	    </row>
 	    <row>
+	      <entry><option>-dsuppress-coercions</option></entry>
+	      <entry>Suppress the printing of coercions in Core dumps to make them shorter.</entry>
+	      <entry>static</entry>
+	      <entry>-</entry>
+	    </row>
+	    <row>
 	      <entry><option>-dppr-noprags</option></entry>
 	      <entry>Don't output pragma info in dumps</entry>
 	      <entry>static</entry>