关于 haskell：安装 ghc 7.8.3 时需要 base < 4.7 的 PandocAgda 的最佳策略

best strategy to install PandocAgda which requires base < 4.7 when ghc 7.8.3 is installed

在 cabal install - PandocAgda 的作用下，我得到

rejecting: base-4.7.0.1/installed-df2... (conflict: PandocAgda =>
base>=4.2 && <4.7)

我的机器上有

~ a?ˉa?ˉa?ˉ ghc --version
The Glorious Glasgow Haskell Compilation System,
version 7.8.3

base 是否与 ghc 版本相关联？

安装 PandocAgda 最干净的方法是什么？

PandocAgda 的所有版本似乎都在基础上设置了 < 4.7。您可以尝试将 --allow-newer 标志用于 cabal 并查看是否找到与 7.8.3 兼容的构建计划。