Anybody using the "top-down" solver?

Bardur Arantsson spam at
Mon Nov 9 05:20:36 UTC 2015

On 11/09/2015 05:57 AM, Kim-Ee Yeoh wrote:
> On Mon, Nov 9, 2015 at 11:29 AM, Bardur Arantsson <spam at>
> wrote:
>> Just to get input from as many people as possible: I was pondering a
>> plan for modularizing the solver[1] and wanted to reach as many people
>> as possible with my question:
>>    Is anybody is still using the top-down solver?
> Cabal-devel isn't the best place for such a question is it?
> Lots of folks might be using cabal in unique ways. But they simply can't be
> expected to subscribe to each and every dev mailing list of each and every
> software they use.

Alright, I've at least "cross-posted" to -cafe. I don't really do reddit
and such, so if you (or anybody else for that matter) could also post a
link to my original post there, I'd appreciate it.


More information about the cabal-devel mailing list