Resolving dependencies... Configuring annotated-wl-pprint-0.7.0... Configuring ansi-terminal-0.6.2.3... Building annotated-wl-pprint-0.7.0... Building ansi-terminal-0.6.2.3... Installed annotated-wl-pprint-0.7.0 Configuring base-orphans-0.5.4... Building base-orphans-0.5.4... Configuring data-default-class-0.1.2.0... Installed ansi-terminal-0.6.2.3 Building data-default-class-0.1.2.0... Configuring dlist-0.8.0.2... Installed base-orphans-0.5.4 Building dlist-0.8.0.2... Configuring base64-bytestring-1.0.0.1... Installed data-default-class-0.1.2.0 Building base64-bytestring-1.0.0.1... Configuring fingertree-0.1.1.0... Installed dlist-0.8.0.2 Building fingertree-0.1.1.0... Configuring mtl-2.2.1... Installed base64-bytestring-1.0.0.1 Building mtl-2.2.1... Configuring old-locale-1.0.0.7... Installed fingertree-0.1.1.0 Building old-locale-1.0.0.7... Configuring parallel-3.2.1.0... Installed mtl-2.2.1 Building parallel-3.2.1.0... Configuring prelude-extras-0.4.0.3... Installed old-locale-1.0.0.7 Building prelude-extras-0.4.0.3... Configuring network-2.6.3.1... Installed parallel-3.2.1.0 Configuring reflection-2.1.2... Installed prelude-extras-0.4.0.3 Building reflection-2.1.2... Building network-2.6.3.1... Configuring semigroups-0.18.2... Installed reflection-2.1.2 Building semigroups-0.18.2... Configuring primitive-0.6.1.0... Installed semigroups-0.18.2 Building primitive-0.6.1.0... Configuring split-0.2.3.1... Installed network-2.6.3.1 Building split-0.2.3.1... Configuring stm-2.4.4.1... Installed split-0.2.3.1 Building stm-2.4.4.1... Configuring syb-0.6... Installed primitive-0.6.1.0 Building syb-0.6... Configuring text-1.2.2.1... Installed stm-2.4.4.1 Building text-1.2.2.1... Configuring transformers-compat-0.5.1.4... Installed syb-0.6 Building transformers-compat-0.5.1.4... Configuring utf8-string-1.0.1.1... Installed transformers-compat-0.5.1.4 Building utf8-string-1.0.1.1... Configuring zlib-0.6.1.2... Installed utf8-string-1.0.1.1 Building zlib-0.6.1.2... Installed zlib-0.6.1.2 Configuring data-default-instances-containers-0.0.1... Building data-default-instances-containers-0.0.1... Configuring data-default-instances-old-locale-0.0.1... Installed text-1.2.2.1 Configuring old-time-1.1.0.3... Installed data-default-instances-containers-0.0.1 Building data-default-instances-old-locale-0.0.1... Configuring data-default-instances-dlist-0.0.1... Installed data-default-instances-old-locale-0.0.1 Building data-default-instances-dlist-0.0.1... Building old-time-1.1.0.3... Configuring ansi-wl-pprint-0.6.7.3... Installed data-default-instances-dlist-0.0.1 Building ansi-wl-pprint-0.6.7.3... Configuring StateVar-1.1.0.4... Installed old-time-1.1.0.3 Configuring exceptions-0.8.3... Installed ansi-wl-pprint-0.6.7.3 Building StateVar-1.1.0.4... Building exceptions-0.8.3... Configuring tagged-0.8.5... Installed StateVar-1.1.0.4 Building tagged-0.8.5... Configuring vector-0.11.0.0... Installed exceptions-0.8.3 Building vector-0.11.0.0... Installed tagged-0.8.5 Configuring hashable-1.2.4.0... Building hashable-1.2.4.0... Configuring blaze-builder-0.3.3.4... Installed hashable-1.2.4.0 Building blaze-builder-0.3.3.4... Configuring polyparse-1.12... Installed blaze-builder-0.3.3.4 Building polyparse-1.12... Configuring parsec-3.1.11... Installed polyparse-1.12 Building parsec-3.1.11... Configuring tagsoup-0.14... Installed vector-0.11.0.0 Configuring data-default-0.7.1.1... Installed parsec-3.1.11 Building tagsoup-0.14... Building data-default-0.7.1.1... Configuring xml-1.3.14... Installed data-default-0.7.1.1 Building xml-1.3.14... Configuring distributive-0.5.0.2... Installed xml-1.3.14 Building distributive-0.5.0.2... Configuring optparse-applicative-0.13.0.0... Installed tagsoup-0.14 Building optparse-applicative-0.13.0.0... Installed distributive-0.5.0.2 Configuring void-0.7.1... Building void-0.7.1... Configuring unordered-containers-0.2.7.1... Installed void-0.7.1 Building unordered-containers-0.2.7.1... Configuring blaze-markup-0.6.3.0... Installed optparse-applicative-0.13.0.0 Building blaze-markup-0.6.3.0... Configuring scientific-0.3.4.9... Installed blaze-markup-0.6.3.0 Building scientific-0.3.4.9... Configuring cpphs-1.20.2... Installed unordered-containers-0.2.7.1 Building cpphs-1.20.2... Configuring vector-binary-instances-0.2.3.3... Installed scientific-0.3.4.9 Building vector-binary-instances-0.2.3.3... Configuring network-uri-2.6.1.0... Installed vector-binary-instances-0.2.3.3 Building network-uri-2.6.1.0... Installed cpphs-1.20.2 Configuring contravariant-1.4... Building contravariant-1.4... Installed network-uri-2.6.1.0 Configuring charset-0.3.7.1... Building charset-0.3.7.1... Configuring uniplate-1.6.12... Installed contravariant-1.4 Building uniplate-1.6.12... Configuring blaze-html-0.7.1.0... Installed charset-0.3.7.1 Building blaze-html-0.7.1.0... Configuring attoparsec-0.13.1.0... Installed uniplate-1.6.12 Building attoparsec-0.13.1.0... Configuring language-java-0.2.8... Installed attoparsec-0.13.1.0 Building language-java-0.2.8... Installed blaze-html-0.7.1.0 Configuring comonad-5... Building comonad-5... Configuring css-text-0.1.2.2... Installed comonad-5 Building css-text-0.1.2.2... Configuring parsers-0.12.4... Installed css-text-0.1.2.2 Building parsers-0.12.4... Installed language-java-0.2.8 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... Configuring xss-sanitize-0.3.5.7... Installed parsers-0.12.4 Building xss-sanitize-0.3.5.7... Installed xss-sanitize-0.3.5.7 Configuring cheapskate-0.1.0.5... Building cheapskate-0.1.0.5... Installed bifunctors-5.4.1 Configuring profunctors-5.2... Building profunctors-5.2... Configuring semigroupoids-5.1... Installed cheapskate-0.1.0.5 Installed profunctors-5.2 Building semigroupoids-5.1... Installed semigroupoids-5.1 Configuring reducers-3.12.1... Configuring free-4.12.4... Building reducers-3.12.1... Building free-4.12.4... Installed reducers-3.12.1 Installed free-4.12.4 Configuring adjunctions-4.3... Building adjunctions-4.3... Installed adjunctions-4.3 Configuring kan-extensions-5.0.1... Building kan-extensions-5.0.1... Installed kan-extensions-5.0.1 Configuring lens-4.15.1... Building lens-4.15.1... Installed lens-4.15.1 Configuring trifecta-1.6.1... Building trifecta-1.6.1... Installed trifecta-1.6.1 Configuring idris-0.9.14.2... Building idris-0.9.14.2... Failed to install idris-0.9.14.2 Build log ( /home/builder/.cabal/logs/idris-0.9.14.2.log ): cabal: Entering directory '/tmp/cabal-tmp-12645/idris-0.9.14.2' [1 of 1] Compiling Main ( /tmp/cabal-tmp-12645/idris-0.9.14.2/dist/setup/setup.hs, /tmp/cabal-tmp-12645/idris-0.9.14.2/dist/setup/Main.o ) Linking /tmp/cabal-tmp-12645/idris-0.9.14.2/dist/setup/setup ... Configuring idris-0.9.14.2... Warning: 'ghc-options: -threaded' has no effect for libraries. It should only be used for executables. Warning: 'ghc-options: -rtsopts' has no effect for libraries. It should only be used for executables. make: Entering directory `/tmp/cabal-tmp-12645/idris-0.9.14.2/rts' rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o mini-gmp.o idris_stdfgn.o idris_net.o libidris_rts.a make: Leaving directory `/tmp/cabal-tmp-12645/idris-0.9.14.2/rts' fatal: Not a git repository (or any of the parent directories): .git Generating dist/build/autogen/Version_idris.hs for release Building idris-0.9.14.2... Preprocessing library idris-0.9.14.2... src/Idris/ParseHelpers.hs:1:74: warning: -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS src/Pkg/PParser.hs:1:14: warning: -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS [ 1 of 98] Compiling Version_idris ( src/Version_idris.hs, dist/build/Version_idris.o ) [ 2 of 98] Compiling Util.Zlib ( src/Util/Zlib.hs, dist/build/Util/Zlib.o ) src/Util/Zlib.hs:10:31: error: • Couldn't match type ‘DecompressStream ((->) t1) -> t1 -> Either (Data.ByteString.Internal.ByteString, t1) b0’ with ‘Either (DecompressError, String) [Data.ByteString.Internal.ByteString]’ Expected type: ByteString -> Either (DecompressError, String) [Data.ByteString.Internal.ByteString] Actual type: ByteString -> DecompressStream ((->) t1) -> t1 -> Either (Data.ByteString.Internal.ByteString, t1) b0 • Probable cause: ‘(.)’ is applied to too few arguments In the second argument of ‘(.)’, namely ‘foldDecompressStream cons nil err . decompressWithErrors zlibFormat defaultDecompressParams’ In the expression: finalise . foldDecompressStream cons nil err . decompressWithErrors zlibFormat defaultDecompressParams In an equation for ‘decompressEither’: decompressEither = finalise . foldDecompressStream cons nil err . decompressWithErrors zlibFormat defaultDecompressParams where err errorCode errorString = Left (errorCode, errorString) nil = Right [] cons chunk = right (chunk :) finalise = right fromChunks src/Util/Zlib.hs:10:57: error: • Couldn't match expected type ‘Data.ByteString.Internal.ByteString -> (t1 -> Either (Data.ByteString.Internal.ByteString, t1) b0) -> t1 -> Either (Data.ByteString.Internal.ByteString, t1) b0’ with actual type ‘Either a0 [t0]’ • In the second argument of ‘foldDecompressStream’, namely ‘nil’ In the first argument of ‘(.)’, namely ‘foldDecompressStream cons nil err’ In the second argument of ‘(.)’, namely ‘foldDecompressStream cons nil err . decompressWithErrors zlibFormat defaultDecompressParams’ src/Util/Zlib.hs:11:31: error: Variable not in scope: decompressWithErrors :: Format -> DecompressParams -> ByteString -> DecompressError -> t1 -> Either (Data.ByteString.Internal.ByteString, t1) b0 cabal: Leaving directory '/tmp/cabal-tmp-12645/idris-0.9.14.2' cabal: Error: some packages failed to install: idris-0.9.14.2 failed during the building phase. The exception was: ExitFailure 1