不确定此网站是否是提出此类问题的最佳位置，但我已在r / Idris上发布，请参阅here。
我最初运行$cabal update和$cabal install idris但由于distributive-0.5.2无法安装而失败。从那时起，我尝试删除并重新安装cabal，删除并重新安装Haskell平台，使用目录，遵循Debian的安装说明等。它总是归结为distributive-0.5.2安装失败。有什么想法吗？
更新：正如noobninja所建议的，我运行了$cabal install Distributive --reinstall无法加载接口“Distribution.Extra.Doctest”，因为“cabal-doctest-1.0.2”中缺少文件。然后我跑了ghc-pkg-check并得到了一个巨大的错误列表。