Build #1 for smartcheck-0.2.3
| Package | smartcheck-0.2.3 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2017-08-08 23:42:37.050281705 UTC |
|---|---|
| Compiler | ghc-8.0.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.8.2, base-4.9.1.0, containers-0.5.7.1, generic-deriving-1.11.2, ghc-prim-0.5.0.0, mtl-2.2.1, random-1.1, QuickCheck-2.8.2, base-4.9.1.0, containers-0.5.7.1, generic-deriving-1.11.2, ghc-prim-0.5.0.0, mtl-2.2.1, random-1.1 |
| Flags | -regression-flag |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.