haskell - cabal的 "Warning: Falling back to topdown solver for GHC < 7."是什么意思？

Question

当在 GHC6 上使用 cabal 进行构建时，它会发出警告:

Warning: Falling back to topdown solver for GHC < 7.

什么是自顶向下求解器以及警告的含义是什么？它对我有什么影响？

Answer 1

新的模块化求解器无法在旧版 GHC 中正常工作，尤其是 ghc-6.12.X。本系列中有一个特殊情况，其中 base-3 依赖于 base-4 并通过从较新版本重新导出功能来提供兼容层。

Hackage 上的其他任何地方都没有使用这种特殊情况，而且我从未认为值得在新的求解器中实现它。

由于这两个解算器仍然由 cabal-install 提供，因此它只是默认为较旧的 GHC 版本使用旧的“自上而下”解算器，并为新的 GHC 版本默认选择较新的“模块化”解算器.

如果您尝试使用 ghc-6.12.X 选择模块化求解器，只要所有涉及的库都支持 base-4，它仍然应该能够找到解决方案。但由于自相关性，base-3 始终会被视为不可用。