Build #2 for logic-classes-1.7.1
| Package | logic-classes-1.7.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-20 01:11:51.265839 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | HUnit-1.5.0.0, PropLogic-0.9.0.4, applicative-extras-0.1.8, atp-haskell-1.14, base-4.9.0.0, containers-0.5.7.1, mtl-2.2.1, parsec-3.1.11, pretty-1.1.3.3, safe-0.3.10, safecopy-0.9.2, set-extra-1.4, syb-0.6, template-haskell-2.11.0.0 |
| Flags | -local-atp-haskell |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading applicative-extras-0.1.8...
Configuring call-stack-0.1.0...
Configuring cereal-0.5.4.0...
Building call-stack-0.1.0...
Building cereal-0.5.4.0...
Installed call-stack-0.1.0
Configuring clock-0.7.2...
Building clock-0.7.2...
Configuring mtl-2.2.1...
Installed clock-0.7.2
Building mtl-2.2.1...
Configuring old-locale-1.0.0.7...
Installed cereal-0.5.4.0
Building old-locale-1.0.0.7...
Configuring random-1.1...
Installed old-locale-1.0.0.7
Building random-1.1...
Configuring primitive-0.6.1.0...
Installed mtl-2.2.1
Building primitive-0.6.1.0...
Configuring safe-0.3.10...
Installed random-1.1
Building safe-0.3.10...
Configuring syb-0.6...
Installed primitive-0.6.1.0
Configuring applicative-extras-0.1.8...
Installed safe-0.3.10
Building syb-0.6...
Building applicative-extras-0.1.8...
Configuring text-1.2.2.1...
Installed applicative-extras-0.1.8
Building text-1.2.2.1...
Configuring HUnit-1.5.0.0...
Installed syb-0.6
Downloading set-extra-1.4...
Building HUnit-1.5.0.0...
Installed HUnit-1.5.0.0
Configuring old-time-1.1.0.3...
Building old-time-1.1.0.3...
Configuring extra-1.5.1...
Installed old-time-1.1.0.3
Downloading PropLogic-0.9.0.4...
Building extra-1.5.1...
Configuring set-extra-1.4...
Installed extra-1.5.1
Building set-extra-1.4...
Configuring vector-0.11.0.0...
Installed text-1.2.2.1
Building vector-0.11.0.0...
Installed set-extra-1.4
Configuring PropLogic-0.9.0.4...
Building PropLogic-0.9.0.4...
Configuring parsec-3.1.11...
Installed PropLogic-0.9.0.4
Building parsec-3.1.11...
Installed parsec-3.1.11
Downloading atp-haskell-1.14...
Configuring atp-haskell-1.14...
Building atp-haskell-1.14...
Installed vector-0.11.0.0
Configuring safecopy-0.9.2...
Building safecopy-0.9.2...
Installed safecopy-0.9.2
Installed atp-haskell-1.14
Downloading logic-classes-1.7.1...
Configuring logic-classes-1.7.1...
Building logic-classes-1.7.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-21328/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-21328/logic-classes-1.7.1'
cabal: Error: some packages failed to install:
logic-classes-1.7.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.