From: simonmar <unknown>
Date: Thu, 28 Jun 2001 11:33:24 +0000 (+0000)
Subject: [project @ 2001-06-28 11:33:24 by simonmar]
X-Git-Tag: Approximately_9120_patches~1673
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=dc5161ccb34118b49b902766d9f9425285160f96;p=ghc-hetmet.git

[project @ 2001-06-28 11:33:24 by simonmar]
document :add and multiple arguments to :load
---

diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml
index 5115eff..1e3bee5 100644
--- a/ghc/docs/users_guide/ghci.sgml
+++ b/ghc/docs/users_guide/ghci.sgml
@@ -640,6 +640,17 @@ $ ghci -lm
 
     <variablelist>
       <varlistentry>
+	<term><literal>:add</literal>
+	<replaceable>module</replaceable> ...</term>
+	<indexterm><primary><literal>:add</literal></primary></indexterm>
+	<listitem>
+	  <para>Add <replaceable>module</replaceable>(s) to the
+	  current <firstterm>target set</firstterm>, and perform a
+	  reload.</para>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
 	<term><literal>:cd</literal> <replaceable>dir</replaceable></term>
 	<indexterm><primary><literal>:cd</literal></primary></indexterm>
 	<listitem>
@@ -716,18 +727,19 @@ Prelude> :def make (\_ -> return ":! ghc --make Main")
       </varlistentry>
 
       <varlistentry>
-	<term><literal>:load</literal> <replaceable>module</replaceable></term>
+	<term><literal>:load</literal>
+	<replaceable>module</replaceable> ...</term>
 	<indexterm><primary><literal>:load</literal></primary></indexterm>
 	<listitem>
-	  <para>Recursively loads <replaceable>module</replaceable>,
-	  and all the modules it depends on.  Here,
-	  <replaceable>module</replaceable> must be a module name or
-	  filename, but may not be the name of a module in a
-	  package.</para> 
+	  <para>Recursively loads the specified
+	  <replaceable>module</replaceable>s, and all the modules they
+	  depend on.  Here, each <replaceable>module</replaceable>
+	  must be a module name or filename, but may not be the name
+	  of a module in a package.</para>
 
 	  <para>All previously loaded modules, except package modules,
-	  are forgotten.  The module <replaceable>module</replaceable>
-	  is known as the <firstterm>target</firstterm>.</para>
+	  are forgotten.  The new set of modules is known as the
+	  <firstterm>target set</firstterm>.</para>
 
 	  <para>After a <literal>:load</literal> command, the current
 	  context is set to:</para>
@@ -775,11 +787,11 @@ Prelude> :def make (\_ -> return ":! ghc --make Main")
 	<term><literal>:reload</literal></term>
 	<indexterm><primary><literal>:reload</literal></primary></indexterm>
 	<listitem>
-	  <para>Attempts to reload the current target (see
-	  <literal>:load</literal>) if it, or any module it depends
-	  on, has changed.  Note that this may entail loading new
-	  modules, or even dropping modules which are no longer
-	  indirectly required by the target.</para>
+	  <para>Attempts to reload the current target set (see
+	  <literal>:load</literal>) if any of the modules in the set,
+	  or any dependent module, has changed.  Note that this may
+	  entail loading new modules, or dropping modules which are no
+	  longer indirectly required by the target.</para>
 	</listitem>
       </varlistentry>