Resolving dependencies...
Configuring pesca-4...
Building pesca-4...
Failed to install pesca-4
Build log ( /home/builder/.cabal/logs/pesca-4.log ):
cabal: Entering directory '/tmp/cabal-tmp-15925/pesca-4'
Configuring pesca-4...
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...
Preprocessing executable 'pesca' for pesca-4...
[1 of 8] 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 8] 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-15925/pesca-4'
cabal: Error: some packages failed to install:
pesca-4 failed during the building phase. The exception was:
ExitFailure 1