Build #7 for gencheck-0.1
| Package | gencheck-0.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-24 18:18:55.159754 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, combinat-0.2.8.2, containers-0.5.7.1, ieee754-0.7.9, memoize-0.8.1, random-1.1, template-haskell-2.11.0.0, transformers-0.5.2.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring ieee754-0.7.9...
Configuring memoize-0.8.1...
Building memoize-0.8.1...
Building ieee754-0.7.9...
Configuring random-1.1...
Installed ieee754-0.7.9
Installed memoize-0.8.1
Building random-1.1...
Installed random-1.1
Configuring combinat-0.2.8.2...
Building combinat-0.2.8.2...
Installed combinat-0.2.8.2
Configuring gencheck-0.1...
Building gencheck-0.1...
Failed to install gencheck-0.1
Build log ( /home/builder/.cabal/logs/gencheck-0.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-14173/gencheck-0.1'
Configuring gencheck-0.1...
Building gencheck-0.1...
Preprocessing library gencheck-0.1...
[ 1 of 15] Compiling Test.GenCheck.Base.Verdict ( Test/GenCheck/Base/Verdict.lhs, dist/build/Test/GenCheck/Base/Verdict.o )
[ 2 of 15] Compiling Test.GenCheck.Base.LabelledPartition ( Test/GenCheck/Base/LabelledPartition.lhs, dist/build/Test/GenCheck/Base/LabelledPartition.o )
Test/GenCheck/Base/LabelledPartition.lhs:87:13: error:
• Could not deduce (LabelledPartition c v)
arising from a use of ‘empty’
from the context: (Foldable c, Monoid v)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:86:10-52
Possible fix:
add (LabelledPartition c v) to the context of
the instance declaration
• In the expression: empty
In an equation for ‘mempty’: mempty = empty
In the instance declaration for ‘Monoid (c v)’
Test/GenCheck/Base/LabelledPartition.lhs:88:13: error:
• Could not deduce (LabelledPartition c v)
arising from a use of ‘merge’
from the context: (Foldable c, Monoid v)
bound by the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:86:10-52
Possible fix:
add (LabelledPartition c v) to the context of
the instance declaration
• In the expression: merge
In an equation for ‘mappend’: mappend = merge
In the instance declaration for ‘Monoid (c v)’
Test/GenCheck/Base/LabelledPartition.lhs:92:12: error:
• Couldn't match type ‘k’ with ‘[c v]’
‘k’ is a rigid type variable bound by
the type signature for:
fromList :: forall k (c :: * -> *) v.
(Ord k, LabelledPartition c v, Monoid v) =>
[(k, [v])] -> c v
at Test/GenCheck/Base/LabelledPartition.lhs:90:13
Expected type: [(k, [v])] -> c v
Actual type: [([c v], [v])] -> c v
• In the expression: foldr (\ (k, ys) -> merge (new k ys)) empty
In an equation for ‘fromList’:
fromList = foldr (\ (k, ys) -> merge (new k ys)) empty
• Relevant bindings include
fromList :: [(k, [v])] -> c v
(bound at Test/GenCheck/Base/LabelledPartition.lhs:92:1)
Test/GenCheck/Base/LabelledPartition.lhs:126:3: error:
• Couldn't match expected type ‘Map k a’
with actual type ‘[(k0, a0)] -> Map k0 a0’
• The equation(s) for ‘new’ have two arguments,
but its type ‘[a] -> Map k a’ has only one
In the instance declaration for ‘LabelledPartition (Map k) a’
• Relevant bindings include
new :: [a] -> Map k a
(bound at Test/GenCheck/Base/LabelledPartition.lhs:126:3)
Test/GenCheck/Base/LabelledPartition.lhs:127:16: error:
• Couldn't match type ‘a’ with ‘t0 a1’
‘a’ is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
Expected type: Map k a -> Int
Actual type: Map k (t0 a1) -> Int
• In the expression: Map.fold (\ xs s -> (length xs) + s) 0
In an equation for ‘size’:
size = Map.fold (\ xs s -> (length xs) + s) 0
In the instance declaration for ‘LabelledPartition (Map k) a’
• Relevant bindings include
size :: Map k a -> Int
(bound at Test/GenCheck/Base/LabelledPartition.lhs:127:3)
Test/GenCheck/Base/LabelledPartition.lhs:128:16: error:
• Couldn't match type ‘a’ with ‘[a]’
‘a’ is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
Expected type: Map k a -> Map k a
Actual type: Map k1 [a] -> Map k1 [a]
• In the expression: Map.insertWith mappend k [x]
In an equation for ‘insert’:
insert k x = Map.insertWith mappend k [x]
In the instance declaration for ‘LabelledPartition (Map k) a’
• Relevant bindings include
x :: a (bound at Test/GenCheck/Base/LabelledPartition.lhs:128:12)
insert :: k1 -> a -> Map k a -> Map k a
(bound at Test/GenCheck/Base/LabelledPartition.lhs:128:3)
Test/GenCheck/Base/LabelledPartition.lhs:129:16: error:
• Couldn't match type ‘k1’ with ‘k’
‘k1’ is a rigid type variable bound by
the type signature for:
lookup :: forall k1. Ord k1 => k1 -> Map k a -> Maybe a
at Test/GenCheck/Base/LabelledPartition.lhs:129:3
‘k’ is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
Expected type: k1 -> Map k a -> Maybe a
Actual type: k -> Map k a -> Maybe a
• In the expression: Map.lookup
In an equation for ‘lookup’: lookup = Map.lookup
In the instance declaration for ‘LabelledPartition (Map k) a’
• Relevant bindings include
lookup :: k1 -> Map k a -> Maybe a
(bound at Test/GenCheck/Base/LabelledPartition.lhs:129:3)
Test/GenCheck/Base/LabelledPartition.lhs:131:16: error:
• Couldn't match type ‘a’ with ‘t1 a’
‘a’ is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
Expected type: b -> Map k a -> b
Actual type: b -> Map k1 (t1 a) -> b
• In the expression: Map.foldrWithKey (\ k x y -> foldr (f k) y x)
In an equation for ‘fold’:
fold f = Map.foldrWithKey (\ k x y -> foldr (f k) y x)
In the instance declaration for ‘LabelledPartition (Map k) a’
• Relevant bindings include
f :: k1 -> a -> b -> b
(bound at Test/GenCheck/Base/LabelledPartition.lhs:131:8)
fold :: (k1 -> a -> b -> b) -> b -> Map k a -> b
(bound at Test/GenCheck/Base/LabelledPartition.lhs:131:3)
Test/GenCheck/Base/LabelledPartition.lhs:132:16: error:
• Couldn't match type ‘k’ with ‘k1’
‘k’ is a rigid type variable bound by
the instance declaration
at Test/GenCheck/Base/LabelledPartition.lhs:124:10
‘k1’ is a rigid type variable bound by
the type signature for:
toList :: forall k1. Map k a -> [(k1, a)]
at Test/GenCheck/Base/LabelledPartition.lhs:132:3
Expected type: Map k a -> [(k1, a)]
Actual type: Map k1 a -> [(k1, a)]
• In the expression: Map.toList
In an equation for ‘toList’: toList = Map.toList
In the instance declaration for ‘LabelledPartition (Map k) a’
• Relevant bindings include
toList :: Map k a -> [(k1, a)]
(bound at Test/GenCheck/Base/LabelledPartition.lhs:132:3)
cabal: Leaving directory '/tmp/cabal-tmp-14173/gencheck-0.1'
cabal: Error: some packages failed to install:
gencheck-0.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.