From b73dab9410af24cf8f70f3b51aa0110020eae3f4 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 4 Jul 2001 11:06:02 +0000
Subject: [PATCH] [project @ 2001-07-04 11:06:02 by simonmar] Allow .hi-boot
 files to be demand-loaded even in interactive/make mode,
 and fix a wibble.

---
 ghc/compiler/rename/RnHiFiles.lhs |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/rename/RnHiFiles.lhs b/ghc/compiler/rename/RnHiFiles.lhs
index c1f2788..4a75856 100644
--- a/ghc/compiler/rename/RnHiFiles.lhs
+++ b/ghc/compiler/rename/RnHiFiles.lhs
@@ -482,7 +482,8 @@ findAndReadIface doc_str mod_name hi_boot_file
     -- and start up GHCi - it won't complain that all the modules it tries
     -- to load are found in the home location.
     ioToRnM_no_fail (readIORef v_GhcMode) `thenRn` \ mode ->
-    let home_allowed = mode `notElem` [ DoInteractive, DoLink ]
+    let home_allowed = hi_boot_file ||
+		       mode `notElem` [ DoInteractive, DoMake ]
     in
 
     ioToRnM (if home_allowed 
-- 
1.7.10.4