Build #7 for logic-classes-1.4.6
| Package | logic-classes-1.4.6 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-24 18:12:36.613521 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, base-4.9.0.0, containers-0.5.7.1, fgl-5.5.3.0, incremental-sat-solver-0.1.8, mtl-2.2.1, pretty-1.1.3.3, safecopy-0.9.2, set-extra-1.4, syb-0.6, syb-with-class-0.6.1.7, template-haskell-2.11.0.0, text-1.2.2.1, HUnit-1.5.0.0, PropLogic-0.9.0.4, applicative-extras-0.1.8, base-4.9.0.0, containers-0.5.7.1, incremental-sat-solver-0.1.8, mtl-2.2.1, pretty-1.1.3.3, safecopy-0.9.2, set-extra-1.4, syb-0.6, template-haskell-2.11.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring applicative-extras-0.1.8...
Configuring call-stack-0.1.0...
Building call-stack-0.1.0...
Building applicative-extras-0.1.8...
Installed call-stack-0.1.0
Configuring cereal-0.5.4.0...
Configuring fgl-5.5.3.0...
Installed applicative-extras-0.1.8
Building cereal-0.5.4.0...
Building fgl-5.5.3.0...
Configuring mtl-2.2.1...
Installed cereal-0.5.4.0
Building mtl-2.2.1...
Configuring old-locale-1.0.0.7...
Installed fgl-5.5.3.0
Building old-locale-1.0.0.7...
Configuring primitive-0.6.1.0...
Installed mtl-2.2.1
Configuring random-1.1...
Installed old-locale-1.0.0.7
Building primitive-0.6.1.0...
Building random-1.1...
Configuring syb-0.6...
Installed random-1.1
Building syb-0.6...
Configuring syb-with-class-0.6.1.7...
Installed primitive-0.6.1.0
Building syb-with-class-0.6.1.7...
Configuring text-1.2.2.1...
Installed syb-0.6
Building text-1.2.2.1...
Configuring HUnit-1.5.0.0...
Installed syb-with-class-0.6.1.7
Building HUnit-1.5.0.0...
Installed HUnit-1.5.0.0
Configuring incremental-sat-solver-0.1.8...
Building incremental-sat-solver-0.1.8...
Configuring old-time-1.1.0.3...
Installed incremental-sat-solver-0.1.8
Building old-time-1.1.0.3...
Configuring set-extra-1.4...
Installed text-1.2.2.1
Building set-extra-1.4...
Configuring vector-0.11.0.0...
Installed old-time-1.1.0.3
Building vector-0.11.0.0...
Configuring PropLogic-0.9.0.4...
Installed set-extra-1.4
Building PropLogic-0.9.0.4...
Installed PropLogic-0.9.0.4
Installed vector-0.11.0.0
Configuring safecopy-0.9.2...
Building safecopy-0.9.2...
Installed safecopy-0.9.2
Configuring logic-classes-1.4.6...
Building logic-classes-1.4.6...
Failed to install logic-classes-1.4.6
Build log ( /home/builder/.cabal/logs/logic-classes-1.4.6.log ):
cabal: Entering directory '/tmp/cabal-tmp-28413/logic-classes-1.4.6'
Configuring logic-classes-1.4.6...
Building logic-classes-1.4.6...
Preprocessing library logic-classes-1.4.6...
[ 1 of 51] Compiling Data.Logic.Harrison.Lib ( Data/Logic/Harrison/Lib.hs, dist/build/Data/Logic/Harrison/Lib.o )
Data/Logic/Harrison/Lib.hs:1:1: warning: [-Worphans]
Orphan instance: instance Ord a => Ord (Failing a)
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/Harrison/Lib.hs:1:1: warning: [-Worphans]
Orphan instance: instance Eq a => Eq (Failing a)
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/Harrison/Lib.hs:1:1: warning: [-Worphans]
Orphan instance: instance Read a => Read (Failing a)
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/Harrison/Lib.hs:1:1: warning: [-Worphans]
Orphan instance: instance Data a => Data (Failing a)
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/Harrison/Lib.hs:53:1: warning: [-Worphans]
Orphan instance: instance Monad Failing
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/Harrison/Lib.hs:61:19: warning: [-Wdeprecations]
In the use of type constructor or class ‘Typeable1’
(imported from Data.Generics, but defined in Data.Typeable.Internal):
Deprecated: "renamed to 'Typeable'"
[ 2 of 51] Compiling Data.Logic.Classes.Pretty ( Data/Logic/Classes/Pretty.hs, dist/build/Data/Logic/Classes/Pretty.o )
[ 3 of 51] Compiling Data.Logic.Classes.Variable ( Data/Logic/Classes/Variable.hs, dist/build/Data/Logic/Classes/Variable.o )
[ 4 of 51] Compiling Data.Logic.Classes.Skolem ( Data/Logic/Classes/Skolem.hs, dist/build/Data/Logic/Classes/Skolem.o )
[ 5 of 51] Compiling Data.Logic.Classes.Term ( Data/Logic/Classes/Term.hs, dist/build/Data/Logic/Classes/Term.o )
[ 6 of 51] Compiling Data.Logic.Harrison.Unif ( Data/Logic/Harrison/Unif.hs, dist/build/Data/Logic/Harrison/Unif.o )
[ 7 of 51] Compiling Data.Logic.Types.Common ( Data/Logic/Types/Common.hs, dist/build/Data/Logic/Types/Common.o )
Data/Logic/Types/Common.hs:8:1: warning: [-Worphans]
Orphan instance: instance Variable String
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.
[ 8 of 51] Compiling Data.Logic.Classes.Negate ( Data/Logic/Classes/Negate.hs, dist/build/Data/Logic/Classes/Negate.o )
[ 9 of 51] Compiling Data.Logic.Classes.Formula ( Data/Logic/Classes/Formula.hs, dist/build/Data/Logic/Classes/Formula.o )
[10 of 51] Compiling Data.Logic.Classes.Constants ( Data/Logic/Classes/Constants.hs, dist/build/Data/Logic/Classes/Constants.o )
Data/Logic/Classes/Constants.hs:39:1: warning: [-Worphans]
Orphan instance: instance Pretty Bool
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.
[11 of 51] Compiling Data.Logic.Classes.Combine ( Data/Logic/Classes/Combine.hs, dist/build/Data/Logic/Classes/Combine.o )
[12 of 51] Compiling Data.Logic.Classes.Propositional ( Data/Logic/Classes/Propositional.hs, dist/build/Data/Logic/Classes/Propositional.o )
[13 of 51] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o )
[14 of 51] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o )
[15 of 51] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o )
[16 of 51] Compiling Data.Logic.Classes.Arity ( Data/Logic/Classes/Arity.hs, dist/build/Data/Logic/Classes/Arity.o )
[17 of 51] Compiling Data.Logic.Classes.Apply ( Data/Logic/Classes/Apply.hs, dist/build/Data/Logic/Classes/Apply.o )
Data/Logic/Classes/Apply.hs:65:22: warning: [-Wunused-matches]
Defined but not used: ‘prec’
[18 of 51] Compiling Data.Logic.Classes.FirstOrder ( Data/Logic/Classes/FirstOrder.hs, dist/build/Data/Logic/Classes/FirstOrder.o )
[19 of 51] Compiling Data.Logic.Classes.Equals ( Data/Logic/Classes/Equals.hs, dist/build/Data/Logic/Classes/Equals.o )
Data/Logic/Classes/Equals.hs:139:7: warning: [-Wname-shadowing]
This binding for ‘parens’ shadows the existing binding
imported from ‘Text.PrettyPrint’ at Data/Logic/Classes/Equals.hs:34:57-62
(and originally defined in ‘Text.PrettyPrint.HughesPJ’)
[20 of 51] Compiling Data.Logic.Classes.Literal ( Data/Logic/Classes/Literal.hs, dist/build/Data/Logic/Classes/Literal.o )
[21 of 51] Compiling Data.Logic.Harrison.Prop ( Data/Logic/Harrison/Prop.hs, dist/build/Data/Logic/Harrison/Prop.o )
[22 of 51] Compiling Data.Logic.Types.Harrison.Formulas.Propositional ( Data/Logic/Types/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Types/Harrison/Formulas/Propositional.o )
[23 of 51] Compiling Data.Logic.Types.Harrison.Prop ( Data/Logic/Types/Harrison/Prop.hs, dist/build/Data/Logic/Types/Harrison/Prop.o )
Data/Logic/Types/Harrison/Prop.hs:27:1: warning: [-Worphans]
Orphan instance: instance HasFixity String
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/Harrison/Prop.hs:36:1: warning: [-Worphans]
Orphan instance: instance Show (Formula String)
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.
[24 of 51] Compiling Data.Logic.Types.Propositional ( Data/Logic/Types/Propositional.hs, dist/build/Data/Logic/Types/Propositional.o )
[25 of 51] Compiling Data.Logic.Harrison.PropExamples ( Data/Logic/Harrison/PropExamples.hs, dist/build/Data/Logic/Harrison/PropExamples.o )
Data/Logic/Harrison/PropExamples.hs:356:23: error:
• Could not deduce (Num b) arising from the literal ‘0’
from the context: (Bits b, Num a)
bound by the type signature for:
bitlength :: (Bits b, Num a) => b -> a
at Data/Logic/Harrison/PropExamples.hs:355:1-50
Possible fix:
add (Num b) to the context of
the type signature for:
bitlength :: (Bits b, Num a) => b -> a
• In the second argument of ‘(==)’, namely ‘0’
In the expression: x == 0
In the expression: if x == 0 then 0 else 1 + bitlength (shiftR x 1)
cabal: Leaving directory '/tmp/cabal-tmp-28413/logic-classes-1.4.6'
cabal: Error: some packages failed to install:
logic-classes-1.4.6 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.