Kristen Kozak

@alt-romes Thanks for testing the case without backtracking. That sounds like a very useful test! I still think that it is important to test the case with backtracking. I meant...

@alt-romes I had a question about the design before I start reviewing the code. How similar is this PR to the design described in this document? https://github.com/haskell/cabal/issues/4035#issuecomment-1885135923 If I understood...

@mpickering Thanks for sharing the design. I have a few thoughts so far: 1. The document says that private dependencies aren't transitive, but I was wondering if it would be...

I numbered my bullet points to make them easier to discuss. 1 . Yes, my example was meant to be circular. The solver allows a package to depend on another...

@Mikolaj I was thinking that we could just determine how cabal-install currently handles multiple installed instances of a package by testing. I would like to test two things: - Install...

The most direct way to see how the solver handles multiple installed instances is to look up the package by name in the Index returned by [convPIs](https://github.com/haskell/cabal/blob/cd9d1459587ab89257ccd952dad61a89fdeb0fe1/cabal-install-solver/src/Distribution/Solver/Modular/IndexConversion.hs#L56-L59) and print all...

@andreabedini Thanks for volunteering to work on this issue! I don't know of any additional progress, but I can give my current thoughts about test cases and the desired behavior....

Thanks for investigating. I didn't realize that sublibrary names were still mangled in the package db. > Despite the clear instructions this test turned out a bit trickier for me....

> Thank you for clarifying. I was indeed a bit confused about the meaning of "instance" in this discussion but I ended up adopting the one used in the solver...

While I was reviewing #9743, I thought of a better example to demonstrate my first point in https://github.com/haskell/cabal/issues/4035#issuecomment-1890899372 and https://github.com/haskell/cabal/issues/4035#issuecomment-1897976675 above (why it might be better to make private scopes...