Build #7 for toysolver-0.0.4
| Package | toysolver-0.0.4 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-21 19:13:49.439137 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | OptDir-0.0.3, array-0.5.1.1, base-4.9.0.0, bytestring-0.10.8.1, containers-0.5.7.1, data-interval-1.2.0, deepseq-1.4.2.0, filepath-1.4.1.0, heaps-0.3.3, lattices-1.5.0, mtl-2.2.1, old-locale-1.0.0.7, parse-dimacs-1.3, parsec-3.1.11, primes-0.2.1.0, queue-0.1.2, random-1.1, stm-2.4.4.1, time-1.6.0.1, unbounded-delays-0.1.0.9, vector-space-0.10.4, base-4.9.0.0, containers-0.5.7.1, filepath-1.4.1.0, parse-dimacs-1.3, base-4.9.0.0, containers-0.5.7.1, filepath-1.4.1.0, parse-dimacs-1.3, base-4.9.0.0, containers-0.5.7.1, logic-TPTP-0.4.4.0, array-0.5.1.1, base-4.9.0.0, bytestring-0.10.8.1, containers-0.5.7.1, filepath-1.4.1.0, old-locale-1.0.0.7, parse-dimacs-1.3, parsec-3.1.11, time-1.6.0.1, unbounded-delays-0.1.0.9, vector-space-0.10.4, OptDir-0.0.3, array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, filepath-1.4.1.0, parse-dimacs-1.3, parsec-3.1.11 |
| Flags | -forcechar8 |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring Boolean-0.2.3...
Configuring NumInstances-1.4...
Building NumInstances-1.4...
Building Boolean-0.2.3...
Installed Boolean-0.2.3
Configuring ansi-terminal-0.6.2.3...
Configuring data-default-class-0.1.2.0...
Installed NumInstances-1.4
Building ansi-terminal-0.6.2.3...
Building data-default-class-0.1.2.0...
Configuring heaps-0.3.3...
Installed data-default-class-0.1.2.0
Building heaps-0.3.3...
Configuring base-orphans-0.5.4...
Installed ansi-terminal-0.6.2.3
Building base-orphans-0.5.4...
Configuring mtl-2.2.1...
Installed base-orphans-0.5.4
Building mtl-2.2.1...
Configuring newtype-generics-0.5...
Installed heaps-0.3.3
Building newtype-generics-0.5...
Configuring prelude-extras-0.4.0.3...
Installed newtype-generics-0.5
Building prelude-extras-0.4.0.3...
Configuring old-locale-1.0.0.7...
Installed mtl-2.2.1
Building old-locale-1.0.0.7...
Configuring primes-0.2.1.0...
Installed old-locale-1.0.0.7
Building primes-0.2.1.0...
Configuring random-1.1...
Installed prelude-extras-0.4.0.3
Building random-1.1...
Configuring primitive-0.6.2.0...
Installed primes-0.2.1.0
Building primitive-0.6.2.0...
Configuring semigroups-0.18.2...
Installed random-1.1
Building semigroups-0.18.2...
Configuring stm-2.4.4.1...
Installed semigroups-0.18.2
Building stm-2.4.4.1...
Configuring syb-0.6...
Installed primitive-0.6.2.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 unbounded-delays-0.1.0.9...
Installed transformers-compat-0.5.1.4
Building unbounded-delays-0.1.0.9...
Configuring universe-base-1.0.2.1...
Installed unbounded-delays-0.1.0.9
Building universe-base-1.0.2.1...
Installed universe-base-1.0.2.1
Configuring ansi-wl-pprint-0.6.7.3...
Building ansi-wl-pprint-0.6.7.3...
Configuring MemoTrie-0.6.7...
Installed ansi-wl-pprint-0.6.7.3
Building MemoTrie-0.6.7...
Configuring tf-random-0.5...
Installed text-1.2.2.1
Building tf-random-0.5...
Configuring StateVar-1.1.0.4...
Installed MemoTrie-0.6.7
Building StateVar-1.1.0.4...
Configuring queue-0.1.2...
Installed tf-random-0.5
Configuring exceptions-0.8.3...
Installed StateVar-1.1.0.4
Building queue-0.1.2...
Building exceptions-0.8.3...
Configuring tagged-0.8.5...
Installed queue-0.1.2
Building tagged-0.8.5...
Configuring universe-instances-base-1.0...
Installed exceptions-0.8.3
Building universe-instances-base-1.0...
Installed tagged-0.8.5
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Configuring vector-space-0.10.4...
Installed universe-instances-base-1.0
Building vector-space-0.10.4...
Configuring hashable-1.2.4.0...
Installed vector-space-0.10.4
Building hashable-1.2.4.0...
Configuring QuickCheck-2.9.2...
Installed parsec-3.1.11
Building QuickCheck-2.9.2...
Configuring distributive-0.5.0.2...
Installed hashable-1.2.4.0
Building distributive-0.5.0.2...
Installed distributive-0.5.0.2
Configuring universe-reverse-instances-1.0...
Building universe-reverse-instances-1.0...
Configuring parse-dimacs-1.3...
Installed universe-reverse-instances-1.0
Building parse-dimacs-1.3...
Configuring extended-reals-0.2.2.0...
Installed parse-dimacs-1.3
Building extended-reals-0.2.2.0...
Configuring unordered-containers-0.2.7.1...
Installed extended-reals-0.2.2.0
Building unordered-containers-0.2.7.1...
Configuring void-0.7.1...
Installed QuickCheck-2.9.2
Building void-0.7.1...
Configuring OptDir-0.0.3...
Installed void-0.7.1
Building OptDir-0.0.3...
Installed OptDir-0.0.3
Configuring contravariant-1.4...
Building contravariant-1.4...
Installed unordered-containers-0.2.7.1
Configuring lattices-1.5.0...
Building lattices-1.5.0...
Installed contravariant-1.4
Configuring comonad-5...
Building comonad-5...
Installed lattices-1.5.0
Configuring data-interval-1.2.0...
Building data-interval-1.2.0...
Installed comonad-5
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Installed data-interval-1.2.0
Installed bifunctors-5.4.1
Configuring profunctors-5.2...
Configuring semigroupoids-5.1...
Building profunctors-5.2...
Building semigroupoids-5.1...
Installed profunctors-5.2
Installed semigroupoids-5.1
Configuring free-4.12.4...
Building free-4.12.4...
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 pointed-5...
Building pointed-5...
Installed pointed-5
Configuring logic-TPTP-0.4.4.0...
Building logic-TPTP-0.4.4.0...
Installed logic-TPTP-0.4.4.0
Configuring toysolver-0.0.4...
Building toysolver-0.0.4...
Failed to install toysolver-0.0.4
Build log ( /home/builder/.cabal/logs/toysolver-0.0.4.log ):
cabal: Entering directory '/tmp/cabal-tmp-32565/toysolver-0.0.4'
Configuring toysolver-0.0.4...
Building toysolver-0.0.4...
Preprocessing library toysolver-0.0.4...
src/SAT.hs:2:45: warning:
-XDoRec is deprecated: use -XRecursiveDo or pragma {-# LANGUAGE RecursiveDo #-} instead
[ 1 of 74] Compiling Util ( src/Util.hs, dist/build/Util.o )
[ 2 of 74] Compiling Text.Util ( src/Text/Util.hs, dist/build/Text/Util.o )
[ 3 of 74] Compiling Text.SDPFile ( src/Text/SDPFile.hs, dist/build/Text/SDPFile.o )
[ 4 of 74] Compiling Text.PBFile ( src/Text/PBFile.hs, dist/build/Text/PBFile.o )
[ 5 of 74] Compiling Text.LPFile ( src/Text/LPFile.hs, dist/build/Text/LPFile.o )
[ 6 of 74] Compiling Text.MPSFile ( src/Text/MPSFile.hs, dist/build/Text/MPSFile.o )
src/Text/MPSFile.hs:46:7: warning: [-Wtabs]
Tab character found here, and in 9 further locations.
Please use spaces instead.
[ 7 of 74] Compiling Text.GurobiSol ( src/Text/GurobiSol.hs, dist/build/Text/GurobiSol.o )
[ 8 of 74] Compiling SAT.Types ( src/SAT/Types.hs, dist/build/SAT/Types.o )
[ 9 of 74] Compiling Text.GCNF ( src/Text/GCNF.hs, dist/build/Text/GCNF.o )
[10 of 74] Compiling Text.MaxSAT ( src/Text/MaxSAT.hs, dist/build/Text/MaxSAT.o )
[11 of 74] Compiling SAT.TheorySolver ( src/SAT/TheorySolver.hs, dist/build/SAT/TheorySolver.o )
[12 of 74] Compiling SAT.Printer ( src/SAT/Printer.hs, dist/build/SAT/Printer.o )
[13 of 74] Compiling Paths_toysolver ( dist/build/autogen/Paths_toysolver.hs, dist/build/Paths_toysolver.o )
[14 of 74] Compiling Version ( src/Version.hs, dist/build/Version.o )
[15 of 74] Compiling Data.Var ( src/Data/Var.hs, dist/build/Data/Var.o )
[16 of 74] Compiling Data.SeqQueue ( src/Data/SeqQueue.hs, dist/build/Data/SeqQueue.o )
[17 of 74] Compiling Data.Polynomial ( src/Data/Polynomial.hs, dist/build/Data/Polynomial.o )
[18 of 74] Compiling Data.Polynomial.GBase ( src/Data/Polynomial/GBase.hs, dist/build/Data/Polynomial/GBase.o )
[19 of 74] Compiling Data.Polynomial.Lagrange ( src/Data/Polynomial/Lagrange.hs, dist/build/Data/Polynomial/Lagrange.o )
[20 of 74] Compiling Data.Polynomial.FactorZ ( src/Data/Polynomial/FactorZ.hs, dist/build/Data/Polynomial/FactorZ.o )
[21 of 74] Compiling Data.Polynomial.Sturm ( src/Data/Polynomial/Sturm.hs, dist/build/Data/Polynomial/Sturm.o )
src/Data/Polynomial/Sturm.hs:70:10: error:
Not in scope: data constructor ‘Finite’
Perhaps you meant one of these:
‘Interval.Finite’ (imported from Data.Interval),
variable ‘init’ (imported from Prelude),
variable ‘Interval.isFinite’ (imported from Data.Interval)
Perhaps you want to add ‘Finite’ to the import list
in the import of ‘Data.Interval’
(src/Data/Polynomial/Sturm.hs:37:1-65).
src/Data/Polynomial/Sturm.hs:70:21: error:
Not in scope: data constructor ‘Finite’
Perhaps you meant one of these:
‘Interval.Finite’ (imported from Data.Interval),
variable ‘init’ (imported from Prelude),
variable ‘Interval.isFinite’ (imported from Data.Interval)
Perhaps you want to add ‘Finite’ to the import list
in the import of ‘Data.Interval’
(src/Data/Polynomial/Sturm.hs:37:1-65).
src/Data/Polynomial/Sturm.hs:147:9: error:
Not in scope: data constructor ‘Finite’
Perhaps you meant one of these:
‘Interval.Finite’ (imported from Data.Interval),
variable ‘init’ (imported from Prelude),
variable ‘Interval.isFinite’ (imported from Data.Interval)
Perhaps you want to add ‘Finite’ to the import list
in the import of ‘Data.Interval’
(src/Data/Polynomial/Sturm.hs:37:1-65).
src/Data/Polynomial/Sturm.hs:148:9: error:
Not in scope: data constructor ‘Finite’
Perhaps you meant one of these:
‘Interval.Finite’ (imported from Data.Interval),
variable ‘init’ (imported from Prelude),
variable ‘Interval.isFinite’ (imported from Data.Interval)
Perhaps you want to add ‘Finite’ to the import list
in the import of ‘Data.Interval’
(src/Data/Polynomial/Sturm.hs:37:1-65).
cabal: Leaving directory '/tmp/cabal-tmp-32565/toysolver-0.0.4'
cabal: Error: some packages failed to install:
toysolver-0.0.4 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.