From 705965902608d830c06fd0998ac77dcf118d4bac Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 21 Aug 2001 09:32:26 +0000
Subject: [PATCH] [project @ 2001-08-21 09:32:26 by simonmar] document the
 requirement for source files in :load.

---
 ghc/docs/users_guide/ghci.sgml |   10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml
index 4e8693d..5922c2a 100644
--- a/ghc/docs/users_guide/ghci.sgml
+++ b/ghc/docs/users_guide/ghci.sgml
@@ -150,6 +150,16 @@ Main> fac 17
       in the same directory and you can't call them all
       <filename>Main.hs</filename>.</para>
 
+      <para>One consequence of the way that GHCi follows dependencies
+      to find modules to load is that every module must have a source
+      file.  The only exception to the rule is modules that come from
+      a package, including the <literal>Prelude</literal> and standard
+      libraries such as <literal>IO</literal> and
+      <literal>Complex</literal>.  If you attempt to load a module for
+      which GHCi can't find a source file, even if there are object
+      and interface files for the module, you'll get an error
+      message.</para>
+
       <para>One final note: if you load a module called Main, it must
       contain a <literal>main</literal> function, just like in
       GHC.</para>
-- 
1.7.10.4