Kristen Kozak

Thanks for the fix!

I don't think the solver has any support for disabling components or tracking intra-package dependencies yet. It combines all of the libraries and executables' dependencies here: https://github.com/haskell/cabal/blob/ff32a4ea718095af7e1f0f09dee9efb7cea23570/cabal-install/Distribution/Solver/Modular/IndexConversion.hs#L194-L198 It also ignores...

@Mikolaj This issue depends on #6039, but I think that the best way to fix it is by finishing implementing the per-component dependency solving in #4087, which would allow the...

I realized that the relationship between the issues is more complex than I described: #4087: This issue describes a large design change to the solver that would fix many issues...

> I only used as much indentation as needed to show nesting but am happy to indent more. It is a quick fix. Some imports are quite long and I...

Why is the constraint overriding being implemented in the solver? Wouldn't it be better to implement it in cabal-install, where the constraints from different files are initially combined? Then cabal-install...

@philderbeast Sorry, I hadn't seen #9510. I think that any feature that depends on the order of the constraints in the solver would be fragile, because the solver doesn't rely...

> @grayjay I know you’re more of a solver person, but if you happen to have some time for advising and feel comfortable in this part of the code, your...

This feature was implemented in #5680, but it is off by default because it reruns the solver and increases run time significantly. I'll leave this issue open for finding a...

@alt-romes I have some ideas for testing performance, though I'm not sure how to include it in the existing test suite. It would be too time consuming to run in...