Commit dc5161cc authored by simonmar's avatar simonmar
Browse files

[project @ 2001-06-28 11:33:24 by simonmar]

document :add and multiple arguments to :load
parent 395867d3
...@@ -639,6 +639,17 @@ $ ghci -lm ...@@ -639,6 +639,17 @@ $ ghci -lm
abbreviated to a single letter.</para> abbreviated to a single letter.</para>
<variablelist> <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> <varlistentry>
<term><literal>:cd</literal> <replaceable>dir</replaceable></term> <term><literal>:cd</literal> <replaceable>dir</replaceable></term>
<indexterm><primary><literal>:cd</literal></primary></indexterm> <indexterm><primary><literal>:cd</literal></primary></indexterm>
...@@ -716,18 +727,19 @@ Prelude> :def make (\_ -> return ":! ghc --make Main") ...@@ -716,18 +727,19 @@ Prelude> :def make (\_ -> return ":! ghc --make Main")
</varlistentry> </varlistentry>
<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> <indexterm><primary><literal>:load</literal></primary></indexterm>
<listitem> <listitem>
<para>Recursively loads <replaceable>module</replaceable>, <para>Recursively loads the specified
and all the modules it depends on. Here, <replaceable>module</replaceable>s, and all the modules they
<replaceable>module</replaceable> must be a module name or depend on. Here, each <replaceable>module</replaceable>
filename, but may not be the name of a module in a must be a module name or filename, but may not be the name
package.</para> of a module in a package.</para>
<para>All previously loaded modules, except package modules, <para>All previously loaded modules, except package modules,
are forgotten. The module <replaceable>module</replaceable> are forgotten. The new set of modules is known as the
is known as the <firstterm>target</firstterm>.</para> <firstterm>target set</firstterm>.</para>
<para>After a <literal>:load</literal> command, the current <para>After a <literal>:load</literal> command, the current
context is set to:</para> context is set to:</para>
...@@ -775,11 +787,11 @@ Prelude> :def make (\_ -> return ":! ghc --make Main") ...@@ -775,11 +787,11 @@ Prelude> :def make (\_ -> return ":! ghc --make Main")
<term><literal>:reload</literal></term> <term><literal>:reload</literal></term>
<indexterm><primary><literal>:reload</literal></primary></indexterm> <indexterm><primary><literal>:reload</literal></primary></indexterm>
<listitem> <listitem>
<para>Attempts to reload the current target (see <para>Attempts to reload the current target set (see
<literal>:load</literal>) if it, or any module it depends <literal>:load</literal>) if any of the modules in the set,
on, has changed. Note that this may entail loading new or any dependent module, has changed. Note that this may
modules, or even dropping modules which are no longer entail loading new modules, or dropping modules which are no
indirectly required by the target.</para> longer indirectly required by the target.</para>
</listitem> </listitem>
</varlistentry> </varlistentry>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment