From: simonmar <unknown>
Date: Tue, 21 Aug 2001 09:25:48 +0000 (+0000)
Subject: [project @ 2001-08-21 09:25:48 by simonmar]
X-Git-Tag: Approximately_9120_patches~1162
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=0d41f5f390d7adc49f999a3db06794acf242168f;p=ghc-hetmet.git

[project @ 2001-08-21 09:25:48 by simonmar]
Accept The Truth and disallow loading any home modules which don't
have a source file.

The reason is that the compilation manager can't figure out
dependencies unless it has the source file to browse through -
previously there was a half-hearted attempt to let you get away with
just an object + interface file, but it didn't work in general.
Better just to disallow it altogether.

Note that this applies to --make too.
---

diff --git a/ghc/compiler/compMan/CompManager.lhs b/ghc/compiler/compMan/CompManager.lhs
index 05c28e4..48145ee 100644
--- a/ghc/compiler/compMan/CompManager.lhs
+++ b/ghc/compiler/compMan/CompManager.lhs
@@ -1093,14 +1093,7 @@ summarise mod location old_summary
    = do let hs_fn = unJust "summarise" (ml_hs_file location)
 
         case ml_hs_file location of {
-           Nothing -> do {
-		dflags <- getDynFlags;
-		when (verbosity dflags >= 1) $
-		    hPutStrLn stderr ("WARNING: module `" ++ 
-			moduleUserString mod ++ "' has no source file.");
-		return Nothing;
-	     };
-
+           Nothing -> noHsFileErr mod;
            Just src_fn -> do
 
         src_timestamp <- getModificationTime src_fn