GHCi debugger: added a new flag, -fno-print-binding-contents

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

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index f0f6f36..51f917f 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -470,7 +470,7 @@
       </informaltable>
     </sect2>
 
-    <sect2>
+    <sect2 id="interactive-mode-options">
       <title>Interactive-mode options</title>
       
       <para><xref linkend="ghci-dot-files"/></para>
@@ -517,11 +517,18 @@
              <entry><option>-fno-print-evld-with-show</option></entry>
            </row>          
            <row>
+             <entry><option>-fprint-bind-result</option></entry>
+             <entry><link linkend="ghci-stmts">Turn on printing of binding results in GHCi</link></entry>
+             <entry>dynamic</entry>
              <entry><option>-fno-print-bind-result</option></entry>
-             <entry><link linkend="ghci-stmts">Turn off printing of binding results in GHCi</link></entry>
+           </row>
+           <row>
+             <entry><option>-fno-print-bind-contents</option></entry>
+             <entry><link linkend="breakpoints">Turn off printing of binding contents in GHCi</link></entry>
              <entry>dynamic</entry>
              <entry>-</entry>
            </row>
+
          </tbody>
        </tgroup>
       </informaltable>
@@ -826,7 +833,7 @@
              <entry><option>-XNoLiberalTypeSynonyms</option></entry>
            </row>
            <row>
-             <entry><option>-XNoRank2Types</option></entry>
+             <entry><option>-XRank2Types</option></entry>
              <entry>Enable rank-2 types.</entry>
              <entry>dynamic</entry>
              <entry><option>-XNoRank2Types</option></entry>