Resolving dependencies... Configuring pesca-4.0.1... Building pesca-4.0.1... Failed to install pesca-4.0.1 Build log ( /home/builder/.cabal/logs/pesca-4.0.1.log ): cabal: Entering directory '/tmp/cabal-tmp-3623/pesca-4.0.1' Configuring pesca-4.0.1... Warning: 'ghc-options: -prof' is not necessary and will lead to problems when used on a library. Use the configure flag --enable-library-profiling and/or --enable-profiling. Building pesca-4.0.1... Preprocessing executable 'pesca' for pesca-4.0.1... [1 of 9] Compiling Sequent ( src/Sequent.hs, dist/build/pesca/pesca-tmp/Sequent.o ) src/Sequent.hs:34:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: infixPredicate :: [Char] -> Bool src/Sequent.hs:37:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: infixFunction :: [Char] -> Bool src/Sequent.hs:96:10: warning: [-Wunused-matches] Defined but not used: ‘s’ src/Sequent.hs:98:13: warning: [-Wunused-matches] Defined but not used: ‘s’ src/Sequent.hs:104:11: warning: [-Wunused-matches] Defined but not used: ‘x’ src/Sequent.hs:105:15: warning: [-Wunused-matches] Defined but not used: ‘trs’ src/Sequent.hs:169:12: warning: [-Wunused-matches] Defined but not used: ‘p’ src/Sequent.hs:170:12: warning: [-Wunused-matches] Defined but not used: ‘p’ src/Sequent.hs:179:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: freeVariablesOfTerm :: Term -> [Ident] src/Sequent.hs:181:13: warning: [-Wunused-matches] Defined but not used: ‘f’ [2 of 9] Compiling PrelSequent ( src/PrelSequent.hs, dist/build/pesca/pesca-tmp/PrelSequent.o ) src/PrelSequent.hs:50:16: error: Variable not in scope: catch :: IO String -> (t0 -> IO [Char]) -> IO String cabal: Leaving directory '/tmp/cabal-tmp-3623/pesca-4.0.1' cabal: Error: some packages failed to install: pesca-4.0.1 failed during the building phase. The exception was: ExitFailure 1