Resolving dependencies... Configuring applicative-extras-0.1.8... Configuring base-orphans-0.5.4... Building base-orphans-0.5.4... Building applicative-extras-0.1.8... Installed base-orphans-0.5.4 Configuring bzlib-0.5.0.5... Configuring cereal-0.5.4.0... Installed applicative-extras-0.1.8 Building bzlib-0.5.0.5... Building cereal-0.5.4.0... Configuring call-stack-0.1.0... Installed bzlib-0.5.0.5 Building call-stack-0.1.0... Configuring data-default-class-0.1.2.0... Installed call-stack-0.1.0 Building data-default-class-0.1.2.0... Configuring dlist-0.8.0.2... Installed cereal-0.5.4.0 Building dlist-0.8.0.2... Configuring clock-0.7.2... Installed data-default-class-0.1.2.0 Building clock-0.7.2... Configuring entropy-0.3.7... Installed dlist-0.8.0.2 Configuring fmlist-0.9... Installed clock-0.7.2 Building fmlist-0.9... Configuring generic-deriving-1.11.1... Installed fmlist-0.9 Building generic-deriving-1.11.1... Building entropy-0.3.7... Configuring mtl-2.2.1... Installed entropy-0.3.7 Building mtl-2.2.1... Configuring old-locale-1.0.0.7... Installed mtl-2.2.1 Building old-locale-1.0.0.7... Configuring prelude-extras-0.4.0.3... Installed old-locale-1.0.0.7 Building prelude-extras-0.4.0.3... Configuring network-2.6.3.1... Installed prelude-extras-0.4.0.3 Building network-2.6.3.1... Configuring primitive-0.6.1.0... Installed generic-deriving-1.11.1 Building primitive-0.6.1.0... Configuring random-1.1... Installed primitive-0.6.1.0 Building random-1.1... Configuring safe-0.3.10... Installed network-2.6.3.1 Building safe-0.3.10... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring semigroups-0.18.2... Installed safe-0.3.10 Building semigroups-0.18.2... Configuring syb-0.6... Installed semigroups-0.18.2 Building syb-0.6... Configuring transformers-compat-0.5.1.4... Installed stm-2.4.4.1 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.1... Installed transformers-compat-0.5.1.4 Building text-1.2.2.1... Configuring utf8-string-1.0.1.1... Installed syb-0.6 Building utf8-string-1.0.1.1... Configuring zlib-0.6.1.2... Installed utf8-string-1.0.1.1 Building zlib-0.6.1.2... Installed zlib-0.6.1.2 Configuring data-default-instances-containers-0.0.1... Building data-default-instances-containers-0.0.1... Configuring data-default-instances-dlist-0.0.1... Installed data-default-instances-containers-0.0.1 Building data-default-instances-dlist-0.0.1... Configuring HUnit-1.5.0.0... Installed data-default-instances-dlist-0.0.1 Building HUnit-1.5.0.0... Configuring extra-1.5.1... Installed text-1.2.2.1 Building extra-1.5.1... Configuring regex-base-0.93.2... Installed HUnit-1.5.0.0 Building regex-base-0.93.2... Configuring data-default-instances-old-locale-0.0.1... Installed regex-base-0.93.2 Configuring old-time-1.1.0.3... Installed extra-1.5.1 Building data-default-instances-old-locale-0.0.1... Configuring StateVar-1.1.0.4... Installed data-default-instances-old-locale-0.0.1 Building old-time-1.1.0.3... Building StateVar-1.1.0.4... Configuring MonadRandom-0.4.2.3... Installed StateVar-1.1.0.4 Building MonadRandom-0.4.2.3... Configuring vector-0.11.0.0... Installed old-time-1.1.0.3 Building vector-0.11.0.0... Configuring exceptions-0.8.3... Installed MonadRandom-0.4.2.3 Building exceptions-0.8.3... Configuring tagged-0.8.5... Installed exceptions-0.8.3 Building tagged-0.8.5... Configuring mmorph-1.0.9... Installed tagged-0.8.5 Building mmorph-1.0.9... Configuring transformers-base-0.4.4... Installed mmorph-1.0.9 Building transformers-base-0.4.4... Configuring set-extra-1.4... Installed transformers-base-0.4.4 Building set-extra-1.4... Installed set-extra-1.4 Configuring hashable-1.2.4.0... Building hashable-1.2.4.0... Configuring parsec-3.1.11... Installed hashable-1.2.4.0 Building parsec-3.1.11... Configuring polyparse-1.12... Installed vector-0.11.0.0 Building polyparse-1.12... Configuring data-default-0.7.1.1... Installed parsec-3.1.11 Building data-default-0.7.1.1... Configuring PropLogic-0.9.0.4... Installed data-default-0.7.1.1 Building PropLogic-0.9.0.4... Configuring regex-posix-0.95.2... Installed polyparse-1.12 Building regex-posix-0.95.2... Configuring crypto-api-0.13.2... Installed regex-posix-0.95.2 Building crypto-api-0.13.2... Configuring monad-control-1.0.1.0... Installed crypto-api-0.13.2 Configuring distributive-0.5.0.2... Installed PropLogic-0.9.0.4 Building monad-control-1.0.1.0... Installed monad-control-1.0.1.0 Configuring void-0.7.1... Building void-0.7.1... Building distributive-0.5.0.2... Configuring safecopy-0.9.2... Installed void-0.7.1 Building safecopy-0.9.2... Configuring ListLike-4.5... Installed distributive-0.5.0.2 Building ListLike-4.5... Configuring network-uri-2.6.1.0... Installed safecopy-0.9.2 Building network-uri-2.6.1.0... Configuring atp-haskell-1.14... Installed ListLike-4.5 Building atp-haskell-1.14... Configuring regex-tdfa-1.2.2... Installed network-uri-2.6.1.0 Building regex-tdfa-1.2.2... Configuring regex-compat-0.95.1... Installed regex-tdfa-1.2.2 Building regex-compat-0.95.1... Configuring pureMD5-2.1.3... Installed regex-compat-0.95.1 Building pureMD5-2.1.3... Configuring HaXml-1.25.3... Installed pureMD5-2.1.3 Building HaXml-1.25.3... Configuring contravariant-1.4... Installed HaXml-1.25.3 Building contravariant-1.4... Configuring process-extras-0.7.1... Installed contravariant-1.4 Building process-extras-0.7.1... Configuring comonad-5... Installed process-extras-0.7.1 Building comonad-5... Configuring Unixutils-1.54.1... Installed atp-haskell-1.14 Building Unixutils-1.54.1... Configuring logic-classes-1.7.1... Installed comonad-5 Building logic-classes-1.7.1... Installed Unixutils-1.54.1 Configuring bifunctors-5.4.1... Building bifunctors-5.4.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-4820/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-4820/logic-classes-1.7.1' Installed bifunctors-5.4.1 Configuring profunctors-5.2... Configuring semigroupoids-5.1... Building profunctors-5.2... Building semigroupoids-5.1... Installed profunctors-5.2 Installed semigroupoids-5.1 Configuring free-4.12.4... Building free-4.12.4... Installed free-4.12.4 Configuring either-4.4.1.1... Building either-4.4.1.1... Installed either-4.4.1.1 Configuring debian-3.91.2... Building debian-3.91.2... Installed debian-3.91.2 cabal: Error: some packages failed to install: cabal-debian-1.5 depends on logic-classes-1.7.1 which failed to install. logic-classes-1.7.1 failed during the building phase. The exception was: ExitFailure 1