我是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]失败(后跳，冲突集：template haskell，text，time(之后彻底搜索依赖树的其余部分我最难实现的目标：可散列、三重、基本、，idris，文本，模板haskell，时间，漂亮，火焰生成器，blaze标记，idris:setup.Cabal，zlib，无序容器，ivor，optparse applicationive尝试使用--minimize冲突集运行改进错误消息。
使用消息中提到的标志运行也没有帮助。
我应该尝试从源代码构建，还是有其他好的方法来修复这个错误？
这个支持这些版本的PR在一月份刚刚合并：https://github.com/idris-lang/Idris-dev/pull/4808
然而，Hackage上一次发布是在去年7月：http://hackage.haskell.org/package/idris
所以我认为目前发布的版本不是基于GHC8.8。您可以从git repo构建当前master。或者，您可以从https://www.idris-lang.org/download/而不是自己从源头构建。
在Linux上，我需要在cabal之外安装zlib，您可能需要这样做。我在你的失败包列表中看到了这一点。