Cabal无法解决对Idris的依赖性

Question

我是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的失败与

解决依赖关系...阴谋：无法解决依赖关系：[__6]失败（回跳，设置了冲突：template-haskell，文本，时间）详尽搜索其余的依赖树，这些是我最难以实现的目标：哈希，三连胜，基础，idris，文本，haskell模板，时间，漂亮，火爆制作者，blaze-markup，idris：setup.Cabal，zlib，无序容器，象牙，optparse-applicative尝试将--minimize-conflict-set设置为改善错误消息。

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

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

我是Haskell生态系统的新手，正在尝试在我的MacOS Catalina上安装Idris。因此，在$ brew install ghc $ brew install cabal-install之后，我有了The Glorious Glasgow Haskell编译系统，...

Answer 1

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