Build #8 for cabal-debian-1.5

[all reports]

Package cabal-debian-1.5
Install DependencyFailed logic-classes-1.7.1
Docs NotTried
Tests NotTried
Time submitted 2016-12-26 06:24:49.52598 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies Cabal-1.24.0.0, Unixutils-1.54.1, base-4.9.0.0, bytestring-0.10.8.1, containers-0.5.7.1, debian-3.91.2, directory-1.2.6.2, filepath-1.4.1.0, logic-classes-1.7.1, mtl-2.2.1, parsec-3.1.11, pretty-1.1.3.3, process-1.4.2.0, regex-tdfa-1.2.2, unix-2.7.2.0, utf8-string-1.0.1.1
Flags cabal19

Build log

[view raw]

Resolving dependencies...
Configuring applicative-extras-0.1.8...
Configuring base-orphans-0.5.4...
Building base-orphans-0.5.4...
Building applicative-extras-0.1.8...
Installed base-orphans-0.5.4
Configuring bzlib-0.5.0.5...
Configuring cereal-0.5.4.0...
Installed applicative-extras-0.1.8
Building bzlib-0.5.0.5...
Building cereal-0.5.4.0...
Configuring call-stack-0.1.0...
Installed bzlib-0.5.0.5
Building call-stack-0.1.0...
Configuring data-default-class-0.1.2.0...
Installed call-stack-0.1.0
Building data-default-class-0.1.2.0...
Configuring dlist-0.8.0.2...
Installed cereal-0.5.4.0
Building dlist-0.8.0.2...
Configuring clock-0.7.2...
Installed data-default-class-0.1.2.0
Building clock-0.7.2...
Configuring entropy-0.3.7...
Installed dlist-0.8.0.2
Configuring fmlist-0.9...
Installed clock-0.7.2
Building fmlist-0.9...
Configuring generic-deriving-1.11.1...
Installed fmlist-0.9
Building generic-deriving-1.11.1...
Building entropy-0.3.7...
Configuring mtl-2.2.1...
Installed entropy-0.3.7
Building mtl-2.2.1...
Configuring old-locale-1.0.0.7...
Installed mtl-2.2.1
Building old-locale-1.0.0.7...
Configuring prelude-extras-0.4.0.3...
Installed old-locale-1.0.0.7
Building prelude-extras-0.4.0.3...
Configuring network-2.6.3.1...
Installed prelude-extras-0.4.0.3
Building network-2.6.3.1...
Configuring primitive-0.6.1.0...
Installed generic-deriving-1.11.1
Building primitive-0.6.1.0...
Configuring random-1.1...
Installed primitive-0.6.1.0
Building random-1.1...
Configuring safe-0.3.10...
Installed network-2.6.3.1
Building safe-0.3.10...
Configuring stm-2.4.4.1...
Installed random-1.1
Building stm-2.4.4.1...
Configuring semigroups-0.18.2...
Installed safe-0.3.10
Building semigroups-0.18.2...
Configuring syb-0.6...
Installed semigroups-0.18.2
Building syb-0.6...
Configuring transformers-compat-0.5.1.4...
Installed stm-2.4.4.1
Building transformers-compat-0.5.1.4...
Configuring text-1.2.2.1...
Installed transformers-compat-0.5.1.4
Building text-1.2.2.1...
Configuring utf8-string-1.0.1.1...
Installed syb-0.6
Building utf8-string-1.0.1.1...
Configuring zlib-0.6.1.2...
Installed utf8-string-1.0.1.1
Building zlib-0.6.1.2...
Installed zlib-0.6.1.2
Configuring data-default-instances-containers-0.0.1...
Building data-default-instances-containers-0.0.1...
Configuring data-default-instances-dlist-0.0.1...
Installed data-default-instances-containers-0.0.1
Building data-default-instances-dlist-0.0.1...
Configuring HUnit-1.5.0.0...
Installed data-default-instances-dlist-0.0.1
Building HUnit-1.5.0.0...
Configuring extra-1.5.1...
Installed text-1.2.2.1
Building extra-1.5.1...
Configuring regex-base-0.93.2...
Installed HUnit-1.5.0.0
Building regex-base-0.93.2...
Configuring data-default-instances-old-locale-0.0.1...
Installed regex-base-0.93.2
Configuring old-time-1.1.0.3...
Installed extra-1.5.1
Building data-default-instances-old-locale-0.0.1...
Configuring StateVar-1.1.0.4...
Installed data-default-instances-old-locale-0.0.1
Building old-time-1.1.0.3...
Building StateVar-1.1.0.4...
Configuring MonadRandom-0.4.2.3...
Installed StateVar-1.1.0.4
Building MonadRandom-0.4.2.3...
Configuring vector-0.11.0.0...
Installed old-time-1.1.0.3
Building vector-0.11.0.0...
Configuring exceptions-0.8.3...
Installed MonadRandom-0.4.2.3
Building exceptions-0.8.3...
Configuring tagged-0.8.5...
Installed exceptions-0.8.3
Building tagged-0.8.5...
Configuring mmorph-1.0.9...
Installed tagged-0.8.5
Building mmorph-1.0.9...
Configuring transformers-base-0.4.4...
Installed mmorph-1.0.9
Building transformers-base-0.4.4...
Configuring set-extra-1.4...
Installed transformers-base-0.4.4
Building set-extra-1.4...
Installed set-extra-1.4
Configuring hashable-1.2.4.0...
Building hashable-1.2.4.0...
Configuring parsec-3.1.11...
Installed hashable-1.2.4.0
Building parsec-3.1.11...
Configuring polyparse-1.12...
Installed vector-0.11.0.0
Building polyparse-1.12...
Configuring data-default-0.7.1.1...
Installed parsec-3.1.11
Building data-default-0.7.1.1...
Configuring PropLogic-0.9.0.4...
Installed data-default-0.7.1.1
Building PropLogic-0.9.0.4...
Configuring regex-posix-0.95.2...
Installed polyparse-1.12
Building regex-posix-0.95.2...
Configuring crypto-api-0.13.2...
Installed regex-posix-0.95.2
Building crypto-api-0.13.2...
Configuring monad-control-1.0.1.0...
Installed crypto-api-0.13.2
Configuring distributive-0.5.0.2...
Installed PropLogic-0.9.0.4
Building monad-control-1.0.1.0...
Installed monad-control-1.0.1.0
Configuring void-0.7.1...
Building void-0.7.1...
Building distributive-0.5.0.2...
Configuring safecopy-0.9.2...
Installed void-0.7.1
Building safecopy-0.9.2...
Configuring ListLike-4.5...
Installed distributive-0.5.0.2
Building ListLike-4.5...
Configuring network-uri-2.6.1.0...
Installed safecopy-0.9.2
Building network-uri-2.6.1.0...
Configuring atp-haskell-1.14...
Installed ListLike-4.5
Building atp-haskell-1.14...
Configuring regex-tdfa-1.2.2...
Installed network-uri-2.6.1.0
Building regex-tdfa-1.2.2...
Configuring regex-compat-0.95.1...
Installed regex-tdfa-1.2.2
Building regex-compat-0.95.1...
Configuring pureMD5-2.1.3...
Installed regex-compat-0.95.1
Building pureMD5-2.1.3...
Configuring HaXml-1.25.3...
Installed pureMD5-2.1.3
Building HaXml-1.25.3...
Configuring contravariant-1.4...
Installed HaXml-1.25.3
Building contravariant-1.4...
Configuring process-extras-0.7.1...
Installed contravariant-1.4
Building process-extras-0.7.1...
Configuring comonad-5...
Installed process-extras-0.7.1
Building comonad-5...
Configuring Unixutils-1.54.1...
Installed atp-haskell-1.14
Building Unixutils-1.54.1...
Configuring logic-classes-1.7.1...
Installed comonad-5
Building logic-classes-1.7.1...
Installed Unixutils-1.54.1
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Failed to install logic-classes-1.7.1
Build log ( /home/builder/.cabal/logs/logic-classes-1.7.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-4820/logic-classes-1.7.1'
Configuring logic-classes-1.7.1...
Building logic-classes-1.7.1...
Preprocessing library logic-classes-1.7.1...
[ 1 of 18] Compiling Data.Logic.Types.FirstOrder ( Data/Logic/Types/FirstOrder.hs, dist/build/Data/Logic/Types/FirstOrder.o )

Data/Logic/Types/FirstOrder.hs:179:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy BinOp
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

Data/Logic/Types/FirstOrder.hs:180:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy Quant
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

Data/Logic/Types/FirstOrder.hs:184:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy V
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.
[ 2 of 18] Compiling Data.Logic.Types.FirstOrderPublic ( Data/Logic/Types/FirstOrderPublic.hs, dist/build/Data/Logic/Types/FirstOrderPublic.o )
[ 3 of 18] Compiling Data.Logic.Normal.Implicative ( Data/Logic/Normal/Implicative.hs, dist/build/Data/Logic/Normal/Implicative.o )
[ 4 of 18] Compiling Data.Logic.Normal.Clause ( Data/Logic/Normal/Clause.hs, dist/build/Data/Logic/Normal/Clause.o )
[ 5 of 18] Compiling Data.Logic.Instances.Test ( Data/Logic/Instances/Test.hs, dist/build/Data/Logic/Instances/Test.o )

Data/Logic/Instances/Test.hs:23:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘next’

Data/Logic/Instances/Test.hs:33:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy BinOp
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

Data/Logic/Instances/Test.hs:34:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy Quant
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

Data/Logic/Instances/Test.hs:35:3: warning: [-Worphans]
    Orphan instance:
      instance safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy Predicate
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

Data/Logic/Instances/Test.hs:36:3: warning: [-Worphans]
    Orphan instance:
      instance (safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy
                  function_azcf,
                safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy v_azcg) =>
               safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy
                 (Term function_azcf v_azcg)
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

Data/Logic/Instances/Test.hs:37:3: warning: [-Worphans]
    Orphan instance:
      instance (safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy
                  predicate_azfh,
                safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy term_azfi) =>
               safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy
                 (FOL predicate_azfh term_azfi)
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

Data/Logic/Instances/Test.hs:38:3: warning: [-Worphans]
    Orphan instance:
      instance (safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy v_aziP,
                safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy atom_aziQ) =>
               safecopy-0.9.2:Data.SafeCopy.SafeCopy.SafeCopy
                 (QFormula v_aziP atom_aziQ)
    To avoid this
        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.
[ 6 of 18] Compiling Data.Logic.Instances.PropLogic ( Data/Logic/Instances/PropLogic.hs, dist/build/Data/Logic/Instances/PropLogic.o )
[ 7 of 18] Compiling Data.Logic.Satisfiable ( Data/Logic/Satisfiable.hs, dist/build/Data/Logic/Satisfiable.o )
[ 8 of 18] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o )
[ 9 of 18] Compiling Data.Logic.Harrison.Formulas.FirstOrder ( Data/Logic/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Harrison/Formulas/FirstOrder.o )
[10 of 18] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o )
[11 of 18] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o )
[12 of 18] Compiling Data.Logic.Instances.Chiou ( Data/Logic/Instances/Chiou.hs, dist/build/Data/Logic/Instances/Chiou.o )

