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-1.0.0.7... Building old-locale-1.0.0.7... Configuring split-0.2.3.1... Installed mtl-2.2.1 Configuring text-1.2.2.1... Installed old-locale-1.0.0.7 Building split-0.2.3.1... Building text-1.2.2.1... Installed split-0.2.3.1 Configuring old-time-1.1.0.3... Building old-time-1.1.0.3... Installed old-time-1.1.0.3 Installed text-1.2.2.1 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