Anybody using the "top-down" solver?

Luite Stegeman stegeman at
Tue Nov 10 21:27:48 UTC 2015

On Mon, Nov 9, 2015 at 4:30 AM Bardur Arantsson <spam at>

> 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the cabal-devel mailing list