Build #6 for idris-0.9.6.1
Package | idris-0.9.6.1 |
---|
Install | BuildFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2016-12-22 02:12:47.313106 UTC |
---|---|
Compiler | ghc-8.0.1.20161018 |
OS | linux |
Arch | x86_64 |
Dependencies | Cabal-1.24.0.0, base-4.9.0.0, binary-0.8.3.0, bytestring-0.10.8.1, containers-0.5.7.1, directory-1.2.6.2, filepath-1.4.1.0, haskeline-0.7.2.3, mtl-2.2.1, parsec-3.1.11, pretty-1.1.3.3, process-1.4.2.0, split-0.2.3.1, transformers-0.5.2.0 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring mtl-2.2.1... Configuring split-0.2.3.1... Building mtl-2.2.1... Building split-0.2.3.1... Configuring text-1.2.2.1... Installed split-0.2.3.1 Building text-1.2.2.1... Installed mtl-2.2.1 Installed text-1.2.2.1 Configuring parsec-3.1.11... Building parsec-3.1.11... Installed parsec-3.1.11 Downloading idris-0.9.6.1... Configuring idris-0.9.6.1... Building idris-0.9.6.1... Failed to install idris-0.9.6.1 Build log ( /home/builder/.cabal/logs/idris-0.9.6.1.log ): cabal: Entering directory '/tmp/cabal-tmp-9824/idris-0.9.6.1' [1 of 1] Compiling Main ( /tmp/cabal-tmp-9824/idris-0.9.6.1/dist/setup/setup.hs, /tmp/cabal-tmp-9824/idris-0.9.6.1/dist/setup/Main.o ) Linking /tmp/cabal-tmp-9824/idris-0.9.6.1/dist/setup/setup ... Configuring idris-0.9.6.1... make: Entering directory `/tmp/cabal-tmp-9824/idris-0.9.6.1/rts' rm -f idris_rts.o idris_gc.o idris_gmp.o idris_stdfgn.o idris_bitstring.o libidris_rts.a make: Leaving directory `/tmp/cabal-tmp-9824/idris-0.9.6.1/rts' Building idris-0.9.6.1... Preprocessing executable 'idris' for idris-0.9.6.1... [ 1 of 51] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/idris/idris-tmp/Util/Pretty.o ) [ 2 of 51] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/idris/idris-tmp/Paths_idris.o ) [ 3 of 51] Compiling Util.System ( src/Util/System.hs, dist/build/idris/idris-tmp/Util/System.o ) src/Util/System.hs:45:1: warning: [-Wtabs] Tab character found here. Please use spaces instead. [ 4 of 51] Compiling Core.TT ( src/Core/TT.hs, dist/build/idris/idris-tmp/Core/TT.o ) src/Core/TT.hs:129:10: error: • No instance for (Applicative TC) arising from the superclasses of an instance declaration • In the instance declaration for ‘Monad TC’ src/Core/TT.hs:143:10: error: • No instance for (GHC.Base.Alternative TC) arising from the superclasses of an instance declaration • In the instance declaration for ‘MonadPlus TC’ cabal: Leaving directory '/tmp/cabal-tmp-9824/idris-0.9.6.1' cabal: Error: some packages failed to install: idris-0.9.6.1 failed during the building phase. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.