X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fghci.xml;h=3ba2012eee34a086f7cd4ac1cb7fa227c7f6c1a5;hb=6735097cdbe113e74555a5a748b0648e5ed762b5;hp=b1e36ec8403f63bcddf218e3368537ea028e3ba6;hpb=1a38a09d1077b507a0a4e1ebba8e1b51bd5fede9;p=ghc-hetmet.git

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index b1e36ec..3ba2012 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -393,9 +393,9 @@ Prelude>
 	      <literal>Show</literal></para>
 	  </listitem>
 	</itemizedlist>
-      The automatic printing of binding results can be supressed with
+      The automatic printing of binding results can be suppressed with
       <option>:set -fno-print-bind-result</option> (this does not
-      supress printing the result of non-binding statements).
+      suppress printing the result of non-binding statements).
       <indexterm><primary><option>-fno-print-bind-result</option></primary></indexterm><indexterm><primary><option>-fprint-bind-result</option></primary></indexterm>.
       You might want to do this to prevent the result of binding
       statements from being fully evaluated by the act of printing
@@ -929,6 +929,7 @@ right :: [a]
         <literal>left</literal>:</para>
 
 <screen>
+[qsort.hs:2:15-46] *Main> :set -fprint-evld-with-show
 [qsort.hs:2:15-46] *Main> :print left
 left = (_t1::[a])
 </screen>
@@ -948,6 +949,13 @@ left = (_t1::[a])
         underscore, in this case
         <literal>_t1</literal>.</para>
 
+      <para>The flag <literal>-fprint-evld-with-show</literal> instructs
+      <literal>:print</literal> to reuse
+      available <literal>Show</literal> instances when possible. This happens
+      only when the contents of the variable being inspected 
+      are completely evaluated.</para>
+
+
       <para>If we aren't concerned about preserving the evaluatedness of a
         variable, we can use <literal>:force</literal> instead of
         <literal>:print</literal>.  The <literal>:force</literal> command
@@ -1017,6 +1025,7 @@ right :: [a]
       <para>The execution continued at the point it previously stopped, and has
         now stopped at the breakpoint for a second time.</para>
 
+
       <sect3 id="setting-breakpoints">
         <title>Setting breakpoints</title>
 
@@ -1124,7 +1133,7 @@ _result :: IO ()
       <para>The command <literal>:step
         <replaceable>expr</replaceable></literal> begins the evaluation of
         <replaceable>expr</replaceable> in single-stepping mode.  If
-        <replaceable>expr</replaceable> is ommitted, then it single-steps from
+        <replaceable>expr</replaceable> is omitted, then it single-steps from
         the current breakpoint. <literal>:stepover</literal> 
         works similarly.</para>
 
@@ -1671,17 +1680,20 @@ $ ghci -lm
 
       <varlistentry>
 	<term>
-          <literal>:browse</literal> <optional><literal>*</literal></optional><replaceable>module</replaceable> ...
+          <literal>:browse</literal> <optional><optional><literal>*</literal></optional><replaceable>module</replaceable></optional> ...
           <indexterm><primary><literal>:browse</literal></primary></indexterm>
         </term>
 	<listitem>
 	  <para>Displays the identifiers defined by the module
 	  <replaceable>module</replaceable>, which must be either
-	  loaded into GHCi or be a member of a package.  If the
-	  <literal>*</literal> symbol is placed before the module
-	  name, then <emphasis>all</emphasis> the identifiers defined
-	  in <replaceable>module</replaceable> are shown; otherwise
-	  the list is limited to the exports of
+	  loaded into GHCi or be a member of a package.  If
+	  <replaceable>module</replaceable> is omitted, the most
+	  recently-loaded module is used.</para>
+
+          <para>If the <literal>*</literal> symbol is placed before
+	  the module name, then <emphasis>all</emphasis> the
+	  identifiers in scope in <replaceable>module</replaceable> are
+	  shown; otherwise the list is limited to the exports of
 	  <replaceable>module</replaceable>.  The
 	  <literal>*</literal>-form is only available for modules
 	  which are interpreted; for compiled modules (including
@@ -1748,7 +1760,7 @@ $ ghci -lm
 	  <para>Generates a &ldquo;tags&rdquo; file for Vi-style editors
 	    (<literal>:ctags</literal>) or
         Emacs-style editors (<literal>:etags</literal>).  If
-	    no filename is specified, the defaulit <filename>tags</filename> or
+	    no filename is specified, the default <filename>tags</filename> or
 	    <filename>TAGS</filename> is
 	    used, respectively.  Tags for all the functions, constructors and
 	    types in the currently loaded modules are created.  All modules must