Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
-
a3e71296
by Matthew Pickering at 2025-05-14T04:27:38-04:00
1 changed file:
Changes:
| ... | ... | @@ -154,7 +154,7 @@ import GHC.Unit.Module.ModSummary |
| 154 | 154 | import GHC.Unit.Types
|
| 155 | 155 | import GHC.Utils.Outputable
|
| 156 | 156 | import GHC.Unit.Module.ModIface
|
| 157 | -import GHC.Utils.Misc ( partitionWith, HasCallStack )
|
|
| 157 | +import GHC.Utils.Misc ( partitionWith )
|
|
| 158 | 158 | |
| 159 | 159 | import System.FilePath
|
| 160 | 160 | import qualified Data.Map as Map
|
| ... | ... | @@ -554,13 +554,13 @@ mgReachableLoop mg nk = map summaryNodeSummary modules_below where |
| 554 | 554 | |
| 555 | 555 | -- | @'mgQueryZero' g root b@ answers the question: can we reach @b@ from @root@
|
| 556 | 556 | -- in the module graph @g@, only using normal (level 0) imports?
|
| 557 | -mgQueryZero :: HasCallStack => ModuleGraph
|
|
| 557 | +mgQueryZero :: ModuleGraph
|
|
| 558 | 558 | -> ZeroScopeKey
|
| 559 | 559 | -> ZeroScopeKey
|
| 560 | 560 | -> Bool
|
| 561 | -mgQueryZero mg nka nkb = pprTrace "mgQueryZero" (ppr nka <+> ppr nkb) $ isReachable td_map na nb where
|
|
| 561 | +mgQueryZero mg nka nkb = isReachable td_map na nb where
|
|
| 562 | 562 | (td_map, lookup_node) = mg_zero_graph mg
|
| 563 | - na = expectJust $ pprTrace "lookup_node nka" (ppr (reachabilityIndexMembers td_map) <+> ppr nka) $ lookup_node nka
|
|
| 563 | + na = expectJust $ lookup_node nka
|
|
| 564 | 564 | nb = expectJust $ lookup_node nkb
|
| 565 | 565 | |
| 566 | 566 |