Data/Logic/Instances/Chiou.hs:81:10: error:
    • Could not deduce (IsPredicate p)
        arising from the superclasses of an instance declaration
      from the context: (IsLiteral (Sentence v p f),
                         IsFunction f,
                         IsVariable v,
                         Ord p)
        bound by the instance declaration
        at Data/Logic/Instances/Chiou.hs:(81,10)-(82,74)
      Possible fix:
        add (IsPredicate p) to the context of the instance declaration
    • In the instance declaration for ‘IsFormula (Sentence v p f)’

Data/Logic/Instances/Chiou.hs:99:10: error:
    • Could not deduce (IsPredicate p)
        arising from the superclasses of an instance declaration
      from the context: (IsPropositional (Sentence v p f),
                         IsVariable v,
                         IsFunction f)
        bound by the instance declaration
        at Data/Logic/Instances/Chiou.hs:(99,10)-(100,73)
      Possible fix:
        add (IsPredicate p) to the context of the instance declaration
    • In the instance declaration for
        ‘IsPropositional (Sentence v p f)’
cabal: Leaving directory '/tmp/cabal-tmp-4820/logic-classes-1.7.1'
Installed bifunctors-5.4.1
Configuring profunctors-5.2...
Configuring semigroupoids-5.1...
Building profunctors-5.2...
Building semigroupoids-5.1...
Installed profunctors-5.2
Installed semigroupoids-5.1
Configuring free-4.12.4...
Building free-4.12.4...
Installed free-4.12.4
Configuring either-4.4.1.1...
Building either-4.4.1.1...
Installed either-4.4.1.1
Configuring debian-3.91.2...
Building debian-3.91.2...
Installed debian-3.91.2
cabal: Error: some packages failed to install:
cabal-debian-1.5 depends on logic-classes-1.7.1 which failed to install.
logic-classes-1.7.1 failed during the building phase. The exception was:
ExitFailure 1