Build #7 for idris-0.9.8

[all reports]

Package idris-0.9.8
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2016-12-21 05:28:12.293208 UTC
Compiler ghc-
OS linux
Arch x86_64
Dependencies Cabal-, base-, binary-, bytestring-, containers-, directory-, filepath-, haskeline-, language-java-0.2.8, libffi-0.1, mtl-2.2.1, parsec-3.1.11, pretty-, process-, split-, text-, transformers-, unix-
Flags -noeffects -java

Build log

[view raw]

Resolving dependencies...
Configuring libffi-0.1...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Building libffi-0.1...
Installed libffi-0.1
Configuring old-locale-
Building old-locale-
Configuring split-
Installed mtl-2.2.1
Configuring text-
Installed old-locale-
Building split-
Building text-
Installed split-
Configuring old-time-
Building old-time-
Installed old-time-
Installed text-
Configuring parsec-3.1.11...
Configuring polyparse-1.12...
Building polyparse-1.12...
Building parsec-3.1.11...
Installed parsec-3.1.11
Installed polyparse-1.12
Configuring cpphs-1.20.2...
Building cpphs-1.20.2...
Installed cpphs-1.20.2
Configuring language-java-0.2.8...
Building language-java-0.2.8...
Installed language-java-0.2.8
Configuring idris-0.9.8...
Building idris-0.9.8...
Failed to install idris-0.9.8
Build log ( /home/builder/.cabal/logs/idris-0.9.8.log ):
cabal: Entering directory '/tmp/cabal-tmp-22117/idris-0.9.8'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-22117/idris-0.9.8/dist/setup/setup.hs, /tmp/cabal-tmp-22117/idris-0.9.8/dist/setup/Main.o )
Linking /tmp/cabal-tmp-22117/idris-0.9.8/dist/setup/setup ...
Configuring idris-0.9.8...
make: Entering directory `/tmp/cabal-tmp-22117/idris-0.9.8/rts'
rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_stdfgn.o idris_bitstring.o idris_opts.o idris_stats.o libidris_rts.a 
make: Leaving directory `/tmp/cabal-tmp-22117/idris-0.9.8/rts'
Building idris-0.9.8...
Preprocessing executable 'idris' for idris-0.9.8...
[ 1 of 56] Compiling Util.Pretty      ( src/Util/Pretty.hs, dist/build/idris/idris-tmp/Util/Pretty.o )
[ 2 of 56] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/idris/idris-tmp/Util/DynamicLinker.o )
[ 3 of 56] Compiling Paths_idris      ( dist/build/autogen/Paths_idris.hs, dist/build/idris/idris-tmp/Paths_idris.o )
[ 4 of 56] Compiling Util.System      ( src/Util/System.hs, dist/build/idris/idris-tmp/Util/System.o )

src/Util/System.hs:76:1: warning: [-Wtabs]
    Tab character found here.
    Please use spaces instead.
[ 5 of 56] Compiling Idris.IdeSlave   ( src/Idris/IdeSlave.hs, dist/build/idris/idris-tmp/Idris/IdeSlave.o )
[ 6 of 56] Compiling Idris.Help       ( src/Idris/Help.hs, dist/build/idris/idris-tmp/Idris/Help.o )
[ 7 of 56] Compiling Core.TT          ( src/Core/TT.hs, dist/build/idris/idris-tmp/Core/TT.o )

src/Core/TT.hs:146: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:160: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-22117/idris-0.9.8'
cabal: Error: some packages failed to install:
idris-0.9.8 failed during the building phase. The exception was:
ExitFailure 1