如何安装unittyped和base-4.6.0.0？

Question

我已经安装了Haskell Platform 2012.4.0.0，我想试试unittyped包。

当我尝试用cabal-dev -s some-dir install unittyped安装它时，我得到了错误：

$ cabal-dev -s some-dir install unittyped
Resolving dependencies...
cabal: Could not resolve dependencies:
trying: unittyped-0.1 (user goal)
next goal: base (dependency of unittyped-0.1)
rejecting: base-3.0.3.2, 3.0.3.1 (global constraint requires installed
instance)
rejecting: base-4.5.1.0/installed-724... (conflict: unittyped => base>=4.6 && <4.7)
rejecting: base-4.6.0.0, 4.5.1.0, 4.5.0.0, 4.4.1.0, 4.4.0.0, 4.3.1.0, 4.3.0.0,
4.2.0.2, 4.2.0.1, 4.2.0.0, 4.1.0.0, 4.0.0.0 (global constraint requires installed instance)

而cabal-dev -s some-dir install base-4.6.0.0也产生了类似的信息。

有没有办法克服这些错误？

Answer 1

unittyped包需要GHC >= 7.6，它使用DataKinds ( DataKinds最早出现在7.4，但实现还不完整；也许unittyped也可以与7.4一起工作)，并且明确地依赖于base >= 4.6 && < 4.7。

正如上面括号中提到的，它也可能与ghc-7.4一起工作，以测试

$ cabal unpack unittyped
$ cd unittyped-0.1
-- edit the .cabal file to allow base-4.5.*
-- and bump the version, so that cabal doesn't think it cannot work with base-4.5.*
$ cabal install

这可能会也可能不会奏效。

安全的选择是安装ghc-7.6.1，但这将意味着放弃Haskell平台。