Build #2 for idris-0.12.1
| Package | idris-0.12.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-22 02:48:30.091258 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aeson-0.11.2.1, annotated-wl-pprint-0.7.0, ansi-terminal-0.6.2.3, ansi-wl-pprint-0.6.7.3, array-0.5.1.1, async-2.1.1, base-4.9.0.0, base64-bytestring-1.0.0.1, binary-0.8.3.0, blaze-html-0.8.1.2, blaze-markup-0.7.1.0, bytestring-0.10.8.1, cheapskate-0.1.0.5, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.2.6.2, filepath-1.4.1.0, fingertree-0.1.1.0, fsnotify-0.2.1, haskeline-0.7.2.3, ieee754-0.7.9, mtl-2.2.1, network-2.6.3.1, optparse-applicative-0.12.1.0, parsers-0.12.4, pretty-1.1.3.3, process-1.4.2.0, regex-tdfa-1.2.2, safe-0.3.10, split-0.2.3.1, terminal-size-0.3.2.1, text-1.2.2.1, time-1.6.0.1, transformers-0.5.2.0, transformers-compat-0.5.1.4, trifecta-1.6, uniplate-1.6.12, unix-2.7.2.0, unordered-containers-0.2.7.1, utf8-string-1.0.1.1, vector-0.11.0.0, vector-binary-instances-0.2.3.3, zip-archive-0.3.0.5, base-4.9.0.0, directory-1.2.6.2, filepath-1.4.1.0, haskeline-0.7.2.3, transformers-0.5.2.0, base-4.9.0.0, filepath-1.4.1.0, haskeline-0.7.2.3, transformers-0.5.2.0, base-4.9.0.0, filepath-1.4.1.0, haskeline-0.7.2.3, transformers-0.5.2.0, base-4.9.0.0, filepath-1.4.1.0, haskeline-0.7.2.3, transformers-0.5.2.0 |
| Flags | release -gmp -freestanding -ffi -execonly -ci |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.