Build #7 for sbv-2.5
Package | sbv-2.5 |
---|
Install | BuildFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2016-12-23 15:49:13.865407 UTC |
---|---|
Compiler | ghc-8.0.1.20161018 |
OS | linux |
Arch | x86_64 |
Dependencies | QuickCheck-2.9.2, array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.2.6.2, filepath-1.4.1.0, mtl-2.2.1, old-time-1.1.0.3, pretty-1.1.3.3, process-1.4.2.0, random-1.1, syb-0.6, HUnit-1.5.0.0, base-4.9.0.0, directory-1.2.6.2, filepath-1.4.1.0, process-1.4.2.0 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring mtl-2.2.1... Configuring call-stack-0.1.0... Building mtl-2.2.1... Building call-stack-0.1.0... Installed call-stack-0.1.0 Configuring old-locale-1.0.0.7... Building old-locale-1.0.0.7... Installed old-locale-1.0.0.7 Configuring primitive-0.6.2.0... Building primitive-0.6.2.0... Configuring random-1.1... Installed mtl-2.2.1 Building random-1.1... Installed random-1.1 Configuring syb-0.6... Building syb-0.6... Configuring HUnit-1.5.0.0... Installed primitive-0.6.2.0 Building HUnit-1.5.0.0... Configuring old-time-1.1.0.3... Installed syb-0.6 Building old-time-1.1.0.3... Configuring tf-random-0.5... Installed HUnit-1.5.0.0 Building tf-random-0.5... Installed old-time-1.1.0.3 Installed tf-random-0.5 Configuring QuickCheck-2.9.2... Building QuickCheck-2.9.2... Installed QuickCheck-2.9.2 Configuring sbv-2.5... Building sbv-2.5... Failed to install sbv-2.5 Build log ( /home/builder/.cabal/logs/sbv-2.5.log ): cabal: Entering directory '/tmp/cabal-tmp-3375/sbv-2.5' Configuring sbv-2.5... Building sbv-2.5... Preprocessing library sbv-2.5... Data/SBV/Provers/Prover.hs:14:14: warning: -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS [ 1 of 53] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o ) [ 2 of 53] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o ) [ 3 of 53] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o ) [ 4 of 53] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o ) [ 5 of 53] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o ) Data/SBV/BitVectors/Data.hs:659:39: error: • No instance for (Applicative Symbolic) arising from the 'deriving' clause of a data type declaration Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself • When deriving the instance for (Monad Symbolic) cabal: Leaving directory '/tmp/cabal-tmp-3375/sbv-2.5' cabal: Error: some packages failed to install: sbv-2.5 failed during the building phase. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.