Build #7 for logic-classes-1.5
| Package | logic-classes-1.5 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-18 01:15:07.817636 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, 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, 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 old-time-1.1.0.3...
Building old-time-1.1.0.3...
Configuring set-extra-1.4...
Installed old-time-1.1.0.3
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...
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.5...
Building logic-classes-1.5...
Failed to install logic-classes-1.5
Build log ( /home/builder/.cabal/logs/logic-classes-1.5.log ):
cabal: Entering directory '/tmp/cabal-tmp-6890/logic-classes-1.5'
Configuring logic-classes-1.5...
Building logic-classes-1.5...
Preprocessing library logic-classes-1.5...
[ 1 of 53] Compiling Data.Logic.Failing ( Data/Logic/Failing.hs, dist/build/Data/Logic/Failing.o )
Data/Logic/Failing.hs:23: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 53] Compiling Data.Logic.Harrison.Lib ( Data/Logic/Harrison/Lib.hs, dist/build/Data/Logic/Harrison/Lib.o )
[ 3 of 53] Compiling Data.Logic.Classes.Pretty ( Data/Logic/Classes/Pretty.hs, dist/build/Data/Logic/Classes/Pretty.o )
[ 4 of 53] Compiling Data.Logic.Classes.Variable ( Data/Logic/Classes/Variable.hs, dist/build/Data/Logic/Classes/Variable.o )
[ 5 of 53] Compiling Data.Logic.Classes.Skolem ( Data/Logic/Classes/Skolem.hs, dist/build/Data/Logic/Classes/Skolem.o )
[ 6 of 53] Compiling Data.Logic.Classes.Term ( Data/Logic/Classes/Term.hs, dist/build/Data/Logic/Classes/Term.o )
[ 7 of 53] Compiling Data.Logic.Harrison.Unif ( Data/Logic/Harrison/Unif.hs, dist/build/Data/Logic/Harrison/Unif.o )
[ 8 of 53] 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.
[ 9 of 53] Compiling Data.Logic.Classes.Negate ( Data/Logic/Classes/Negate.hs, dist/build/Data/Logic/Classes/Negate.o )
[10 of 53] Compiling Data.Logic.Classes.Formula ( Data/Logic/Classes/Formula.hs, dist/build/Data/Logic/Classes/Formula.o )
[11 of 53] 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.
[12 of 53] Compiling Data.Logic.Classes.Combine ( Data/Logic/Classes/Combine.hs, dist/build/Data/Logic/Classes/Combine.o )
[13 of 53] Compiling Data.Logic.Classes.Propositional ( Data/Logic/Classes/Propositional.hs, dist/build/Data/Logic/Classes/Propositional.o )
[14 of 53] Compiling Data.Logic.Classes.Literal ( Data/Logic/Classes/Literal.hs, dist/build/Data/Logic/Classes/Literal.o )
[15 of 53] Compiling Data.Logic.Classes.FirstOrder ( Data/Logic/Classes/FirstOrder.hs, dist/build/Data/Logic/Classes/FirstOrder.o )
[16 of 53] Compiling Data.Logic.Harrison.Formulas.FirstOrder ( Data/Logic/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Harrison/Formulas/FirstOrder.o )
[17 of 53] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o )
[18 of 53] Compiling Data.Logic.Harrison.Prop ( Data/Logic/Harrison/Prop.hs, dist/build/Data/Logic/Harrison/Prop.o )
[19 of 53] Compiling Data.Logic.Types.Harrison.Formulas.FirstOrder ( Data/Logic/Types/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Types/Harrison/Formulas/FirstOrder.o )
[20 of 53] Compiling Data.Logic.Types.Harrison.Formulas.Propositional ( Data/Logic/Types/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Types/Harrison/Formulas/Propositional.o )
[21 of 53] 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.
[22 of 53] Compiling Data.Logic.Types.Propositional ( Data/Logic/Types/Propositional.hs, dist/build/Data/Logic/Types/Propositional.o )
[23 of 53] Compiling Data.Logic.Harrison.PropExamples ( Data/Logic/Harrison/PropExamples.hs, dist/build/Data/Logic/Harrison/PropExamples.o )
Data/Logic/Harrison/PropExamples.hs:55:22: warning: [-Wname-shadowing]
This binding for ‘n’ shadows the existing binding
bound at Data/Logic/Harrison/PropExamples.hs:51:12
Data/Logic/Harrison/PropExamples.hs:178:1: warning: [-Wunused-top-binds]
Defined but not used: ‘halfcarry’
Data/Logic/Harrison/PropExamples.hs:181:1: warning: [-Wunused-top-binds]
Defined but not used: ‘ha’
Data/Logic/Harrison/PropExamples.hs:225:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: test02 :: Test
Data/Logic/Harrison/PropExamples.hs:261:1: warning: [-Wunused-top-binds]
Defined but not used: ‘ripplecarry1’
Data/Logic/Harrison/PropExamples.hs:266:1: warning: [-Wunused-top-binds]
Defined but not used: ‘mux’
Data/Logic/Harrison/PropExamples.hs:269:1: warning: [-Wunused-top-binds]
Defined but not used: ‘offset’
Data/Logic/Harrison/PropExamples.hs:281:1: warning: [-Wunused-top-binds]
Defined but not used: ‘carryselect’
Data/Logic/Harrison/PropExamples.hs:299:1: warning: [-Wunused-top-binds]
Defined but not used: ‘mk_adder_test’
[24 of 53] Compiling Data.Logic.Harrison.DefCNF ( Data/Logic/Harrison/DefCNF.hs, dist/build/Data/Logic/Harrison/DefCNF.o )
[25 of 53] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o )
[26 of 53] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o )
[27 of 53] Compiling Data.Logic.Classes.Arity ( Data/Logic/Classes/Arity.hs, dist/build/Data/Logic/Classes/Arity.o )
[28 of 53] Compiling Data.Logic.Classes.Apply ( Data/Logic/Classes/Apply.hs, dist/build/Data/Logic/Classes/Apply.o )
[29 of 53] 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’)
[30 of 53] Compiling Data.Logic.Harrison.Equal ( Data/Logic/Harrison/Equal.hs, dist/build/Data/Logic/Harrison/Equal.o )
[31 of 53] Compiling Data.Logic.Harrison.FOL ( Data/Logic/Harrison/FOL.hs, dist/build/Data/Logic/Harrison/FOL.o )
Data/Logic/Harrison/FOL.hs:62:1: warning: [-Wunused-top-binds]
Defined but not used: ‘mkLits’
Data/Logic/Harrison/FOL.hs:69:1: warning: [-Wunused-top-binds]
Defined but not used: ‘on_formula’
Data/Logic/Harrison/FOL.hs:232:1: warning: [-Wunused-top-binds]
Defined but not used: ‘fv'’
Data/Logic/Harrison/FOL.hs:272:1: warning: [-Wunused-top-binds]
Defined but not used: ‘subst'’
[32 of 53] Compiling Data.Logic.Harrison.Prolog ( Data/Logic/Harrison/Prolog.hs, dist/build/Data/Logic/Harrison/Prolog.o )
[33 of 53] Compiling Data.Logic.Harrison.Skolem ( Data/Logic/Harrison/Skolem.hs, dist/build/Data/Logic/Harrison/Skolem.o )
[34 of 53] Compiling Data.Logic.Harrison.Normal ( Data/Logic/Harrison/Normal.hs, dist/build/Data/Logic/Harrison/Normal.o )
[35 of 53] Compiling Data.Logic.Normal.Clause ( Data/Logic/Normal/Clause.hs, dist/build/Data/Logic/Normal/Clause.o )
[36 of 53] Compiling Data.Logic.Instances.PropLogic ( Data/Logic/Instances/PropLogic.hs, dist/build/Data/Logic/Instances/PropLogic.o )
Data/Logic/Instances/PropLogic.hs:41:29: warning: [-Wname-shadowing]
This binding for ‘at’ shadows the existing binding
imported from ‘PropLogic’ at Data/Logic/Instances/PropLogic.hs:22:1-16
(and originally defined in ‘PropLogicCore’)
[37 of 53] Compiling Data.Logic.Normal.Implicative ( Data/Logic/Normal/Implicative.hs, dist/build/Data/Logic/Normal/Implicative.o )
[38 of 53] Compiling Data.Logic.Satisfiable ( Data/Logic/Satisfiable.hs, dist/build/Data/Logic/Satisfiable.o )
[39 of 53] Compiling Data.Logic.Resolution ( Data/Logic/Resolution.hs, dist/build/Data/Logic/Resolution.o )
[40 of 53] Compiling Data.Logic.KnowledgeBase ( Data/Logic/KnowledgeBase.hs, dist/build/Data/Logic/KnowledgeBase.o )
[41 of 53] Compiling Data.Logic.Types.Harrison.FOL ( Data/Logic/Types/Harrison/FOL.hs, dist/build/Data/Logic/Types/Harrison/FOL.o )
[42 of 53] Compiling Data.Logic.Tests.HUnit ( Data/Logic/Tests/HUnit.hs, dist/build/Data/Logic/Tests/HUnit.o )
Data/Logic/Tests/HUnit.hs:66:1: warning: [-Worphans]
Orphan instance: instance IsString Function
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.
[43 of 53] Compiling Data.Logic.Harrison.DP ( Data/Logic/Harrison/DP.hs, dist/build/Data/Logic/Harrison/DP.o )
Data/Logic/Harrison/DP.hs:13:1: warning: [-Wunused-imports]
The import of ‘cnf, tautology’
from module ‘Data.Logic.Harrison.Prop’ is redundant
Data/Logic/Harrison/DP.hs:20:1: warning: [-Wunused-imports]
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
Data/Logic/Harrison/DP.hs:22:1: warning: [-Worphans]
Orphan instance: instance NumAtom (Atom N)
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/DP.hs:26:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
tests :: Test.HUnit.Base.Test
Data/Logic/Harrison/DP.hs:54:7: warning: [-Wname-shadowing]
This binding for ‘pure’ shadows the existing binding
imported from ‘Prelude’ at Data/Logic/Harrison/DP.hs:2:8-29
(and originally defined in ‘GHC.Base’)
Data/Logic/Harrison/DP.hs:116:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: test01 :: Test t
Data/Logic/Harrison/DP.hs:164:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: test02 :: Test t
Data/Logic/Harrison/DP.hs:200:13: warning: [-Wunused-local-binds]
Defined but not used: ‘fn'’
Data/Logic/Harrison/DP.hs:205:12: warning: [-Wunused-matches]
Defined but not used: ‘p’
Data/Logic/Harrison/DP.hs:239:12: warning: [-Wunused-matches]
Defined but not used: ‘q’
Data/Logic/Harrison/DP.hs:240:19: warning: [-Wunused-local-binds]
Defined but not used: ‘trail'’
Data/Logic/Harrison/DP.hs:275:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: test03 :: Test t
[44 of 53] Compiling Data.Logic.Harrison.Herbrand ( Data/Logic/Harrison/Herbrand.hs, dist/build/Data/Logic/Harrison/Herbrand.o )
[45 of 53] Compiling Data.Logic.Harrison.Tableaux ( Data/Logic/Harrison/Tableaux.hs, dist/build/Data/Logic/Harrison/Tableaux.o )
Data/Logic/Harrison/Tableaux.hs:15:1: warning: [-Wunused-imports]
The import of ‘Data.Logic.Classes.FirstOrder’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.FirstOrder’
To import instances alone, use: import Data.Logic.Classes.FirstOrder()
Data/Logic/Harrison/Tableaux.hs:19:1: warning: [-Wunused-imports]
The import of ‘Data.Logic.Classes.Propositional’ is redundant
except perhaps to import instances from ‘Data.Logic.Classes.Propositional’
To import instances alone, use: import Data.Logic.Classes.Propositional()
Data/Logic/Harrison/Tableaux.hs:21:1: warning: [-Wunused-imports]
The import of ‘Data.Logic.Harrison.FOL’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.FOL’
To import instances alone, use: import Data.Logic.Harrison.FOL()
Data/Logic/Harrison/Tableaux.hs:22:1: warning: [-Wunused-imports]
The import of ‘Data.Logic.Harrison.Herbrand’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Herbrand’
To import instances alone, use: import Data.Logic.Harrison.Herbrand()
Data/Logic/Harrison/Tableaux.hs:24:1: warning: [-Wunused-imports]
The import of ‘Data.Logic.Harrison.Prop’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Prop’
To import instances alone, use: import Data.Logic.Harrison.Prop()
Data/Logic/Harrison/Tableaux.hs:25:1: warning: [-Wunused-imports]
The import of ‘Data.Logic.Harrison.Skolem’ is redundant
except perhaps to import instances from ‘Data.Logic.Harrison.Skolem’
To import instances alone, use: import Data.Logic.Harrison.Skolem()
Data/Logic/Harrison/Tableaux.hs:80:1: warning: [-Wunused-top-binds]
Defined but not used: ‘unify_complements’
Data/Logic/Harrison/Tableaux.hs:87:1: warning: [-Wunused-top-binds]
Defined but not used: ‘unify_refute’
Data/Logic/Harrison/Tableaux.hs:102:1: warning: [-Wunused-top-binds]
Defined but not used: ‘prawitz_loop’
[46 of 53] Compiling Data.Logic.Harrison.Meson ( Data/Logic/Harrison/Meson.hs, dist/build/Data/Logic/Harrison/Meson.o )
Data/Logic/Harrison/Meson.hs:9:1: warning: [-Wunused-imports]
The import of ‘Constants’
from module ‘Data.Logic.Classes.Constants’ is redundant
[47 of 53] Compiling Data.Logic.Harrison.Resolution ( Data/Logic/Harrison/Resolution.hs, dist/build/Data/Logic/Harrison/Resolution.o )
[48 of 53] Compiling Data.Logic.Types.FirstOrder ( Data/Logic/Types/FirstOrder.hs, dist/build/Data/Logic/Types/FirstOrder.o )
Data/Logic/Types/FirstOrder.hs:18:1: warning: [-Wunused-imports]
The import of ‘.=., pApp’
from module ‘Data.Logic.Classes.Equals’ is redundant
[49 of 53] Compiling Data.Logic.Types.FirstOrderPublic ( Data/Logic/Types/FirstOrderPublic.hs, dist/build/Data/Logic/Types/FirstOrderPublic.o )
[50 of 53] Compiling Data.Logic.Types.Harrison.Equal ( Data/Logic/Types/Harrison/Equal.hs, dist/build/Data/Logic/Types/Harrison/Equal.o )
Data/Logic/Types/Harrison/Equal.hs:19:1: warning: [-Wunused-imports]
The import of ‘foldAtomsFirstOrder, mapAtomsFirstOrder’
from module ‘Data.Logic.Classes.FirstOrder’ is redundant
[51 of 53] Compiling Data.Boolean ( Data/Boolean.hs, dist/build/Data/Boolean.o )
[52 of 53] Compiling Data.Boolean.SatSolver ( Data/Boolean/SatSolver.hs, dist/build/Data/Boolean/SatSolver.o )
Data/Boolean/SatSolver.hs:113:20: error:
• Ambiguous type variable ‘t0’ arising from a use of ‘null’
prevents the constraint ‘(Foldable t0)’ from being solved.
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 8 others
...plus 39 instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the first argument of ‘(.)’, namely ‘null’
In the second argument of ‘(.)’, namely ‘null . solve’
In the expression: not . null . solve
Data/Boolean/SatSolver.hs:113:27: error:
• Ambiguous type variable ‘t0’ arising from a use of ‘solve’
prevents the constraint ‘(MonadPlus t0)’ from being solved.
Probable fix: use a type annotation to specify what ‘t0’ should be.
These potential instances exist:
instance [safe] transformers-0.5.2.0:Control.Monad.Trans.Error.Error
e =>
MonadPlus (Either e)
-- Defined in ‘transformers-0.5.2.0:Control.Monad.Trans.Error’
instance MonadPlus IO -- Defined in ‘GHC.Base’
instance [safe] (Monoid w, MonadPlus m) => MonadPlus (WriterT w m)
-- Defined in ‘transformers-0.5.2.0:Control.Monad.Trans.Writer.Lazy’
...plus two others
...plus 17 instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the second argument of ‘(.)’, namely ‘solve’
In the second argument of ‘(.)’, namely ‘null . solve’
In the expression: not . null . solve
cabal: Leaving directory '/tmp/cabal-tmp-6890/logic-classes-1.5'
cabal: Error: some packages failed to install:
logic-classes-1.5 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.