Resolving dependencies... Configuring annotated-wl-pprint-0.7.0... Configuring ansi-terminal-0.6.2.3... Building ansi-terminal-0.6.2.3... Building annotated-wl-pprint-0.7.0... 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 digest-0.0.1.2... Installed base-orphans-0.5.4 Building digest-0.0.1.2... Configuring dlist-0.8.0.2... Installed data-default-class-0.1.2.0 Configuring base64-bytestring-1.0.0.1... Installed digest-0.0.1.2 Building dlist-0.8.0.2... Building base64-bytestring-1.0.0.1... Configuring fail-4.9.0.0... Installed dlist-0.8.0.2 Configuring fingertree-0.1.1.0... Installed base64-bytestring-1.0.0.1 Building fail-4.9.0.0... Building fingertree-0.1.1.0... Configuring hinotify-0.3.8.1... Installed fail-4.9.0.0 Building hinotify-0.3.8.1... Configuring ieee754-0.7.9... Installed hinotify-0.3.8.1 Building ieee754-0.7.9... Configuring mtl-2.2.1... Installed fingertree-0.1.1.0 Building mtl-2.2.1... Configuring network-2.6.3.1... Installed ieee754-0.7.9 Configuring old-locale-1.0.0.7... Installed mtl-2.2.1 Building old-locale-1.0.0.7... Building network-2.6.3.1... Configuring parallel-3.2.1.0... Installed old-locale-1.0.0.7 Building parallel-3.2.1.0... Configuring prelude-extras-0.4.0.3... Installed parallel-3.2.1.0 Building prelude-extras-0.4.0.3... Configuring primitive-0.6.1.0... Installed prelude-extras-0.4.0.3 Configuring reflection-2.1.2... Installed network-2.6.3.1 Building primitive-0.6.1.0... Building reflection-2.1.2... Configuring safe-0.3.10... Installed primitive-0.6.1.0 Building safe-0.3.10... Configuring semigroups-0.18.2... Installed reflection-2.1.2 Building semigroups-0.18.2... Configuring split-0.2.3.1... Installed safe-0.3.10 Building split-0.2.3.1... Configuring stm-2.4.4.1... Installed semigroups-0.18.2 Building stm-2.4.4.1... Configuring syb-0.6... Installed split-0.2.3.1 Building syb-0.6... Configuring terminal-size-0.3.2.1... Installed stm-2.4.4.1 Building terminal-size-0.3.2.1... Configuring transformers-compat-0.5.1.4... Installed syb-0.6 Configuring text-1.2.2.1... Installed terminal-size-0.3.2.1 Building transformers-compat-0.5.1.4... Building text-1.2.2.1... Configuring utf8-string-1.0.1.1... Installed transformers-compat-0.5.1.4 Building utf8-string-1.0.1.1... Configuring unix-compat-0.4.2.0... Installed utf8-string-1.0.1.1 Building unix-compat-0.4.2.0... Configuring zlib-0.6.1.2... Installed unix-compat-0.4.2.0 Building zlib-0.6.1.2... Installed zlib-0.6.1.2 Configuring ansi-wl-pprint-0.6.7.3... Building ansi-wl-pprint-0.6.7.3... Configuring data-default-instances-dlist-0.0.1... Installed text-1.2.2.1 Building data-default-instances-dlist-0.0.1... Configuring regex-base-0.93.2... Installed ansi-wl-pprint-0.6.7.3 Building regex-base-0.93.2... Configuring data-default-instances-old-locale-0.0.1... Installed data-default-instances-dlist-0.0.1 Building data-default-instances-old-locale-0.0.1... Configuring data-default-instances-containers-0.0.1... Installed data-default-instances-old-locale-0.0.1 Building data-default-instances-containers-0.0.1... Configuring old-time-1.1.0.3... Installed regex-base-0.93.2 Configuring StateVar-1.1.0.4... Installed data-default-instances-containers-0.0.1 Building old-time-1.1.0.3... Building StateVar-1.1.0.4... Configuring async-2.1.1... Installed StateVar-1.1.0.4 Building async-2.1.1... Configuring vector-0.11.0.0... Installed old-time-1.1.0.3 Building vector-0.11.0.0... Configuring tagged-0.8.5... Installed async-2.1.1 Building tagged-0.8.5... Configuring exceptions-0.8.3... Installed tagged-0.8.5 Building exceptions-0.8.3... Installed exceptions-0.8.3 Configuring hashable-1.2.4.0... Building hashable-1.2.4.0... Configuring blaze-builder-0.4.0.2... Installed hashable-1.2.4.0 Building blaze-builder-0.4.0.2... Configuring tagsoup-0.14... Installed blaze-builder-0.4.0.2 Building tagsoup-0.14... Configuring parsec-3.1.11... Installed vector-0.11.0.0 Building parsec-3.1.11... Configuring data-default-0.7.1.1... Installed tagsoup-0.14 Building data-default-0.7.1.1... Configuring zip-archive-0.3.0.5... Installed data-default-0.7.1.1 Configuring optparse-applicative-0.12.1.0... Installed parsec-3.1.11 Building optparse-applicative-0.12.1.0... Building zip-archive-0.3.0.5... Configuring fsnotify-0.2.1... Installed zip-archive-0.3.0.5 Configuring distributive-0.5.0.2... Installed optparse-applicative-0.12.1.0 Building fsnotify-0.2.1... Installed fsnotify-0.2.1 Configuring void-0.7.1... Building distributive-0.5.0.2... 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.7.1.0... Installed distributive-0.5.0.2 Building blaze-markup-0.7.1.0... Configuring scientific-0.3.4.9... Installed blaze-markup-0.7.1.0 Building scientific-0.3.4.9... Configuring vector-binary-instances-0.2.3.3... Installed unordered-containers-0.2.7.1 Configuring network-uri-2.6.1.0... Installed scientific-0.3.4.9 Building vector-binary-instances-0.2.3.3... Building network-uri-2.6.1.0... Configuring regex-tdfa-1.2.2... Installed vector-binary-instances-0.2.3.3 Building regex-tdfa-1.2.2... Installed network-uri-2.6.1.0 Configuring contravariant-1.4... Building contravariant-1.4... Configuring blaze-html-0.8.1.2... Installed contravariant-1.4 Building blaze-html-0.8.1.2... Configuring charset-0.3.7.1... Installed regex-tdfa-1.2.2 Building charset-0.3.7.1... Configuring attoparsec-0.13.1.0... Installed charset-0.3.7.1 Building attoparsec-0.13.1.0... Configuring uniplate-1.6.12... Installed blaze-html-0.8.1.2 Building uniplate-1.6.12... Configuring comonad-5... Installed attoparsec-0.13.1.0 Installed uniplate-1.6.12 Configuring aeson-0.11.2.1... Building comonad-5... Building aeson-0.11.2.1... Configuring parsers-0.12.4... Installed comonad-5 Building parsers-0.12.4... Configuring css-text-0.1.2.2... Installed aeson-0.11.2.1 Building css-text-0.1.2.2... Installed parsers-0.12.4 Configuring bifunctors-5.4.1... Installed css-text-0.1.2.2 Configuring xss-sanitize-0.3.5.7... Building bifunctors-5.4.1... 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 Building semigroupoids-5.1... Installed profunctors-5.2 Installed semigroupoids-5.1 Configuring reducers-3.12.1... Configuring free-4.12.4... Building free-4.12.4... Building reducers-3.12.1... 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... Building trifecta-1.6... Installed trifecta-1.6 Configuring idris-0.12.1... Building idris-0.12.1... Failed to install idris-0.12.1 Build log ( /home/builder/.cabal/logs/idris-0.12.1.log ): cabal: Entering directory '/tmp/cabal-tmp-10270/idris-0.12.1' [1 of 1] Compiling Main ( /tmp/cabal-tmp-10270/idris-0.12.1/dist/setup/setup.hs, /tmp/cabal-tmp-10270/idris-0.12.1/dist/setup/Main.o ) Linking /tmp/cabal-tmp-10270/idris-0.12.1/dist/setup/setup ... Configuring idris-0.12.1... make: Entering directory `/tmp/cabal-tmp-10270/idris-0.12.1/rts' rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o idris_utf8.o idris_stdfgn.o mini-gmp.o getline.o idris_net.o libidris_rts.a make: Leaving directory `/tmp/cabal-tmp-10270/idris-0.12.1/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.12.1... Preprocessing library idris-0.12.1... [ 1 of 101] Compiling Version_idris ( src/Version_idris.hs, dist/build/Version_idris.o ) [ 2 of 101] Compiling Util.System ( src/Util/System.hs, dist/build/Util/System.o ) [ 3 of 101] Compiling Util.ScreenSize ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.o ) [ 4 of 101] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/Util/Pretty.o ) [ 5 of 101] Compiling Util.Net ( src/Util/Net.hs, dist/build/Util/Net.o ) src/Util/Net.hs:25:11: warning: [-Wdeprecations] In the use of ‘bindSocket’ (imported from Network.Socket): Deprecated: "use 'bind'" src/Util/Net.hs:38:11: warning: [-Wdeprecations] In the use of ‘bindSocket’ (imported from Network.Socket): Deprecated: "use 'bind'" [ 6 of 101] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.o ) [ 7 of 101] Compiling Tools_idris ( src/Tools_idris.hs, dist/build/Tools_idris.o ) [ 8 of 101] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.o ) [ 9 of 101] Compiling Idris.Help ( src/Idris/Help.hs, dist/build/Idris/Help.o ) [ 10 of 101] Compiling Idris.Core.TT ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.o ) [ 11 of 101] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.o ) [ 12 of 101] Compiling Idris.Unlit ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.o ) [ 13 of 101] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.o ) [ 14 of 101] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.o ) [ 15 of 101] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.o ) [ 16 of 101] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.o ) [ 17 of 101] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.o ) [ 18 of 101] Compiling Idris.Core.ProofTerm ( src/Idris/Core/ProofTerm.hs, dist/build/Idris/Core/ProofTerm.o ) [ 19 of 101] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.o ) [ 20 of 101] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.o ) [ 21 of 101] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.o ) [ 22 of 101] Compiling Idris.Core.WHNF ( src/Idris/Core/WHNF.hs, dist/build/Idris/Core/WHNF.o ) [ 23 of 101] Compiling Idris.Core.Binary ( src/Idris/Core/Binary.hs, dist/build/Idris/Core/Binary.o ) [ 24 of 101] Compiling Idris.IdeMode ( src/Idris/IdeMode.hs, dist/build/Idris/IdeMode.o ) [ 25 of 101] Compiling Idris.Colours ( src/Idris/Colours.hs, dist/build/Idris/Colours.o ) [ 26 of 101] Compiling IRTS.System ( src/IRTS/System.hs, dist/build/IRTS/System.o ) [ 27 of 101] Compiling IRTS.Lang ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.o ) [ 28 of 101] Compiling IRTS.LangOpts ( src/IRTS/LangOpts.hs, dist/build/IRTS/LangOpts.o ) [ 29 of 101] Compiling IRTS.JavaScript.AST ( src/IRTS/JavaScript/AST.hs, dist/build/IRTS/JavaScript/AST.o ) [ 30 of 101] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.o ) [ 31 of 101] Compiling IRTS.Inliner ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.o ) [ 32 of 101] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.o ) [ 33 of 101] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.o ) [ 34 of 101] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.o ) [ 35 of 101] Compiling Idris.ASTUtils ( src/Idris/ASTUtils.hs, dist/build/Idris/ASTUtils.o ) [ 36 of 101] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.o ) [ 37 of 101] Compiling Idris.Apropos ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.o ) [ 38 of 101] Compiling Idris.DSL ( src/Idris/DSL.hs, dist/build/Idris/DSL.o ) [ 39 of 101] Compiling Idris.Elab.AsPat ( src/Idris/Elab/AsPat.hs, dist/build/Idris/Elab/AsPat.o ) [ 40 of 101] Compiling Idris.Elab.Quasiquote ( src/Idris/Elab/Quasiquote.hs, dist/build/Idris/Elab/Quasiquote.o ) [ 41 of 101] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.o ) [ 42 of 101] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.o ) [ 43 of 101] Compiling Idris.Inliner ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.o ) [ 44 of 101] Compiling Idris.Output ( src/Idris/Output.hs, dist/build/Idris/Output.o ) [ 45 of 101] Compiling Idris.Error ( src/Idris/Error.hs, dist/build/Idris/Error.o ) [ 46 of 101] Compiling IRTS.Exports ( src/IRTS/Exports.hs, dist/build/IRTS/Exports.o ) [ 47 of 101] Compiling Idris.Coverage ( src/Idris/Coverage.hs, dist/build/Idris/Coverage.o ) [ 48 of 101] Compiling Idris.Imports ( src/Idris/Imports.hs, dist/build/Idris/Imports.o ) [ 49 of 101] Compiling Idris.Directives ( src/Idris/Directives.hs, dist/build/Idris/Directives.o ) [ 50 of 101] Compiling Idris.Parser.Helpers ( src/Idris/Parser/Helpers.hs, dist/build/Idris/Parser/Helpers.o ) src/Idris/Parser/Helpers.hs:57:97: error: • Couldn't match type ‘Parser’ with ‘IdrisInnerParser’ arising from the coercion of the method ‘rend’ from type ‘DeltaParsing Parser => Parser Rendering’ to type ‘DeltaParsing IdrisInnerParser => IdrisInnerParser Rendering’ • When deriving the instance for (DeltaParsing IdrisInnerParser) cabal: Leaving directory '/tmp/cabal-tmp-10270/idris-0.12.1' cabal: Error: some packages failed to install: idris-0.12.1 failed during the building phase. The exception was: ExitFailure 1