[all reports]
Package |
monadiccp-gecode-0.1.3 |
Install |
DependencyFailed monadiccp-gecode-0.1.3 |
Docs |
NotTried |
Tests |
NotTried |
Time submitted |
2018-05-30 14:22:27.433130199 UTC
|
Compiler |
ghc-8.2.2 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
base-4.10.1.0, containers-0.5.10.2, monadiccp-0.7.6, mtl-2.2.1 |
Flags |
-debug
|
Build log
[view raw]
Resolving dependencies...
Configuring monadiccp-0.7.6...
Building monadiccp-0.7.6...
Failed to install monadiccp-0.7.6
Build log ( /home/builder/.cabal/logs/ghc-8.2.2/monadiccp-0.7.6-FAYzWdKfm5ULDiAM6D5IUT.log ):
cabal: Entering directory '/tmp/cabal-tmp-9843/monadiccp-0.7.6'
Configuring monadiccp-0.7.6...
Preprocessing library for monadiccp-0.7.6..
Building library for monadiccp-0.7.6..
Control/Search/Generator.hs:9:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
|
9 | {-# LANGUAGE OverlappingInstances #-}
| ^^^^^^^^^^^^^^^^^^^^
Control/Search/Memo.hs:3:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
|
3 | {-# LANGUAGE OverlappingInstances #-}
| ^^^^^^^^^^^^^^^^^^^^
Control/Search/Constraints.hs:8:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
|
8 | {-# LANGUAGE OverlappingInstances #-}
| ^^^^^^^^^^^^^^^^^^^^
Control/Monatron/AutoLift.hs:1:12: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
|
1 | {-# OPTIONS
| ^...
Control/Monatron/Zipper.hs:9:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
|
9 | {-# LANGUAGE OverlappingInstances #-}
| ^^^^^^^^^^^^^^^^^^^^
Control/Monatron/Open.hs:4:14: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
|
4 | {-# LANGUAGE OverlappingInstances #-}
| ^^^^^^^^^^^^^^^^^^^^
Control/Monatron/AutoInstances.hs:1:12: warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
|
1 | {-# OPTIONS
| ^...
[ 1 of 63] Compiling Control.CP.Debug ( Control/CP/Debug.hs, dist/build/Control/CP/Debug.o )
[ 2 of 63] Compiling Control.CP.FD.OvertonFD.Domain ( Control/CP/FD/OvertonFD/Domain.hs, dist/build/Control/CP/FD/OvertonFD/Domain.o )
[ 3 of 63] Compiling Control.CP.PriorityQueue ( Control/CP/PriorityQueue.hs, dist/build/Control/CP/PriorityQueue.o )
[ 4 of 63] Compiling Control.CP.Queue ( Control/CP/Queue.hs, dist/build/Control/CP/Queue.o )
[ 5 of 63] Compiling Control.CP.Solver ( Control/CP/Solver.hs, dist/build/Control/CP/Solver.o )
Control/CP/Solver.hs:31:1: warning: [-Wtabs]
Tab character found here, and in 31 further locations.
Please use spaces instead.
|
31 | -- | the constraints
| ^^^^^^^^
[ 6 of 63] Compiling Control.Mixin.Mixin ( Control/Mixin/Mixin.hs, dist/build/Control/Mixin/Mixin.o )
Control/Mixin/Mixin.hs:30:1: warning: [-Wtabs]
Tab character found here, and in one further location.
Please use spaces instead.
|
30 | -> a -- the 'this' function
| ^^^^^^^^
[ 7 of 63] Compiling Control.CP.SearchTree ( Control/CP/SearchTree.hs, dist/build/Control/CP/SearchTree.o )
Control/CP/SearchTree.hs:89:10: error:
• Could not deduce (Applicative (Tree s))
arising from the superclasses of an instance declaration
from the context: Solver s
bound by the instance declaration
at Control/CP/SearchTree.hs:89:10-35
• In the instance declaration for ‘Monad (Tree s)’
|
89 | instance Solver s => Monad (Tree s) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-9843/monadiccp-0.7.6'
cabal: Error: some packages failed to install:
monadiccp-0.7.6-FAYzWdKfm5ULDiAM6D5IUT failed during the building phase. The
exception was:
ExitFailure 1
monadiccp-gecode-0.1.3-HrETLtg13PTKQpgBIzrTRY depends on
monadiccp-gecode-0.1.3 which failed to install.