Resolving dependencies...
Configuring mtl-2.2.1...
Configuring text-1.2.2.1...
Building mtl-2.2.1...
Building text-1.2.2.1...
Installed mtl-2.2.1
Installed text-1.2.2.1
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Installed parsec-3.1.11
Configuring LambdaCalculator-0.1...
Building LambdaCalculator-0.1...
Failed to install LambdaCalculator-0.1
Build log ( /home/builder/.cabal/logs/LambdaCalculator-0.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-32219/LambdaCalculator-0.1'
Configuring LambdaCalculator-0.1...
Building LambdaCalculator-0.1...
Preprocessing executable 'LambdaCalculator' for LambdaCalculator-0.1...
[1 of 1] Compiling Main             ( LambdaCalculator.hs, dist/build/LambdaCalculator/LambdaCalculator-tmp/Main.o )

LambdaCalculator.hs:69:1: error:
    • Non type-variable argument
        in the constraint: Text.Parsec.Prim.Stream
                             s0 Data.Functor.Identity.Identity t
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        parse1 :: forall a t.
                  Text.Parsec.Prim.Stream s0 Data.Functor.Identity.Identity t =>
                  Text.Parsec.Prim.ParsecT s0 () m0 a -> s0 -> Either ParseError a

LambdaCalculator.hs:74:27: error:
    • Ambiguous type variable ‘a1’ arising from a use of ‘show’
      prevents the constraint ‘(Show a1)’ from being solved.
      Relevant bindings include
        message :: a1 (bound at LambdaCalculator.hs:74:9)
      Probable fix: use a type annotation to specify what ‘a1’ should be.
      These potential instances exist:
        instance (Show b, Show a) => Show (Either a b)
          -- Defined in ‘Data.Either’
        instance Show IOException -- Defined in ‘GHC.IO.Exception’
        instance Show Ordering -- Defined in ‘GHC.Show’
        ...plus 32 others
        ...plus 90 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘error’, namely ‘(show message)’
      In the expression: error (show message)
      In a case alternative: Left message -> error (show message)

LambdaCalculator.hs:204:21: error:
    • Ambiguous type variable ‘a0’ arising from a use of ‘show’
      prevents the constraint ‘(Show a0)’ from being solved.
      Relevant bindings include
        s :: a0 (bound at LambdaCalculator.hs:204:10)
      Probable fix: use a type annotation to specify what ‘a0’ should be.
      These potential instances exist:
        instance (Show b, Show a) => Show (Either a b)
          -- Defined in ‘Data.Either’
        instance Show IOException -- Defined in ‘GHC.IO.Exception’
        instance Show Ordering -- Defined in ‘GHC.Show’
        ...plus 32 others
        ...plus 90 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the first argument of ‘Fail’, namely ‘(show s)’
      In the expression: Fail (show s)
      In a case alternative: Left s -> Fail (show s)
cabal: Leaving directory '/tmp/cabal-tmp-32219/LambdaCalculator-0.1'
cabal: Error: some packages failed to install:
LambdaCalculator-0.1 failed during the building phase. The exception was:
ExitFailure 1