From: simonmar <unknown>
Date: Tue, 21 Oct 2003 10:06:33 +0000 (+0000)
Subject: [project @ 2003-10-21 10:06:33 by simonmar]
X-Git-Tag: Approx_11550_changesets_converted~350
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=166d8dafebfacd83565dff21e3d9f59e2200a39e;p=ghc-hetmet.git

[project @ 2003-10-21 10:06:33 by simonmar]
Clarify one paragraph in the recompilation checker section (I hope).
---

diff --git a/ghc/docs/users_guide/separate_compilation.sgml b/ghc/docs/users_guide/separate_compilation.sgml
index 3192e66..f9a06bf 100644
--- a/ghc/docs/users_guide/separate_compilation.sgml
+++ b/ghc/docs/users_guide/separate_compilation.sgml
@@ -619,10 +619,14 @@ $ ghc -c parse/Foo.hs parse/Bar.hs gurgle/Bumble.hs -odir `arch`
       <para>This doesn't work any more.  Suppose module
       <literal>C</literal> imports module <literal>B</literal>, and
       <literal>B</literal> imports module <literal>A</literal>.  So
-      changes to <filename>A.hi</filename> should force a
-      recompilation of <literal>C</literal>.  And some changes to
-      <literal>A</literal> (changing the definition of a function that
-      appears in an inlining of a function exported by
+      changes to module <literal>A</literal> might require module
+      <literal>C</literal> to be recompiled, and hence when
+      <filename>A.hi</filename> changes we should check whether
+      <literal>C</literal> should be recompiled.  However, the
+      dependencies of <literal>C</literal> will only list
+      <literal>B.hi</literal>, not <literal>A.hi</literal>, and some
+      changes to <literal>A</literal> (changing the definition of a
+      function that appears in an inlining of a function exported by
       <literal>B</literal>, say) may conceivably not change
       <filename>B.hi</filename> one jot.  So now&hellip;</para>