Re: cabal doesn't explore the none manual flags very well

Hi there. I've pushed an experimental quick fix to https://github.com/kosmikus/cabal/tree/defer-flags I've briefly verified that it seems to fix the aeson issue mentioned in https://github.com/kosmikus/cabal/tree/defer-flags and one other test case I had lying around, but I haven't tested anything else. This change needs much more testing and experimentation. But if you'd like to try it, I'd welcome feedback on whether it at least solves a few concrete instances of this problem. Cheers, Andres On Wed, Mar 12, 2014 at 7:35 PM, Andres Löh wrote:

Hi.

On Wed, Mar 12, 2014 at 7:16 PM, Leon Smith wrote:

...

Here's one example, and a comment for a possible long-term solution from Duncan Coutts:

https://github.com/bos/aeson/issues/177

Yes, thanks. This is in fact what prompted me looking at it. I think we can probably do a bit better by default even without adding a new kind of flags. But it'll require a (hopefully small) change to the solver, and as it's a heuristic, there's always a risk some other situations might get worse.

Cheers, Andres

-- Andres Löh, Haskell Consultant Well-Typed LLP, http://www.well-typed.com

-- Andres Löh, Haskell Consultant Well-Typed LLP, http://www.well-typed.com