Если у вас последняя версия cabal-install
(я думаю, что> = 0.10), вы можете попробовать сделать
$ cabal install --reinstall --upgrade-dependencies world
К сожалению, в моем случае это не сработало:
$ cabal install --dry-run --reinstall world
Resolving dependencies...
cabal: cannot configure Agda-2.2.10. It requires haskell-src-exts >=1.9.6 &&
<1.10
For the dependency on haskell-src-exts >=1.9.6 && <1.10 there are these
packages: haskell-src-exts-1.9.6. However none of them are available.
haskell-src-exts-1.9.6 was excluded because haskell-src-exts-1.11.1 was
selected instead
haskell-src-exts-1.9.6 was excluded because hlint-1.8.12 requires
haskell-src-exts ==1.11.*
Если вы столкнулись с такой ошибкой, вы можете попробовать вручную отредактировать файл ~/.cabal/world
.