New flag -dsuppress-coercions to avoid printing coercions in Core dumps

[ghc-hetmet.git] / docs / users_guide / flags.xml

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 005b139..afec9bd 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -706,6 +706,12 @@
              <entry><option>-XMonomorphismRrestriction</option></entry>
            </row>
            <row>
+             <entry><option>-XNoNPlusKPatterns</option></entry>
+             <entry>Disable support for <literal>n+k</literal> patterns</entry>
+             <entry>dynamic</entry>
+             <entry><option>-XNPlusKPatterns</option></entry>
+           </row>
+           <row>
              <entry><option>-XNoMonoPatBinds</option></entry>
              <entry>Make <link linkend="monomorphism">pattern bindings polymorphic</link></entry>
              <entry>dynamic</entry>
@@ -751,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>
@@ -807,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>
@@ -1627,33 +1653,6 @@
     </sect2>
 
     <sect2>
-      <title>C compiler options</title>
-
-      <para><xref linkend="options-C-compiler"/></para>
-      <informaltable>
-       <tgroup cols="4" align="left" colsep="1" rowsep="1">
-         <thead>
-           <row>
-             <entry>Flag</entry>
-             <entry>Description</entry>
-             <entry>Static/Dynamic</entry>
-             <entry>Reverse</entry>
-           </row>
-         </thead>
-         <tbody>
-           <row>
-             <entry><option>-#include</option> <replaceable>file</replaceable></entry>
-             <entry>Include <replaceable>file</replaceable> when
-             compiling the <filename>.hc</filename> file</entry>
-             <entry>dynamic</entry>
-             <entry>-</entry>
-           </row>
-         </tbody>
-       </tgroup>
-      </informaltable>
-    </sect2>
-
-    <sect2>
       <title>Code generation options</title>
 
       <para><xref linkend="options-codegen"/></para>
@@ -1822,6 +1821,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>
@@ -2302,6 +2307,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>