Installation GHC不兼容通过cabal安装haskell src Ext

我在Ubuntu 14.04上使用GHC 7.8.3和cabal 1.16.0.2安装agda时遇到了兼容性问题

问题似乎出在Agda要求的

haskell-src-exts-1.15.0.1

上。编译该库时会遇到以下问题（我相信）是由于生成的代码与7.8版中的不兼容造成的

templates/GenericTemplate.hs:104:22:
    Couldn't match expected type ‘Bool’
                with actual type ‘Happy_GHC_Exts.Int#’
    In the expression:
      (n Happy_GHC_Exts.<# (0# :: Happy_GHC_Exts.Int#))
    In a stmt of a pattern guard for
                   a case alternative:
      (n Happy_GHC_Exts.<# (0# :: Happy_GHC_Exts.Int#))
    In a case alternative:
        n | (n Happy_GHC_Exts.<# (0# :: Happy_GHC_Exts.Int#))
          -> (happyReduceArr Happy_Data_Array.! rule) i tk st
          where
              rule
                = (Happy_GHC_Exts.I#
                     ((Happy_GHC_Exts.negateInt#
                         ((n Happy_GHC_Exts.+# (1# :: Happy_GHC_Exts.Int#))))))

遇到了同样的问题

---

有什么建议吗？

简短回答：Cabal 1.16.*与GHC 7.8.3不兼容，请安装Cabal install的最新版本（例如1.20.0.3版），从~/.GHC（例如x86_64-linux-7.8.3）中删除与GHC 7.8.3相关的目录，然后重新安装所有内容

---

详细答案：请参见。

我无法使用Happy 1.19.4（上面的文章说“安装alex and Happy的最新版本”）重现问题。我安装了Happy-1.19.4和alex-3.1.3，但仍然遇到相同的问题。仅供参考，我使用的是cabal安装版本1.20.0.3，使用的是cabal库的版本1.20.0.1。这是以下命令的输出：

cabal get haskell src exts

，

cd haskell-src-exts-1.15.0.1/

，

cabal clean

和

cabal configure-v

？我也在使用cpphs 1.18.5。使用cabal 1.20.0.3重新安装所有库（请参阅）。

cabal unpack haskell-src-exts-1.15.0.1 
cd haskell-src-exts-1.15.0.1
cabal clean
cabal install