checkHomeModulesClosed is really slow
checkHomeModulesClosed
seems to traverse all paths in the package dependency graph and this quickly becomes infeasible for larger graphs.
To reproduce, try to load Agda into a multi component session and notice that GHCi seems to be stuck before it even gets to compiling any modules.
Fix in !12162 (closed)