Resolving dependencies...
Configuring mtl-2.2.1...
Configuring text-1.2.2.1...
Building mtl-2.2.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
Configuring idris-0.9.5...
Building idris-0.9.5...
Failed to install idris-0.9.5
Build log ( /home/builder/.cabal/logs/idris-0.9.5.log ):
cabal: Entering directory '/tmp/cabal-tmp-23592/idris-0.9.5'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-23592/idris-0.9.5/dist/setup/setup.hs, /tmp/cabal-tmp-23592/idris-0.9.5/dist/setup/Main.o )
Linking /tmp/cabal-tmp-23592/idris-0.9.5/dist/setup/setup ...
Configuring idris-0.9.5...
make: Entering directory `/tmp/cabal-tmp-23592/idris-0.9.5/rts'
rm -f idris_rts.o idris_gc.o idris_gmp.o idris_stdfgn.o libidris_rts.a
make: Leaving directory `/tmp/cabal-tmp-23592/idris-0.9.5/rts'
Building idris-0.9.5...
Preprocessing executable 'idris' for idris-0.9.5...
[ 1 of 46] Compiling Util.System      ( src/Util/System.hs, dist/build/idris/idris-tmp/Util/System.o )
[ 2 of 46] Compiling Util.Pretty      ( src/Util/Pretty.hs, dist/build/idris/idris-tmp/Util/Pretty.o )
[ 3 of 46] Compiling Paths_idris      ( dist/build/autogen/Paths_idris.hs, dist/build/idris/idris-tmp/Paths_idris.o )
[ 4 of 46] Compiling Core.TT          ( src/Core/TT.hs, dist/build/idris/idris-tmp/Core/TT.o )

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