Build #2 for dependent-sum-0.3.2.2
| Package | dependent-sum-0.3.2.2 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-25 17:09:45.083938 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring dependent-sum-0.3.2.2...
Building dependent-sum-0.3.2.2...
Failed to install dependent-sum-0.3.2.2
Build log ( /home/builder/.cabal/logs/dependent-sum-0.3.2.2.log ):
cabal: Entering directory '/tmp/cabal-tmp-3214/dependent-sum-0.3.2.2'
Configuring dependent-sum-0.3.2.2...
Building dependent-sum-0.3.2.2...
Preprocessing library dependent-sum-0.3.2.2...
[1 of 4] Compiling Data.GADT.Show ( src/Data/GADT/Show.hs, dist/build/Data/GADT/Show.o )
[2 of 4] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist/build/Data/GADT/Compare.o )
src/Data/GADT/Compare.hs:61:30: error:
• Couldn't match type ‘(forall (a1 :: k1). x := a1 -> b0) -> b0’
with ‘forall b. (forall (a1 :: k1). x := a1 -> b) -> b’
Expected type: [(forall b. (forall (a :: k1). x := a -> b) -> b,
String)]
Actual type: [((forall (a :: k1). x := a -> b0) -> b0, String)]
• In the expression:
return
((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest)
In an equation for ‘f’:
f (Refl, rest)
= return
((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest)
In an equation for ‘greadsPrec’:
greadsPrec p s
= readsPrec p s >>= f
where
f ::
forall x.
(x := x, String)
-> [(forall b. (forall a. x := a -> b) -> b, String)]
f (Refl, rest)
= return
((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest)
• Relevant bindings include
f :: (x := x, String)
-> [(forall b. (forall (a :: k1). x := a -> b) -> b, String)]
(bound at src/Data/GADT/Compare.hs:61:13)
cabal: Leaving directory '/tmp/cabal-tmp-3214/dependent-sum-0.3.2.2'
cabal: Error: some packages failed to install:
dependent-sum-0.3.2.2 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.