阴谋集团无法解决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

从官方文件中失败

解决依赖..。阴谋集团:无法解决依赖关系：__6失败(回跳，冲突集:模板-haskell，文本，时间)，在搜索完其余的依赖树之后，这些都是我最难以实现的目标:哈斯可、三功能、基础、idris、文本、模板-haskell、time、漂亮、熊熊-构建器、火焰标记、idris:setup.Cabal、zlib、无序容器、ivor、opt解译-应用尝试运行--最小化-冲突--设置来改进错误信息。

使用消息中提到的标志运行也没有帮助。

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

Answer 1

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

然而，上一次关于黑客的发布是去年7月：http://hackage.haskell.org/package/idris。

因此，我假设当前发布的版本不是建立在GHC8.8之上的。你可以从git中构建当前的主人。或者您可以从https://www.idris-lang.org/download/安装idris-current.pkg二进制文件，而不是自己从源代码构建它。

Answer 2

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