On Mon, Nov 9, 2015 at 11:29 AM, Bardur Arantsson 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. -- Kim-Ee

On Mon, Nov 9, 2015 at 4:30 AM Bardur Arantsson wrote:

Hi all,

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?

We use it for ghcjs-boot, which uses cabal-install to install the GHCJS boot libraries in the global package db (ghc-prim, template-haskell, base, ghcjs-prim, ghcjs-base and a bunch of other packages). There is no fundamental reason that the topdown solver is required. We only use it because the modular solver blacklists some packages that are risky to install (like base, template-haskell). I'd be happy to switch to the modular solver if there's a way to disable the blacklist. https://github.com/ghcjs/ghcjs/blob/561365ba1667053b5dc5846e2a8edb33eaa3f6dd... luite