Build #5 for tip-lib-0.2
| Package | tip-lib-0.2 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-30 16:34:37.221444 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, genifunctors-0.4, geniplate-mirror-0.7.4, mtl-2.2.1, optparse-applicative-0.13.0.0, pretty-1.1.3.3, split-0.2.3.1, structural-induction-0.3, base-4.9.0.0, filepath-1.4.1.0, optparse-applicative-0.13.0.0, pretty-1.1.3.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Configuring mtl-2.2.1...
Building ansi-terminal-0.6.2.3...
Building mtl-2.2.1...
Installed ansi-terminal-0.6.2.3
Configuring safe-0.3.10...
Building safe-0.3.10...
Configuring split-0.2.3.1...
Installed mtl-2.2.1
Building split-0.2.3.1...
Configuring ansi-wl-pprint-0.6.7.3...
Installed safe-0.3.10
Building ansi-wl-pprint-0.6.7.3...
Configuring transformers-compat-0.5.1.4...
Installed split-0.2.3.1
Building transformers-compat-0.5.1.4...
Installed ansi-wl-pprint-0.6.7.3
Configuring geniplate-mirror-0.7.4...
Configuring genifunctors-0.4...
Installed transformers-compat-0.5.1.4
Building geniplate-mirror-0.7.4...
Building genifunctors-0.4...
Configuring optparse-applicative-0.13.0.0...
Installed genifunctors-0.4
Building optparse-applicative-0.13.0.0...
Installed geniplate-mirror-0.7.4
Configuring structural-induction-0.3...
Building structural-induction-0.3...
Installed structural-induction-0.3
Installed optparse-applicative-0.13.0.0
Configuring tip-lib-0.2...
Building tip-lib-0.2...
Failed to install tip-lib-0.2
Build log ( /home/builder/.cabal/logs/tip-lib-0.2.log ):
cabal: Entering directory '/tmp/cabal-tmp-16624/tip-lib-0.2'
Configuring tip-lib-0.2...
Building tip-lib-0.2...
Preprocessing library tip-lib-0.2...
[ 1 of 49] Compiling Tip.Writer ( src/Tip/Writer.hs, dist/build/Tip/Writer.o )
[ 2 of 49] Compiling Tip.Utils.Rename ( src/Tip/Utils/Rename.hs, dist/build/Tip/Utils/Rename.o )
[ 3 of 49] Compiling Tip.Utils ( src/Tip/Utils.hs, dist/build/Tip/Utils.o )
[ 4 of 49] Compiling Tip.Types ( src/Tip/Types.hs, dist/build/Tip/Types.o )
[ 5 of 49] Compiling Tip.Pretty ( src/Tip/Pretty.hs, dist/build/Tip/Pretty.o )
[ 6 of 49] Compiling Tip.Parser.LexTIP ( dist/build/Tip/Parser/LexTIP.hs, dist/build/Tip/Parser/LexTIP.o )
[ 7 of 49] Compiling Tip.Parser.ErrM ( src/Tip/Parser/ErrM.hs, dist/build/Tip/Parser/ErrM.o )
[ 8 of 49] Compiling Tip.Parser.AbsTIP ( src/Tip/Parser/AbsTIP.hs, dist/build/Tip/Parser/AbsTIP.o )
[ 9 of 49] Compiling Tip.Parser.ParTIP ( dist/build/Tip/Parser/ParTIP.hs, dist/build/Tip/Parser/ParTIP.o )
[10 of 49] Compiling Tip.Haskell.Repr ( src/Tip/Haskell/Repr.hs, dist/build/Tip/Haskell/Repr.o )
[11 of 49] Compiling Tip.Fresh ( src/Tip/Fresh.hs, dist/build/Tip/Fresh.o )
[12 of 49] Compiling Tip.Pass.DropSuffix ( src/Tip/Pass/DropSuffix.hs, dist/build/Tip/Pass/DropSuffix.o )
[13 of 49] Compiling Tip.Utils.Specialiser ( src/Tip/Utils/Specialiser.hs, dist/build/Tip/Utils/Specialiser.o )
[14 of 49] Compiling Tip.Core ( src/Tip/Core.hs, dist/build/Tip/Core.o )
[15 of 49] Compiling Tip.Pass.Booleans ( src/Tip/Pass/Booleans.hs, dist/build/Tip/Pass/Booleans.o )
[16 of 49] Compiling Tip.Pass.CSEMatch ( src/Tip/Pass/CSEMatch.hs, dist/build/Tip/Pass/CSEMatch.o )
[17 of 49] Compiling Tip.Pass.Conjecture ( src/Tip/Pass/Conjecture.hs, dist/build/Tip/Pass/Conjecture.o )
[18 of 49] Compiling Tip.Pass.EliminateDeadCode ( src/Tip/Pass/EliminateDeadCode.hs, dist/build/Tip/Pass/EliminateDeadCode.o )
[19 of 49] Compiling Tip.Pass.EqualFunctions ( src/Tip/Pass/EqualFunctions.hs, dist/build/Tip/Pass/EqualFunctions.o )
[20 of 49] Compiling Tip.Pass.Induction ( src/Tip/Pass/Induction.hs, dist/build/Tip/Pass/Induction.o )
[21 of 49] Compiling Tip.Pass.Lift ( src/Tip/Pass/Lift.hs, dist/build/Tip/Pass/Lift.o )
[22 of 49] Compiling Tip.Pass.SelectConjecture ( src/Tip/Pass/SelectConjecture.hs, dist/build/Tip/Pass/SelectConjecture.o )
[23 of 49] Compiling Tip.Scope ( src/Tip/Scope.hs, dist/build/Tip/Scope.o )
[24 of 49] Compiling Tip.Pass.AddMatch ( src/Tip/Pass/AddMatch.hs, dist/build/Tip/Pass/AddMatch.o )
[25 of 49] Compiling Tip.Pass.AxiomatizeDatadecls ( src/Tip/Pass/AxiomatizeDatadecls.hs, dist/build/Tip/Pass/AxiomatizeDatadecls.o )
[26 of 49] Compiling Tip.Pass.AxiomatizeFuncdefs ( src/Tip/Pass/AxiomatizeFuncdefs.hs, dist/build/Tip/Pass/AxiomatizeFuncdefs.o )
[27 of 49] Compiling Tip.Pass.RemoveMatch ( src/Tip/Pass/RemoveMatch.hs, dist/build/Tip/Pass/RemoveMatch.o )
[28 of 49] Compiling Tip.Pass.RemoveNewtype ( src/Tip/Pass/RemoveNewtype.hs, dist/build/Tip/Pass/RemoveNewtype.o )
[29 of 49] Compiling Tip.Rename ( src/Tip/Rename.hs, dist/build/Tip/Rename.o )
[30 of 49] Compiling Tip.Pretty.Isabelle ( src/Tip/Pretty/Isabelle.hs, dist/build/Tip/Pretty/Isabelle.o )
[31 of 49] Compiling Tip.Pretty.SMT ( src/Tip/Pretty/SMT.hs, dist/build/Tip/Pretty/SMT.o )
[32 of 49] Compiling Tip.Lint ( src/Tip/Lint.hs, dist/build/Tip/Lint.o )
[33 of 49] Compiling Tip.Pass.Pipeline ( src/Tip/Pass/Pipeline.hs, dist/build/Tip/Pass/Pipeline.o )
src/Tip/Pass/Pipeline.hs:23:56: error:
• Variable not in scope:
(<>) :: Mod f0 a0 -> Mod FlagFields () -> Mod FlagFields ()
• Perhaps you meant one of these:
‘<|>’ (imported from Options.Applicative),
‘<*>’ (imported from Options.Applicative),
‘<$>’ (imported from Options.Applicative)
cabal: Leaving directory '/tmp/cabal-tmp-16624/tip-lib-0.2'
cabal: Error: some packages failed to install:
tip-lib-0.2 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.