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.