Resolving dependencies... Configuring fgl-5.5.3.0... Configuring mtl-2.2.1... Building mtl-2.2.1... Building fgl-5.5.3.0... Installed mtl-2.2.1 Configuring primitive-0.6.2.0... Building primitive-0.6.2.0... Configuring random-1.1... Installed fgl-5.5.3.0 Building random-1.1... Configuring stm-2.4.4.1... Installed primitive-0.6.2.0 Configuring text-1.2.2.1... Installed random-1.1 Building stm-2.4.4.1... Building text-1.2.2.1... Configuring tf-random-0.5... Installed stm-2.4.4.1 Building tf-random-0.5... Installed tf-random-0.5 Configuring async-2.1.1... Building async-2.1.1... Installed async-2.1.1 Configuring minisat-0.1.2... Building minisat-0.1.2... Configuring QuickCheck-2.9.2... Installed minisat-0.1.2 Building QuickCheck-2.9.2... Configuring satchmo-2.9.7.3... Installed text-1.2.2.1 Building satchmo-2.9.7.3... Failed to install satchmo-2.9.7.3 Build log ( /home/builder/.cabal/logs/satchmo-2.9.7.3.log ): cabal: Entering directory '/tmp/cabal-tmp-21591/satchmo-2.9.7.3' Configuring satchmo-2.9.7.3... Building satchmo-2.9.7.3... Preprocessing library satchmo-2.9.7.3... Satchmo/Unary/Op/Common.hs:2:14: warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead Satchmo/SAT/Mini.hs:5:14: warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead [ 1 of 49] Compiling Satchmo.Data ( Satchmo/Data.hs, dist/build/Satchmo/Data.o ) [ 2 of 49] Compiling Satchmo.Code ( Satchmo/Code.hs, dist/build/Satchmo/Code.o ) [ 3 of 49] Compiling Satchmo.MonadSAT ( Satchmo/MonadSAT.hs, dist/build/Satchmo/MonadSAT.o ) Satchmo/MonadSAT.hs:44:3: error: • Couldn't match type ‘Decoder m0’ with ‘Decoder m’ Expected type: Variable -> Decoder m Bool Actual type: Variable -> Decoder m0 Bool NB: ‘Decoder’ is a type function, and may not be injective The type variable ‘m0’ is ambiguous • In the ambiguity check for ‘decode_variable’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes When checking the class method: decode_variable :: forall (m :: * -> *). MonadSAT m => Variable -> Decoder m Bool In the class declaration for ‘MonadSAT’ cabal: Leaving directory '/tmp/cabal-tmp-21591/satchmo-2.9.7.3' Configuring parsec-3.1.11... Building parsec-3.1.11... Installed parsec-3.1.11 Configuring parse-dimacs-1.3... Building parse-dimacs-1.3... Installed parse-dimacs-1.3 Installed QuickCheck-2.9.2 Configuring bitset-0.6... Building bitset-0.6... Installed bitset-0.6 Configuring funsat-0.5.2... Building funsat-0.5.2... Failed to install funsat-0.5.2 Build log ( /home/builder/.cabal/logs/funsat-0.5.2.log ): cabal: Entering directory '/tmp/cabal-tmp-21590/funsat-0.5.2' Configuring funsat-0.5.2... Building funsat-0.5.2... Preprocessing library funsat-0.5.2... Funsat/Solver.hs:1:14: warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead Funsat/Types.hs:1:14: warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead Funsat/Utils.hs:1:14: warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead [1 of 8] Compiling Text.Tabular ( Text/Tabular.hs, dist/build/Text/Tabular.o ) [2 of 8] Compiling Funsat.FastDom ( Funsat/FastDom.hs, dist/build/Funsat/FastDom.o ) [3 of 8] Compiling Control.Monad.MonadST ( Control/Monad/MonadST.hs, dist/build/Control/Monad/MonadST.o ) [4 of 8] Compiling Funsat.Monad ( Funsat/Monad.hs, dist/build/Funsat/Monad.o ) Funsat/Monad.hs:73:10: error: • No instance for (Applicative (SSTErrMonad e st s)) arising from the superclasses of an instance declaration • In the instance declaration for ‘Monad (SSTErrMonad e st s)’ Funsat/Monad.hs:97:10: error: • Could not deduce (GHC.Base.Alternative (SSTErrMonad e st s)) arising from the superclasses of an instance declaration from the context: Error e bound by the instance declaration at Funsat/Monad.hs:97:10-52 • In the instance declaration for ‘MonadPlus (SSTErrMonad e st s)’ cabal: Leaving directory '/tmp/cabal-tmp-21590/funsat-0.5.2' cabal: Error: some packages failed to install: funsat-0.5.2 failed during the building phase. The exception was: ExitFailure 1 satchmo-2.9.7.3 failed during the building phase. The exception was: ExitFailure 1 satchmo-examples-1.3 depends on satchmo-2.9.7.3 which failed to install. satchmo-funsat-1.4 depends on satchmo-2.9.7.3 which failed to install. satchmo-minisat-1.3 depends on satchmo-2.9.7.3 which failed to install.