homebrew - Cabal 无法解决 Idris 的依赖关系
问题描述
我是 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
来自官方文档的失败
解决依赖关系... cabal：无法解决依赖关系：[__6] 失败（回跳，冲突集：模板-haskell，文本，时间）在彻底搜索依赖关系树的其余部分之后，这些是我遇到的最麻烦的目标实现：hashable、trifecta、base、idris、text、template-haskell、time、pretty、blaze-builder、blaze-markup、idris:setup.Cabal、zlib、unordered-containers、ivor、optparse-applicative 尝试运行 --最小化冲突集以改进错误消息。
使用消息中提到的标志运行也无济于事。
我应该尝试从源代码构建还是有任何其他好的方法来解决这个错误？
解决方案
支持这些版本的 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 二进制文件，而不是自己从源代码构建它。