Resolving dependencies...
Configuring mtl-2.2.1...
Configuring generic-deriving-1.11.2...
Building generic-deriving-1.11.2...
Building mtl-2.2.1...
Configuring primitive-0.6.2.0...
Installed mtl-2.2.1
Building primitive-0.6.2.0...
Configuring random-1.1...
Installed primitive-0.6.2.0
Building random-1.1...
Installed random-1.1
Configuring tf-random-0.5...
Building tf-random-0.5...
Installed generic-deriving-1.11.2
Installed tf-random-0.5
Configuring QuickCheck-2.8.2...
Building QuickCheck-2.8.2...
Installed QuickCheck-2.8.2
Downloading smartcheck-0.2.3...
Configuring smartcheck-0.2.3...
Building smartcheck-0.2.3...
Failed to install smartcheck-0.2.3
Build log ( /home/builder/.cabal/logs/smartcheck-0.2.3.log ):
cabal: Entering directory '/tmp/cabal-tmp-5501/smartcheck-0.2.3'
Configuring smartcheck-0.2.3...
Building smartcheck-0.2.3...
Preprocessing library smartcheck-0.2.3...

src/Test/SmartCheck/Types.hs:7:14: warning:
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
[ 1 of 11] Compiling Test.SmartCheck.Types ( src/Test/SmartCheck/Types.hs, dist/build/Test/SmartCheck/Types.o )
[ 2 of 11] Compiling Test.SmartCheck.Test ( src/Test/SmartCheck/Test.hs, dist/build/Test/SmartCheck/Test.o )
[ 3 of 11] Compiling Test.SmartCheck.DataToTree ( src/Test/SmartCheck/DataToTree.hs, dist/build/Test/SmartCheck/DataToTree.o )
[ 4 of 11] Compiling Test.SmartCheck.SmartGen ( src/Test/SmartCheck/SmartGen.hs, dist/build/Test/SmartCheck/SmartGen.o )
[ 5 of 11] Compiling Test.SmartCheck.Matches ( src/Test/SmartCheck/Matches.hs, dist/build/Test/SmartCheck/Matches.o )
[ 6 of 11] Compiling Test.SmartCheck.Args ( src/Test/SmartCheck/Args.hs, dist/build/Test/SmartCheck/Args.o )
[ 7 of 11] Compiling Test.SmartCheck.Render ( src/Test/SmartCheck/Render.hs, dist/build/Test/SmartCheck/Render.o )
[ 8 of 11] Compiling Test.SmartCheck.ConstructorGen ( src/Test/SmartCheck/ConstructorGen.hs, dist/build/Test/SmartCheck/ConstructorGen.o )
[ 9 of 11] Compiling Test.SmartCheck.Extrapolate ( src/Test/SmartCheck/Extrapolate.hs, dist/build/Test/SmartCheck/Extrapolate.o )
[10 of 11] Compiling Test.SmartCheck.Reduce ( src/Test/SmartCheck/Reduce.hs, dist/build/Test/SmartCheck/Reduce.o )
[11 of 11] Compiling Test.SmartCheck  ( src/Test/SmartCheck.hs, dist/build/Test/SmartCheck.o )
Preprocessing executable 'sc-qc' for smartcheck-0.2.3...
[1 of 1] Compiling Main             ( qc-tests/Tests.hs, dist/build/sc-qc/sc-qc-tmp/Main.o )

qc-tests/Tests.hs:23:10: error:
    • Could not deduce (Generic (Tree a))
        arising from a use of ‘Test.SmartCheck.Types.$dmsubTypes’
      from the context: SubTypes a
        bound by the instance declaration at qc-tests/Tests.hs:23:10-42
    • In the expression: Test.SmartCheck.Types.$dmsubTypes @Tree a
      In an equation for ‘subTypes’:
          subTypes = Test.SmartCheck.Types.$dmsubTypes @Tree a
      In the instance declaration for ‘SubTypes (Tree a)’

qc-tests/Tests.hs:23:10: error:
    • Could not deduce (Generic (Tree a))
        arising from a use of ‘Test.SmartCheck.Types.$dmreplaceChild’
      from the context: SubTypes a
        bound by the instance declaration at qc-tests/Tests.hs:23:10-42
      or from: Data.Typeable.Internal.Typeable b
        bound by the type signature for:
                   replaceChild :: Data.Typeable.Internal.Typeable b =>
                                   Tree a -> Forest Subst -> b -> Maybe (Tree a)
        at qc-tests/Tests.hs:23:10-42
    • In the expression: Test.SmartCheck.Types.$dmreplaceChild @Tree a
      In an equation for ‘replaceChild’:
          replaceChild = Test.SmartCheck.Types.$dmreplaceChild @Tree a
      In the instance declaration for ‘SubTypes (Tree a)’

qc-tests/Tests.hs:23:10: error:
    • Could not deduce (Generic (Tree a))
        arising from a use of ‘Test.SmartCheck.Types.$dmtoConstr’
      from the context: SubTypes a
        bound by the instance declaration at qc-tests/Tests.hs:23:10-42
    • In the expression: Test.SmartCheck.Types.$dmtoConstr @Tree a
      In an equation for ‘toConstr’:
          toConstr = Test.SmartCheck.Types.$dmtoConstr @Tree a
      In the instance declaration for ‘SubTypes (Tree a)’

qc-tests/Tests.hs:23:10: error:
    • Could not deduce (Generic (Tree a))
        arising from a use of ‘Test.SmartCheck.Types.$dmshowForest’
      from the context: SubTypes a
        bound by the instance declaration at qc-tests/Tests.hs:23:10-42
    • In the expression: Test.SmartCheck.Types.$dmshowForest @Tree a
      In an equation for ‘showForest’:
          showForest = Test.SmartCheck.Types.$dmshowForest @Tree a
      In the instance declaration for ‘SubTypes (Tree a)’
cabal: Leaving directory '/tmp/cabal-tmp-5501/smartcheck-0.2.3'
cabal: Error: some packages failed to install:
smartcheck-0.2.3 failed during the building phase. The exception was:
ExitFailure 1