Resolving dependencies... Configuring call-stack-0.1.0... Configuring mtl-2.2.1... Building mtl-2.2.1... Building call-stack-0.1.0... Installed call-stack-0.1.0 Configuring network-2.6.3.1... Configuring old-locale-1.0.0.7... Installed mtl-2.2.1 Building network-2.6.3.1... Building old-locale-1.0.0.7... Configuring stm-2.4.4.1... Installed old-locale-1.0.0.7 Building stm-2.4.4.1... Configuring syb-0.6... Installed stm-2.4.4.1 Building syb-0.6... Configuring transformers-compat-0.5.1.4... Installed network-2.6.3.1 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.1... Installed syb-0.6 Building text-1.2.2.1... Configuring utf8-string-1.0.1.1... Installed transformers-compat-0.5.1.4 Building utf8-string-1.0.1.1... Configuring HUnit-1.5.0.0... Installed utf8-string-1.0.1.1 Building HUnit-1.5.0.0... Installed HUnit-1.5.0.0 Configuring old-time-1.1.0.3... Building old-time-1.1.0.3... Configuring haskell-src-1.0.2.0... Installed old-time-1.1.0.3 Building haskell-src-1.0.2.0... Configuring exceptions-0.8.3... Installed text-1.2.2.1 Building exceptions-0.8.3... Installed exceptions-0.8.3 Configuring polyparse-1.12... Building polyparse-1.12... Configuring parsec-3.1.11... Installed haskell-src-1.0.2.0 Building parsec-3.1.11... Installed polyparse-1.12 Configuring cpphs-1.20.2... Building cpphs-1.20.2... Installed parsec-3.1.11 Configuring network-uri-2.6.1.0... Building network-uri-2.6.1.0... Configuring multipart-0.1.2... Installed cpphs-1.20.2 Building multipart-0.1.2... Installed network-uri-2.6.1.0 Configuring haskell-src-exts-1.19.1... Building haskell-src-exts-1.19.1... Installed multipart-0.1.2 Configuring cgi-3001.3.0.2... Building cgi-3001.3.0.2... Installed cgi-3001.3.0.2 Installed haskell-src-exts-1.19.1 Configuring free-theorems-0.3.2.0... Building free-theorems-0.3.2.0... Failed to install free-theorems-0.3.2.0 Build log ( /home/builder/.cabal/logs/free-theorems-0.3.2.0.log ): cabal: Entering directory '/tmp/cabal-tmp-2426/free-theorems-0.3.2.0' Configuring free-theorems-0.3.2.0... Building free-theorems-0.3.2.0... Preprocessing library free-theorems-0.3.2.0... src/Language/Haskell/FreeTheorems/Theorems/Simplify.hs:1:16: warning: -fglasgow-exts is deprecated: Use individual extensions instead [ 1 of 20] Compiling Language.Haskell.FreeTheorems.PrettyBase ( src/Language/Haskell/FreeTheorems/PrettyBase.hs, dist/build/Language/Haskell/FreeTheorems/PrettyBase.o ) [ 2 of 20] Compiling Language.Haskell.FreeTheorems.NameStores ( src/Language/Haskell/FreeTheorems/NameStores.hs, dist/build/Language/Haskell/FreeTheorems/NameStores.o ) [ 3 of 20] Compiling Language.Haskell.FreeTheorems.LanguageSubsets ( src/Language/Haskell/FreeTheorems/LanguageSubsets.hs, dist/build/Language/Haskell/FreeTheorems/LanguageSubsets.o ) [ 4 of 20] Compiling Language.Haskell.FreeTheorems.BasicSyntax ( src/Language/Haskell/FreeTheorems/BasicSyntax.hs, dist/build/Language/Haskell/FreeTheorems/BasicSyntax.o ) [ 5 of 20] Compiling Language.Haskell.FreeTheorems.PrettyTypes ( src/Language/Haskell/FreeTheorems/PrettyTypes.hs, dist/build/Language/Haskell/FreeTheorems/PrettyTypes.o ) src/Language/Haskell/FreeTheorems/PrettyTypes.hs:238:1: warning: [-Wtabs] Tab character found here. Please use spaces instead. [ 6 of 20] Compiling Language.Haskell.FreeTheorems.Theorems ( src/Language/Haskell/FreeTheorems/Theorems.hs, dist/build/Language/Haskell/FreeTheorems/Theorems.o ) [ 7 of 20] Compiling Language.Haskell.FreeTheorems.Theorems.Simplify ( src/Language/Haskell/FreeTheorems/Theorems/Simplify.hs, dist/build/Language/Haskell/FreeTheorems/Theorems/Simplify.o ) src/Language/Haskell/FreeTheorems/Theorems/Simplify.hs:4:1: warning: [-Wtabs] Tab character found here, and in 27 further locations. Please use spaces instead. [ 8 of 20] Compiling Language.Haskell.FreeTheorems.ValidSyntax ( src/Language/Haskell/FreeTheorems/ValidSyntax.hs, dist/build/Language/Haskell/FreeTheorems/ValidSyntax.o ) [ 9 of 20] Compiling Language.Haskell.FreeTheorems.Syntax ( src/Language/Haskell/FreeTheorems/Syntax.hs, dist/build/Language/Haskell/FreeTheorems/Syntax.o ) [10 of 20] Compiling Language.Haskell.FreeTheorems.Frontend.Error ( src/Language/Haskell/FreeTheorems/Frontend/Error.hs, dist/build/Language/Haskell/FreeTheorems/Frontend/Error.o ) src/Language/Haskell/FreeTheorems/Frontend/Error.hs:66:5: error: • Non type-variable argument in the constraint: Control.Monad.Writer.Class.MonadWriter [Doc] m (Use FlexibleContexts to permit this) • When checking the inferred type doCheck :: forall (m :: * -> *). Control.Monad.Writer.Class.MonadWriter [Doc] m => [a] -> a -> m [a] In an equation for ‘foldChecks’: foldChecks check = foldM doCheck [] where doCheck xs x = case getError (check x) of { Nothing -> return (xs ++ ...) Just e -> tell ... >> return xs } cabal: Leaving directory '/tmp/cabal-tmp-2426/free-theorems-0.3.2.0' cabal: Error: some packages failed to install: free-theorems-0.3.2.0 failed during the building phase. The exception was: ExitFailure 1 free-theorems-counterexamples-0.3.1.0 depends on free-theorems-0.3.2.0 which failed to install.