Кабал не может разрешить зависимости для Идриса

Question

Я новичок в экосистеме Haskell и пытаюсь установить Idris на мою MacOS Catalina.

Так что после

$ brew install ghc
$ brew install cabal-install

у меня The Glorious Glasgow Haskell Compilation System, version 8.8.2 и cabal-install version 3.0.0.0. Затем я пытаюсь установить Idris, но

$ cabal update; cabal install idris

из официальных документов не удается с

Разрешение зависимостей ... cabal: Не удалось разрешить зависимости: [__6] fail (backjumping, набор конфликтов: template- haskell, text, time) После исчерпывающего поиска в остальной части дерева зависимостей у меня сложнее всего было выполнить следующие задачи: hashable, trifecta, base, idris, text, template- haskell, time, pretty, blaze-builder, blaze-разметка, idris: setup.Cabal, zlib, неупорядоченные контейнеры, ivor, optparse-Applicative Попробуйте запустить с --minimize-конфликта-set, чтобы улучшить сообщение об ошибке.

Запуск с флагом, упомянутым в сообщении, тоже не помогает.

Стоит ли строить из исходных кодов или есть какой-нибудь другой хороший способ исправить эту ошибку?

Answer 1

Этот PR, поддерживающий эти версии, был только слит в январе: https://github.com/idris-lang/Idris-dev/pull/4808

Однако последний выпуск Hackage был июль прошлого года: http://hackage.haskell.org/package/idris

Так что я бы предположил, что текущая версия не основана на GH C 8.8. Вы можете построить текущий мастер из репо git. Или вы можете установить двоичный файл idris-current.pkg из https://www.idris-lang.org/download/ вместо того, чтобы собирать его самостоятельно из исходного кода.

Answer 2

На Linux Мне нужно было установить zlib за пределами cabal, возможно, вам придется это сделать. Я вижу это в вашем списке неудачных пакетов.