cabal doesn't explore the none manual flags very well

[Andres Löh]

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 <andres at well-typed.com> wrote:
> Hi.
>
> On Wed, Mar 12, 2014 at 7:16 PM, Leon Smith <leon.p.smith at gmail.com> 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