Resolving dependencies... Configuring applicative-extras-0.1.8... Configuring call-stack-0.1.0... Building applicative-extras-0.1.8... Building call-stack-0.1.0... Installed call-stack-0.1.0 Configuring cereal-0.5.4.0... Configuring clock-0.7.2... Installed applicative-extras-0.1.8 Building cereal-0.5.4.0... 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 mtl-2.2.1 Building random-1.1... Configuring primitive-0.6.1.0... Installed old-locale-1.0.0.7 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 Building syb-0.6... Configuring text-1.2.2.1... Installed safe-0.3.10 Building text-1.2.2.1... Installed syb-0.6 Configuring HUnit-1.5.0.0... Building HUnit-1.5.0.0... Installed HUnit-1.5.0.0 Configuring extra-1.5.1... Building extra-1.5.1... Configuring old-time-1.1.0.3... Installed extra-1.5.1 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... 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 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 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-31273/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-31273/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