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