Компиляция Идриса из источника не удалась - PullRequest
Новая
       96

Компиляция Идриса из источника не удалась

0 голосов
/ 10 марта 2020

Я пытаюсь собрать последнюю версию dev 1.3.2 Idris из исходного кода (bbd0f286c2e76ae157b5130303d29622d31de309) с помощью этих команд 

$ curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
$ cabal v1-sandbox init
$ cabal update
$ cabal install --only-dependencies

Но я получаю следующую ошибку

idris: нет тривиального решения 

Building libraries...
/Applications/Xcode.app/Contents/Developer/usr/bin/make -C prelude build
../../dist/dist-sandbox-b79b3f63/build/idris/idris --build prelude.ipkg
Type checking ./Builtins.idr
Type checking ./Prelude/Uninhabited.idr
Type checking ./Prelude/Algebra.idr
Type checking ./Prelude/Bool.idr
Type checking ./Prelude/Basics.idr
Type checking ./Prelude/Interfaces.idr
idris: No trivial solution
make[2]: *** [build] Error 1
make[1]: *** [build] Error 2
cabal: Leaving directory '.'
cabal: Error: some packages failed to install:
idris-1.3.2-2S4MqcVuueB5TIZWBFxuhX failed during the building phase. The
exception was:
ExitFailure 2

Что-то не так с кодом для самого языка или что-то не так в процессе сборки, за которым я следую? Как правильно отладить эту проблему и в каком месте я должен искать в первую очередь? 

➜ cabal --version
cabal-install version 3.0.0.0
compiled using version 3.0.0.0 of the Cabal library

ghcup 0.0.8 и ghci version 8.6.5, GNU Make 3.81 MacOS Catalina.

...