Remove (now bogus) assert.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Mon, 21 Sep 2015 22:46:09 +0000 (15:46 -0700)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Mon, 21 Sep 2015 22:46:17 +0000 (15:46 -0700)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
compiler/main/GhcMake.hs

index cc112da..3d29b1d 100644 (file)
@@ -162,9 +162,12 @@ load how_much = do
     -- (see msDeps)
     let all_home_mods = [ms_mod_name s
                         | s <- mod_graph, not (isBootSummary s)]
-        bad_boot_mods = [s        | s <- mod_graph, isBootSummary s,
-                                    not (ms_mod_name s `elem` all_home_mods)]
-    ASSERT( null bad_boot_mods ) return ()
+    -- TODO: Figure out what the correct form of this assert is. It's violated
+    -- when you have HsBootMerge nodes in the graph: then you'll have hs-boot
+    -- files without corresponding hs files.
+    --  bad_boot_mods = [s        | s <- mod_graph, isBootSummary s,
+    --                              not (ms_mod_name s `elem` all_home_mods)]
+    -- ASSERT( null bad_boot_mods ) return ()
 
     -- check that the module given in HowMuch actually exists, otherwise
     -- topSortModuleGraph will bomb later.