X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fghci.xml;h=0142e1eb8b8fc15dc4346a03e1bf000ca7cb1e7b;hb=f94f26a7cb7bb7005b88f50c4383a761fc18718d;hp=94d352b9f7b1ea006e533274bee6cb7bfe49e6d3;hpb=c3e1f7be52fbe5d13a7ee733b99ef6e73762e5ab;p=ghc-hetmet.git

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 94d352b..0142e1e 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -906,7 +906,7 @@ $ ghci -lm
 
       <varlistentry>
 	<term>
-          <literal>:breakpoint</literal> <replaceable>list|add|del|stop|step</replaceable> ...
+          <literal>:breakpoint</literal> <replaceable>list|add|continue|del|stop|step</replaceable> ...
           <indexterm><primary><literal>:breakpoint</literal></primary></indexterm>
         </term>
 	<listitem>
@@ -963,6 +963,15 @@ $ ghci -lm
 
       <varlistentry>
 	<term>
+          <literal>:continue</literal> 
+          <indexterm><primary><literal>:continue</literal></primary></indexterm>
+        </term>
+	<listitem> Shortcut to <literal>:breakpoint continue </literal>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
+	<term>
           <literal>:def</literal> <replaceable>name</replaceable> <replaceable>expr</replaceable>
           <indexterm><primary><literal>:def</literal></primary></indexterm>
         </term>
@@ -1556,7 +1565,7 @@ Prelude> :set -fno-glasgow-exts
       in the context of the event, as well as evaluate arbitrary Haskell expressions in
       a special interactive prompt. </para><para>
       
-     When you are done you issue the <literal>:quit</literal> 
+     When you are done you issue the <literal>:continue</literal> 
       command to leave the breakpoint and let the execution go on. 
      Note that not all the GHCi commands are supported in a breakpoint. 
 
@@ -1641,6 +1650,7 @@ qsort2.hs:2:15-46>
       type to do its work. </para>
       <para> Let's go on with the debugging session of the <code>qsort</code>
       example:
+<example id="debuggingEx"><title>A short debugging session</title>
 <programlisting>
 qsort2.hs:2:15-46> x
 This is an untyped, unevaluated computation. You can use seq to 
@@ -1658,7 +1668,7 @@ x - 10
 qsort2.hs:2:15-46> :t x <co id="seq5"/>
 x :: Int
 </programlisting>
-
+</example>
       <calloutlist>
 	<callout arearefs="seq1">
 	  <para>GHCi reminds us that this value is untyped, and instructs us to force its evaluation </para>
@@ -1705,6 +1715,26 @@ x :: Int
     at line <literal>line</literal> in <literal>module</literal>, if any.
   </para></listitem>
 </varlistentry>
+
+<varlistentry>
+  <term>
+    <literal>:breakpoint continue</literal>
+  </term>
+  <listitem><para>
+   When at a breakpoint, continue execution up to the next breakpoint
+   or end of evaluation.
+  </para></listitem>
+</varlistentry>
+
+<varlistentry>
+  <term>
+    <literal>:continue</literal>
+  </term>
+  <listitem><para>
+      Shortcut for <literal>:breakpoint continue</literal>
+  </para></listitem>
+</varlistentry>
+
 <varlistentry>
   <term>
     <literal>:breakpoint list</literal>
@@ -1767,7 +1797,44 @@ x :: Int
       </itemizedlist>      
      </para>
     </sect2>
-    </sect1>
+    <sect2><title>Tips</title>
+      <variablelist>
+	<varlistentry><term>* Use PRAGMAs to fine tune which modules are loaded under debugging mode</term>
+	  <listitem>
+	    <programlisting>{-# OPTIONS_GHC -fdebugging #-}</programlisting>
+	  </listitem>
+	</varlistentry>
+	<varlistentry> <term>* Repeated use of <code>seq</code> and 
+	    <literal>:print</literal> may be necessary to observe unevaluated
+	    untyped bindings</term> 
+	  <listitem><para>see <xref linkend="debuggingEx"/> 
+	  </para></listitem>
+	</varlistentry>
+	<varlistentry> <term> * <code>GHC.Exts.unsafeCoerce</code> can help if you are positive about the type of a binding</term> 
+	  <listitem><para><programlisting>
+type MyLongType a = [Maybe [Maybe a]]
+
+main:Main> :m +GHC.Exts
+main:Main> main
+Local bindings in scope:
+  x :: a
+Main.hs:15> let x' = unsafeCoerce x :: MyLongType Bool
+Main.hs:15> x'
+[Just [Just False, Just True]]
+	  </programlisting>
+	   Note that a wrong coercion will likely result in your debugging session being interrupted by a segmentation fault 
+	  </para></listitem>
+	</varlistentry>
+	<varlistentry> <term> * The undocumented (and unsupported) &colon;force command </term>
+	  <listitem><para> 
+	      equivalent to <literal> :print</literal> with automatic 
+	      <code>seq</code> forcing, 
+	      may prove useful to replace sequences of <code>seq</code> and 
+	      <literal>&colon;print</literal> in some situations. 
+	  </para></listitem>
+	</varlistentry> 
+    </variablelist>
+    </sect2></sect1>
   <sect1 id="ghci-dot-files">
     <title>The <filename>.ghci</filename> file</title>
     <indexterm><primary><filename>.ghci</filename></primary><secondary>file</secondary>