+ -- The "bad" boot modules are the ones for which we have
+ -- B.hs-boot in the module graph, but no B.hs
+ let all_home_mods = [ms_mod s | s <- mg2unsorted, not (isBootSummary s)]
+ bad_boot_mods = [s | s <- mg2unsorted, isBootSummary s,
+ not (ms_mod s `elem` all_home_mods)]
+
+ if not (null bad_boot_mods)
+ then do { mapM reportBadBootMod bad_boot_mods
+ ; return (cmstate1, Failed, []) }
+ else do
+