Cabal 无法解决 Idris 的依赖关系答案

【问题标题】：Cabal cannot resolve dependencies for IdrisCabal 无法解决 Idris 的依赖关系
【发布时间】：2020-02-24 19:37:15
【问题描述】：

我是 Haskell 生态系统的新手，正在尝试在我的 MacOS Catalina 上安装 Idris。

所以之后

$ brew install ghc
$ brew install cabal-install

我有The Glorious Glasgow Haskell Compilation System, version 8.8.2 和cabal-install version 3.0.0.0。然后我尝试安装 Idris 但

$ cabal update; cabal install idris

来自official docs 失败

解决依赖关系... cabal：无法解决依赖关系：[__6] 失败（回跳，冲突集：模板-haskell，文本，时间）之后彻底搜索依赖树的其余部分，这些是我最难实现的目标：hashable, trifecta, base, idris，文本，模板-haskell，时间，漂亮，火焰生成器， blaze-markup, idris:setup.Cabal, zlib, unordered-containers, ivor, optparse-applicative 尝试使用 --minimize-conflict-set 运行改进错误信息。

使用消息中提到的标志运行也无济于事。

我应该尝试从源代码构建还是有其他好的方法来修复此错误？

【问题讨论】：

使用brew install idris 安装直接完全消除了这个问题，但我会留下它，以防有人知道如何在这里修复阴谋集团

标签： homebrew ghc cabal idris

【解决方案1】：

支持这些版本的 PR 刚刚在 1 月合并：https://github.com/idris-lang/Idris-dev/pull/4808

但是，Hackage 的最后一个版本是去年 7 月： http://hackage.haskell.org/package/idris

所以我假设当前发布的版本不是基于 GHC 8.8 构建的。你可以从 git repo 构建当前的 master。或者您可以从 https://www.idris-lang.org/download/ 安装 idris-current.pkg 二进制文件，而不是自己从源代码构建它。

【讨论】：

【解决方案2】：

在 Linux 上，我需要在 cabal 之外安装 zlib，您可能需要这样做。我在您的失败包列表中看到了这一点。

【讨论】：