From fdda641e2c25903d2b92364f976badc599a1b759 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 17 Mar 2005 12:04:07 +0000
Subject: [PATCH] [project @ 2005-03-17 12:04:07 by simonpj] Re-clarify
 hs-boot docs

---
 ghc/docs/users_guide/separate_compilation.xml |   12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/ghc/docs/users_guide/separate_compilation.xml b/ghc/docs/users_guide/separate_compilation.xml
index f750128..cae8d35 100644
--- a/ghc/docs/users_guide/separate_compilation.xml
+++ b/ghc/docs/users_guide/separate_compilation.xml
@@ -719,12 +719,12 @@ When a hs-boot file <filename>A.hs-boot</filename>
    <command>ghc -M</command> will report an error if a cycle is found.
    </para></listitem>
 
-   <listitem><para> Every module that is 
-   <literal>{-# SOURCE #-}</literal>-imported in a program must also be ordinarily imported (or
-   else be one of the root modules).  To put it another way, if <literal>M.hs-boot</literal> is
-   reachable in the import graph, then <literal>M.hs</literal> must also be reachable.
-   The command <command>ghc --make</command> will report an error if this
-   condition is not satisfied.
+   <listitem><para> A module <literal>M</literal> that is 
+   <literal>{-# SOURCE #-}</literal>-imported in a program will usually also be
+   ordinarily imported elsewhere.  If not, <command>ghc --make</command>
+   automatically adds <literal>M</literal> to the set of moudles it tries to
+   compile and link, to ensure that <literal>M</literal>'s implementation is included in
+   the final program.
    </para></listitem>
 </itemizedlist>
 </para>
-- 
1.7.10.4