Resolving dependencies...
Downloading pesca-4.0.1...
Configuring pesca-4.0.1...
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:
    Top-level binding with no type signature:
      infixPredicate :: [Char] -> Bool

src/Sequent.hs:37:1: Warning:
    Top-level binding with no type signature:
      infixFunction :: [Char] -> Bool

src/Sequent.hs:96:10: Warning: Defined but not used: ‘s’

src/Sequent.hs:98:13: Warning: Defined but not used: ‘s’

src/Sequent.hs:104:11: Warning: Defined but not used: ‘x’

src/Sequent.hs:105:15: Warning: Defined but not used: ‘trs’

src/Sequent.hs:169:12: Warning: Defined but not used: ‘p’

src/Sequent.hs:170:12: Warning: Defined but not used: ‘p’

src/Sequent.hs:179:1: Warning:
    Top-level binding with no type signature:
      freeVariablesOfTerm :: Term -> [Ident]

src/Sequent.hs:181:13: Warning: Defined but not used: ‘f’
[2 of 9] Compiling Calculi          ( src/Calculi.hs, dist/build/pesca/pesca-tmp/Calculi.o )

src/Calculi.hs:23:1: Warning:
    Top-level binding with no type signature: prCalculi :: [Char]

src/Calculi.hs:32:1: Warning:
    Top-level binding with no type signature:
      gxpL :: forall t.
              [([Char], ([Formula], t) -> Maybe [([Formula], t)])]

src/Calculi.hs:41:18: Warning: Defined but not used: ‘suc’

src/Calculi.hs:43:26: Warning: Defined but not used: ‘rest’

src/Calculi.hs:46:1: Warning:
    Top-level binding with no type signature:
      gipR :: [([Char],
                ([Formula], [Formula]) -> Maybe [([Formula], [Formula])])]

src/Calculi.hs:53:25: Warning: Defined but not used: ‘b’

src/Calculi.hs:57:23: Warning: Defined but not used: ‘a’

src/Calculi.hs:70:1: Warning:
    Top-level binding with no type signature:
      gcpRL :: [([Char],
                 ([Formula], [Formula]) -> Maybe [([Formula], [Formula])])]

src/Calculi.hs:91:24: Warning: Defined but not used: ‘suc'’

src/Calculi.hs:95:1: Warning:
    Top-level binding with no type signature:
      g3iLImpl :: [([Char],
                    ([Formula], [Formula]) -> Maybe [([Formula], [Formula])])]

src/Calculi.hs:103:1: Warning:
    Top-level binding with no type signature:
      g4iLImpl :: [([Char],
                    ([Formula], [Formula]) -> Maybe [([Formula], [Formula])])]

src/Calculi.hs:138:1: Warning:
    Top-level binding with no type signature:
      g3xqL :: [([Char],
                 ([Formula], [Formula])
                 -> Maybe [Either ([Formula], [Formula]) [Char]])]

src/Calculi.hs:153:1: Warning:
    Top-level binding with no type signature:
      g3iqR :: [([Char],
                 ([Formula], [Formula])
                 -> Maybe [Either ([Formula], [Formula]) [Char]])]

src/Calculi.hs:167:1: Warning:
    Top-level binding with no type signature:
      g3cqR :: [([Char],
                 ([Formula], [Formula])
                 -> Maybe [Either ([Formula], [Formula]) [Char]])]

src/Calculi.hs:181:1: Warning:
    Top-level binding with no type signature:
      gxeq :: forall t.
              [([Char], ([Formula], t) -> Maybe [Either ([Formula], t) [Char]])]

src/Calculi.hs:187:40: Warning: Defined but not used: ‘rest’

src/Calculi.hs:193:13: Warning: Defined but not used: ‘a’

src/Calculi.hs:193:15: Warning: Defined but not used: ‘p’

src/Calculi.hs:194:16: Warning: Defined but not used: ‘a’

src/Calculi.hs:194:18: Warning: Defined but not used: ‘b’
[3 of 9] Compiling PrelSequent      ( src/PrelSequent.hs, dist/build/pesca/pesca-tmp/PrelSequent.o )

src/PrelSequent.hs:50:16: Not in scope: ‘catch’
Failed to install 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