[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.

diff --git a/ghc/compiler/rename/RnHiFiles.lhs b/ghc/compiler/rename/RnHiFiles.lhs
index c1f2788..4a75856 100644 (file)
--- 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