Resolving dependencies... Configuring base-orphans-0.5.4... Configuring memoize-0.8.1... Building base-orphans-0.5.4... Building memoize-0.8.1... Installed base-orphans-0.5.4 Configuring mtl-2.2.1... Building mtl-2.2.1... Configuring parallel-3.2.1.0... Installed memoize-0.8.1 Building parallel-3.2.1.0... Configuring primitive-0.6.1.0... Installed mtl-2.2.1 Building primitive-0.6.1.0... Configuring prelude-extras-0.4.0.3... Installed parallel-3.2.1.0 Building prelude-extras-0.4.0.3... Configuring reflection-2.1.2... Installed primitive-0.6.1.0 Configuring stm-2.4.4.1... Installed prelude-extras-0.4.0.3 Building reflection-2.1.2... Building stm-2.4.4.1... Configuring semigroups-0.18.2... Installed stm-2.4.4.1 Building semigroups-0.18.2... Configuring transformers-compat-0.5.1.4... Installed semigroups-0.18.2 Configuring text-1.2.2.1... Installed reflection-2.1.2 Building transformers-compat-0.5.1.4... Building text-1.2.2.1... Installed transformers-compat-0.5.1.4 Configuring StateVar-1.1.0.4... Building StateVar-1.1.0.4... Configuring vector-0.11.0.0... Installed StateVar-1.1.0.4 Building vector-0.11.0.0... Configuring async-2.1.1... Installed text-1.2.2.1 Building async-2.1.1... Configuring tagged-0.8.5... Installed async-2.1.1 Building tagged-0.8.5... Configuring exceptions-0.8.3... Installed tagged-0.8.5 Building exceptions-0.8.3... Installed exceptions-0.8.3 Configuring minisat-0.1.2... Building minisat-0.1.2... Configuring hashable-1.2.4.0... Installed vector-0.11.0.0 Building hashable-1.2.4.0... Configuring distributive-0.5.0.2... Installed hashable-1.2.4.0 Installed minisat-0.1.2 Configuring void-0.7.1... Building void-0.7.1... Configuring unordered-containers-0.2.7.1... Installed void-0.7.1 Building unordered-containers-0.2.7.1... Building distributive-0.5.0.2... Configuring contravariant-1.4... Installed distributive-0.5.0.2 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 lens-4.15.1... Building lens-4.15.1... Installed lens-4.15.1 Downloading satchmo-2.9.9.1... Configuring satchmo-2.9.9.1... Building satchmo-2.9.9.1... Failed to install satchmo-2.9.9.1 Build log ( /home/builder/.cabal/logs/satchmo-2.9.9.1.log ): cabal: Entering directory '/tmp/cabal-tmp-13254/satchmo-2.9.9.1' Configuring satchmo-2.9.9.1... Building satchmo-2.9.9.1... Preprocessing library satchmo-2.9.9.1... 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 Satchmo/SAT/External.hs:5:14: warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead [ 1 of 50] Compiling Satchmo.Data ( Satchmo/Data.hs, dist/build/Satchmo/Data.o ) [ 2 of 50] Compiling Satchmo.Code ( Satchmo/Code.hs, dist/build/Satchmo/Code.o ) [ 3 of 50] Compiling Satchmo.MonadSAT ( Satchmo/MonadSAT.hs, dist/build/Satchmo/MonadSAT.o ) Satchmo/MonadSAT.hs:45: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-13254/satchmo-2.9.9.1' cabal: Error: some packages failed to install: satchmo-2.9.9.1 failed during the building phase. The exception was: ExitFailure 1