Build #7 for monadiccp-gecode-0.1.2
| Package | monadiccp-gecode-0.1.2 |
|---|
| Install | DependencyFailed monadiccp-0.7.6 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-18 21:26:05.217062 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, containers-0.5.7.1, monadiccp-0.7.6, mtl-2.2.1 |
| Flags | -debug |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring mtl-2.2.1...
Configuring random-1.1...
Building mtl-2.2.1...
Building random-1.1...
Installed random-1.1
Configuring text-1.2.2.1...
Building text-1.2.2.1...
Installed mtl-2.2.1
Installed text-1.2.2.1
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Installed parsec-3.1.11
Downloading monadiccp-0.7.6...
Configuring monadiccp-0.7.6...
Building monadiccp-0.7.6...
Failed to install monadiccp-0.7.6
Build log ( /home/builder/.cabal/logs/monadiccp-0.7.6.log ):
cabal: Entering directory '/tmp/cabal-tmp-10011/monadiccp-0.7.6'
Configuring monadiccp-0.7.6...
Building monadiccp-0.7.6...
Preprocessing library monadiccp-0.7.6...
Control/Search/Generator.hs:9:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
Control/Search/Memo.hs:3:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
Control/Search/Constraints.hs:8:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
Control/Monatron/AutoLift.hs:1:12: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
Control/Monatron/Zipper.hs:9:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
Control/Monatron/Open.hs:4:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
Control/Monatron/AutoInstances.hs:1:12: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
[ 1 of 63] Compiling Language.CPP.Syntax.AST ( Language/CPP/Syntax/AST.hs, dist/build/Language/CPP/Syntax/AST.o )
[ 2 of 63] Compiling Language.CPP.Pretty ( Language/CPP/Pretty.hs, dist/build/Language/CPP/Pretty.o )
[ 3 of 63] Compiling Data.Linear ( Data/Linear.hs, dist/build/Data/Linear.o )
[ 4 of 63] Compiling Data.Expr.Data ( Data/Expr/Data.hs, dist/build/Data/Expr/Data.o )
[ 5 of 63] Compiling Data.Expr.Util ( Data/Expr/Util.hs, dist/build/Data/Expr/Util.o )
[ 6 of 63] Compiling Data.Expr.Sugar ( Data/Expr/Sugar.hs, dist/build/Data/Expr/Sugar.o )
[ 7 of 63] Compiling Control.Search.Language ( Control/Search/Language.hs, dist/build/Control/Search/Language.o )
Control/Search/Language.hs:357:8: error:
• Ambiguous type variable ‘t0’ arising from a use of ‘foldr’
prevents the constraint ‘(Foldable t0)’ from being solved.
Relevant bindings include
seqs :: t0 Statement -> Statement
(bound at Control/Search/Language.hs:357:1)
Probable fix: use a type annotation to specify what ‘t0’ should be.
These potential instances exist:
instance Foldable (Either a) -- Defined in ‘Data.Foldable’
instance Foldable Dual -- Defined in ‘Data.Foldable’
instance Foldable First -- Defined in ‘Data.Foldable’
...plus 7 others
...plus 29 instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the expression: foldr (>>>) Skip
In an equation for ‘seqs’: seqs = foldr (>>>) Skip
cabal: Leaving directory '/tmp/cabal-tmp-10011/monadiccp-0.7.6'
cabal: Error: some packages failed to install:
monadiccp-0.7.6 failed during the building phase. The exception was:
ExitFailure 1
monadiccp-gecode-0.1.2 depends on monadiccp-0.7.6 which failed to install.
Test log
No test log was submitted for this report.