Build #7 for LambdaCalculator-0.1
| Package | LambdaCalculator-0.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-23 02:02:29.361006 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, binary-0.8.3.0, bytestring-0.10.8.1, haskeline-0.7.2.3, mtl-2.2.1, parsec-3.1.11, pretty-1.1.3.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Downloading LambdaCalculator-0.1...
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-29257/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-29257/LambdaCalculator-0.1'
cabal: Error: some packages failed to install:
LambdaCalculator-0.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.