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