idris cabal安装失败."重新安装可能会破坏以下软件包"

Question

我首先进行了cabal更新/升级过程,所以我有cabal-install-1.20.0.3.然后我做:

cabal install idris

我明白了:

...
idris-0.9.14.1 (new version)
The following packages are likely to be broken by the reinstalls:
network-2.5.0.0
HTTP-4000.2.17
Use --force-reinstalls if you want to install anyway.

(如果重要,我正在运行OS X 10.9.4)

Answer 1

以下软件包可能会因重新安装而损坏：

网络-2.5.0.0
HTTP-4000.2.17

如果您仍想安装，请使用 --force-reinstalls。

或按照 @Carsten 建议使用沙箱