Resolving dependencies... Configuring ansi-terminal-0.6.2.3... Configuring base-orphans-0.5.4... Building base-orphans-0.5.4... Building ansi-terminal-0.6.2.3... Installed base-orphans-0.5.4 Configuring data-default-class-0.1.2.0... Building data-default-class-0.1.2.0... Configuring heaps-0.3.3... Installed ansi-terminal-0.6.2.3 Configuring old-locale-1.0.0.7... Installed data-default-class-0.1.2.0 Building heaps-0.3.3... Building old-locale-1.0.0.7... Configuring prelude-extras-0.4.0.3... Installed old-locale-1.0.0.7 Building prelude-extras-0.4.0.3... Configuring mtl-2.2.1... Installed heaps-0.3.3 Building mtl-2.2.1... Configuring primes-0.2.1.0... Installed prelude-extras-0.4.0.3 Building primes-0.2.1.0... Configuring random-1.1... Installed mtl-2.2.1 Configuring primitive-0.6.2.0... Installed primes-0.2.1.0 Building random-1.1... 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 transformers-compat-0.5.1.4... Installed stm-2.4.4.1 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... Installed unbounded-delays-0.1.0.9 Configuring StateVar-1.1.0.4... Building StateVar-1.1.0.4... Configuring ansi-wl-pprint-0.6.7.3... Installed StateVar-1.1.0.4 Building ansi-wl-pprint-0.6.7.3... Configuring tf-random-0.5... Installed ansi-wl-pprint-0.6.7.3 Building tf-random-0.5... Configuring queue-0.1.2... Installed tf-random-0.5 Building queue-0.1.2... Configuring tagged-0.8.5... Installed text-1.2.2.1 Configuring exceptions-0.8.3... Installed queue-0.1.2 Building tagged-0.8.5... Building exceptions-0.8.3... Installed tagged-0.8.5 Configuring QuickCheck-2.9.2... Installed exceptions-0.8.3 Configuring hashable-1.2.4.0... Building QuickCheck-2.9.2... Building hashable-1.2.4.0... Configuring parsec-3.1.11... Installed hashable-1.2.4.0 Building parsec-3.1.11... Configuring distributive-0.5.0.2... Installed parsec-3.1.11 Building distributive-0.5.0.2... Installed distributive-0.5.0.2 Configuring OptDir-0.0.3... Building OptDir-0.0.3... Configuring void-0.7.1... Installed QuickCheck-2.9.2 Building void-0.7.1... Configuring parse-dimacs-1.3... Installed OptDir-0.0.3 Building parse-dimacs-1.3... Configuring unordered-containers-0.2.7.1... Installed void-0.7.1 Building unordered-containers-0.2.7.1... Installed parse-dimacs-1.3 Configuring contravariant-1.4... Building contravariant-1.4... Installed contravariant-1.4 Configuring comonad-5... Installed unordered-containers-0.2.7.1 Building comonad-5... Installed comonad-5 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... 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 Downloading toysolver-0.0.3... Configuring toysolver-0.0.3... Building toysolver-0.0.3... Failed to install toysolver-0.0.3 Build log ( /home/builder/.cabal/logs/toysolver-0.0.3.log ): cabal: Entering directory '/tmp/cabal-tmp-22816/toysolver-0.0.3' Configuring toysolver-0.0.3... Building toysolver-0.0.3... Preprocessing library toysolver-0.0.3... src/SAT.hs:2:45: warning: -XDoRec is deprecated: use -XRecursiveDo or pragma {-# LANGUAGE RecursiveDo #-} instead [ 1 of 57] Compiling Util ( src/Util.hs, dist/build/Util.o ) [ 2 of 57] Compiling Text.SDPFile ( src/Text/SDPFile.hs, dist/build/Text/SDPFile.o ) [ 3 of 57] Compiling Text.PBFile ( src/Text/PBFile.hs, dist/build/Text/PBFile.o ) [ 4 of 57] Compiling Text.LPFile ( src/Text/LPFile.hs, dist/build/Text/LPFile.o ) src/Text/LPFile.hs:733:5: error: • Non type-variable argument in the constraint: MonadWriter ShowS m (Use FlexibleContexts to permit this) • When checking the inferred type go :: forall (m :: * -> *). MonadWriter ShowS m => [String] -> Int -> m () In an equation for ‘fill’: fill width str = go str 0 where go [] _ = return () go (x : xs) 0 = tell (showString x) >> go xs (length x) go (x : xs) w = if w + 1 + length x <= width then tell (showChar ' ' . showString x) >> go xs (w + 1 + length x) else tell (showChar '\n') >> go (x : xs) 0 cabal: Leaving directory '/tmp/cabal-tmp-22816/toysolver-0.0.3' cabal: Error: some packages failed to install: toysolver-0.0.3 failed during the building phase. The exception was: ExitFailure 1