Resolving dependencies... Configuring NumInstances-1.4... Configuring Boolean-0.2.3... 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 old-locale-1.0.0.7... Installed newtype-generics-0.5 Building old-locale-1.0.0.7... Configuring prelude-extras-0.4.0.3... Installed mtl-2.2.1 Building prelude-extras-0.4.0.3... Configuring primes-0.2.1.0... Installed old-locale-1.0.0.7 Building primes-0.2.1.0... Configuring primitive-0.6.2.0... Installed primes-0.2.1.0 Building primitive-0.6.2.0... Configuring random-1.1... Installed prelude-extras-0.4.0.3 Building random-1.1... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring semigroups-0.18.2... Installed primitive-0.6.2.0 Building semigroups-0.18.2... Configuring syb-0.6... Installed stm-2.4.4.1 Building syb-0.6... Configuring transformers-compat-0.5.1.4... Installed semigroups-0.18.2 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.1... Installed transformers-compat-0.5.1.4 Building text-1.2.2.1... Configuring unbounded-delays-0.1.0.9... Installed syb-0.6 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 MemoTrie-0.6.7 Building tf-random-0.5... Configuring StateVar-1.1.0.4... Installed text-1.2.2.1 Building StateVar-1.1.0.4... Configuring exceptions-0.8.3... Installed tf-random-0.5 Building exceptions-0.8.3... Configuring queue-0.1.2... Installed StateVar-1.1.0.4 Building queue-0.1.2... 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 universe-instances-base-1.0 Configuring vector-space-0.10.4... Configuring hashable-1.2.4.0... Installed tagged-0.8.5 Building vector-space-0.10.4... Building hashable-1.2.4.0... Configuring parsec-3.1.11... Installed hashable-1.2.4.0 Building parsec-3.1.11... Configuring QuickCheck-2.9.2... Installed vector-space-0.10.4 Building QuickCheck-2.9.2... Configuring universe-reverse-instances-1.0... Installed parsec-3.1.11 Building universe-reverse-instances-1.0... Installed universe-reverse-instances-1.0 Configuring OptDir-0.0.3... Building OptDir-0.0.3... Configuring distributive-0.5.0.2... Installed OptDir-0.0.3 Building distributive-0.5.0.2... Configuring extended-reals-0.2.2.0... Installed distributive-0.5.0.2 Building extended-reals-0.2.2.0... Configuring unordered-containers-0.2.7.1... Installed QuickCheck-2.9.2 Building unordered-containers-0.2.7.1... Configuring parse-dimacs-1.3... Installed extended-reals-0.2.2.0 Building parse-dimacs-1.3... Configuring void-0.7.1... Installed parse-dimacs-1.3 Building void-0.7.1... Installed void-0.7.1 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 semigroupoids-5.1... Configuring profunctors-5.2... 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.1... Building toysolver-0.0.4.1... Failed to install toysolver-0.0.4.1 Build log ( /home/builder/.cabal/logs/toysolver-0.0.4.1.log ): cabal: Entering directory '/tmp/cabal-tmp-22248/toysolver-0.0.4.1' Configuring toysolver-0.0.4.1... Building toysolver-0.0.4.1... Preprocessing library toysolver-0.0.4.1... 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-22248/toysolver-0.0.4.1' cabal: Error: some packages failed to install: toysolver-0.0.4.1 failed during the building phase. The exception was: ExitFailure 1