Configuring logic-classes-1.4.8... Dependency HUnit ==1.2.5.2: using HUnit-1.2.5.2 Dependency PropLogic ==0.9.0.4: using PropLogic-0.9.0.4 Dependency applicative-extras ==0.1.8: using applicative-extras-0.1.8 Dependency base ==4.6.0.1: using base-4.6.0.1 Dependency containers ==0.5.0.0: using containers-0.5.0.0 Dependency fgl ==5.4.2.4: using fgl-5.4.2.4 Dependency mtl ==2.1.2: using mtl-2.1.2 Dependency pretty ==1.1.1.0: using pretty-1.1.1.0 Dependency safecopy ==0.8.2: using safecopy-0.8.2 Dependency set-extra ==1.3.1: using set-extra-1.3.1 Dependency syb ==0.4.1: using syb-0.4.1 Dependency syb-with-class ==0.6.1.4: using syb-with-class-0.6.1.4 Dependency template-haskell ==2.8.0.0: using template-haskell-2.8.0.0 Dependency text ==0.11.2.3: using text-0.11.2.3 Using Cabal-1.16.0.3 compiled by ghc-7.6 Using compiler: ghc-7.6.3 Using install prefix: /srv/hackage/var/build/cache/inst Binaries installed in: /srv/hackage/var/build/cache/inst/bin Libraries installed in: /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3 Private binaries installed in: /srv/hackage/var/build/cache/inst/libexec Data files installed in: /srv/hackage/var/build/cache/inst/share/logic-classes-1.4.8 Documentation installed in: /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8 Using alex version 3.0.1 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar No c2hs found No cpphs found No ffihugs found Using gcc version 4.7 found on system at: /usr/bin/gcc Using ghc version 7.6.3 found on system at: /usr/local/bin/ghc Using ghc-pkg version 7.6.3 found on system at: /usr/local/bin/ghc-pkg No greencard found Using haddock version 2.13.2 found on system at: /usr/local/bin/haddock Using happy version 1.18.9 found on system at: /usr/bin/happy No hmake found Using hpc version 0.6 found on system at: /usr/local/bin/hpc Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.19 found on system at: /usr/bin/HsColour No hugs found No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found No pkg-config found Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found creating dist/build creating dist/build/autogen Building logic-classes-1.4.8... Preprocessing executable 'tests' for logic-classes-1.4.8... Building executable tests... creating dist/build/tests creating dist/build/tests/tests-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/tests/tests-tmp -hidir dist/build/tests/tests-tmp -stubdir dist/build/tests/tests-tmp -i -idist/build/tests/tests-tmp -i. -idist/build/autogen -Idist/build/autogen -Idist/build/tests/tests-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id HUnit-1.2.5.2-ea6a50f5ccd59abad40d4d429d215291 -package-id PropLogic-0.9.0.4-cd4c6d497dd73bf169ec8e0456f972ce -package-id applicative-extras-0.1.8-9b6659e9918c710f1916cd739054334c -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -package-id pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396 -package-id safecopy-0.8.2-13b088ef5e7f459c67760b70b83e42bb -package-id set-extra-1.3.1-0c785f92f0f0e5319bc20befd0b5a141 -package-id syb-0.4.1-c0ac57d8df13380d77cfe67fa7c54af9 -package-id template-haskell-2.8.0.0-a3012803fde1dc362e555b35a1a78e6d -XHaskell98 ./Data/Logic/Tests/Main.hs -o dist/build/tests/tests -Wall -O2 -O0 [ 1 of 66] Compiling Data.Logic.Failing ( Data/Logic/Failing.hs, dist/build/tests/tests-tmp/Data/Logic/Failing.o ) [ 2 of 66] Compiling Data.Logic.Harrison.Lib ( Data/Logic/Harrison/Lib.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Lib.o ) [ 3 of 66] Compiling Data.Logic.Classes.Formula ( Data/Logic/Classes/Formula.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Formula.o ) [ 4 of 66] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Atom.o ) [ 5 of 66] Compiling Data.Logic.Classes.Pretty ( Data/Logic/Classes/Pretty.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Pretty.o ) [ 6 of 66] Compiling Data.Logic.Classes.Variable ( Data/Logic/Classes/Variable.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Variable.o ) [ 7 of 66] Compiling Data.Logic.Types.Common ( Data/Logic/Types/Common.hs, dist/build/tests/tests-tmp/Data/Logic/Types/Common.o ) Data/Logic/Types/Common.hs:8:10: Warning: Orphan instance: instance Variable String [ 8 of 66] Compiling Data.Logic.Classes.Arity ( Data/Logic/Classes/Arity.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Arity.o ) [ 9 of 66] Compiling Data.Logic.Classes.Skolem ( Data/Logic/Classes/Skolem.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Skolem.o ) [10 of 66] Compiling Data.Logic.Classes.Term ( Data/Logic/Classes/Term.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Term.o ) [11 of 66] Compiling Data.Logic.Harrison.Unif ( Data/Logic/Harrison/Unif.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Unif.o ) [12 of 66] Compiling Data.Logic.Classes.Negate ( Data/Logic/Classes/Negate.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Negate.o ) [13 of 66] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/ClauseNormalForm.o ) [14 of 66] Compiling Data.Logic.Classes.Constants ( Data/Logic/Classes/Constants.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Constants.o ) Data/Logic/Classes/Constants.hs:39:10: Warning: Orphan instance: instance Pretty Bool [15 of 66] Compiling Data.Logic.Classes.Apply ( Data/Logic/Classes/Apply.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Apply.o ) Data/Logic/Classes/Apply.hs:65:22: Warning: Defined but not used: `prec' [16 of 66] Compiling Data.Logic.Types.Harrison.FOL ( Data/Logic/Types/Harrison/FOL.hs, dist/build/tests/tests-tmp/Data/Logic/Types/Harrison/FOL.o ) [17 of 66] Compiling Data.Logic.Classes.Combine ( Data/Logic/Classes/Combine.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Combine.o ) [18 of 66] Compiling Data.Logic.Classes.Propositional ( Data/Logic/Classes/Propositional.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Propositional.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.4.0.1 ... linking ... done. Loading package deepseq-1.3.0.1 ... linking ... done. Loading package containers-0.5.0.0 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package mtl-2.1.2 ... linking ... done. Loading package syb-0.4.1 ... linking ... done. Loading package set-extra-1.3.1 ... linking ... done. Loading package bytestring-0.10.0.2 ... linking ... done. Loading package cereal-0.4.0.0 ... linking ... done. Loading package old-locale-1.0.0.5 ... linking ... done. Loading package old-time-1.1.0.1 ... linking ... done. Loading package pretty-1.1.1.0 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package text-0.11.2.3 ... linking ... done. Loading package time-1.4.0.1 ... linking ... done. Loading package safecopy-0.8.2 ... linking ... done. Loading package applicative-extras-0.1.8 ... linking ... done. Loading package random-1.0.1.1 ... linking ... done. Loading package PropLogic-0.9.0.4 ... linking ... done. Loading package HUnit-1.2.5.2 ... linking ... done. [19 of 66] Compiling Data.Logic.Classes.Literal ( Data/Logic/Classes/Literal.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Literal.o ) Data/Logic/Classes/Literal.hs:11:1: Warning: The import of `Data.Logic.Classes.Combine' is redundant except perhaps to import instances from `Data.Logic.Classes.Combine' To import instances alone, use: import Data.Logic.Classes.Combine() Data/Logic/Classes/Literal.hs:17:1: Warning: The import of `Data.Logic.Failing' is redundant except perhaps to import instances from `Data.Logic.Failing' To import instances alone, use: import Data.Logic.Failing() [20 of 66] Compiling Data.Logic.Classes.FirstOrder ( Data/Logic/Classes/FirstOrder.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/FirstOrder.o ) [21 of 66] Compiling Data.Logic.Classes.Equals ( Data/Logic/Classes/Equals.hs, dist/build/tests/tests-tmp/Data/Logic/Classes/Equals.o ) Data/Logic/Classes/Equals.hs:139:7: Warning: 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') [22 of 66] Compiling Data.Logic.Instances.Chiou ( Data/Logic/Instances/Chiou.hs, dist/build/tests/tests-tmp/Data/Logic/Instances/Chiou.o ) Data/Logic/Instances/Chiou.hs:28:1: Warning: The qualified 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() [23 of 66] Compiling Data.Logic.Tests.HUnit ( Data/Logic/Tests/HUnit.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/HUnit.o ) Data/Logic/Tests/HUnit.hs:66:10: Warning: Orphan instance: instance IsString Function [24 of 66] Compiling Data.Logic.Tests.Harrison.Unif ( Data/Logic/Tests/Harrison/Unif.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Harrison/Unif.o ) [25 of 66] Compiling Data.Logic.Harrison.Formulas.FirstOrder ( Data/Logic/Harrison/Formulas/FirstOrder.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Formulas/FirstOrder.o ) [26 of 66] Compiling Data.Logic.Harrison.FOL ( Data/Logic/Harrison/FOL.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/FOL.o ) Data/Logic/Harrison/FOL.hs:62:1: Warning: Defined but not used: `mkLits' Data/Logic/Harrison/FOL.hs:69:1: Warning: Defined but not used: `on_formula' Data/Logic/Harrison/FOL.hs:232:1: Warning: Defined but not used: fv' Data/Logic/Harrison/FOL.hs:272:1: Warning: Defined but not used: subst' [27 of 66] Compiling Data.Logic.Harrison.Skolem ( Data/Logic/Harrison/Skolem.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Skolem.o ) [28 of 66] Compiling Data.Logic.Harrison.Normal ( Data/Logic/Harrison/Normal.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Normal.o ) [29 of 66] Compiling Data.Logic.Normal.Clause ( Data/Logic/Normal/Clause.hs, dist/build/tests/tests-tmp/Data/Logic/Normal/Clause.o ) [30 of 66] Compiling Data.Logic.Normal.Implicative ( Data/Logic/Normal/Implicative.hs, dist/build/tests/tests-tmp/Data/Logic/Normal/Implicative.o ) [31 of 66] Compiling Data.Logic.Resolution ( Data/Logic/Resolution.hs, dist/build/tests/tests-tmp/Data/Logic/Resolution.o ) [32 of 66] Compiling Data.Logic.KnowledgeBase ( Data/Logic/KnowledgeBase.hs, dist/build/tests/tests-tmp/Data/Logic/KnowledgeBase.o ) [33 of 66] Compiling Data.Logic.Instances.PropLogic ( Data/Logic/Instances/PropLogic.hs, dist/build/tests/tests-tmp/Data/Logic/Instances/PropLogic.o ) Data/Logic/Instances/PropLogic.hs:41:29: Warning: 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') [34 of 66] Compiling Data.Logic.Satisfiable ( Data/Logic/Satisfiable.hs, dist/build/tests/tests-tmp/Data/Logic/Satisfiable.o ) [35 of 66] Compiling Data.Logic.Harrison.Prolog ( Data/Logic/Harrison/Prolog.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Prolog.o ) [36 of 66] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Formulas/Propositional.o ) [37 of 66] Compiling Data.Logic.Harrison.Prop ( Data/Logic/Harrison/Prop.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Prop.o ) [38 of 66] Compiling Data.Logic.Types.Propositional ( Data/Logic/Types/Propositional.hs, dist/build/tests/tests-tmp/Data/Logic/Types/Propositional.o ) [39 of 66] Compiling Data.Logic.Types.Harrison.Formulas.FirstOrder ( Data/Logic/Types/Harrison/Formulas/FirstOrder.hs, dist/build/tests/tests-tmp/Data/Logic/Types/Harrison/Formulas/FirstOrder.o ) [40 of 66] Compiling Data.Logic.Types.Harrison.Formulas.Propositional ( Data/Logic/Types/Harrison/Formulas/Propositional.hs, dist/build/tests/tests-tmp/Data/Logic/Types/Harrison/Formulas/Propositional.o ) [41 of 66] Compiling Data.Logic.Types.Harrison.Prop ( Data/Logic/Types/Harrison/Prop.hs, dist/build/tests/tests-tmp/Data/Logic/Types/Harrison/Prop.o ) Data/Logic/Types/Harrison/Prop.hs:27:10: Warning: Orphan instance: instance HasFixity String Data/Logic/Types/Harrison/Prop.hs:36:10: Warning: Orphan instance: instance Show (Formula String) [42 of 66] Compiling Data.Logic.Tests.Harrison.Prop ( Data/Logic/Tests/Harrison/Prop.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Harrison/Prop.o ) Data/Logic/Tests/Harrison/Prop.hs:11:1: Warning: 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() [43 of 66] Compiling Data.Logic.Harrison.Equal ( Data/Logic/Harrison/Equal.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Equal.o ) [44 of 66] Compiling Data.Boolean ( Data/Boolean.hs, dist/build/tests/tests-tmp/Data/Boolean.o ) [45 of 66] Compiling Data.Boolean.SatSolver ( Data/Boolean/SatSolver.hs, dist/build/tests/tests-tmp/Data/Boolean/SatSolver.o ) [46 of 66] Compiling Data.Logic.Instances.SatSolver ( Data/Logic/Instances/SatSolver.hs, dist/build/tests/tests-tmp/Data/Logic/Instances/SatSolver.o ) [47 of 66] Compiling Data.Logic.Harrison.PropExamples ( Data/Logic/Harrison/PropExamples.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/PropExamples.o ) Data/Logic/Harrison/PropExamples.hs:55:22: Warning: 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: Defined but not used: `halfcarry' Data/Logic/Harrison/PropExamples.hs:181:1: Warning: Defined but not used: `ha' Data/Logic/Harrison/PropExamples.hs:225:1: Warning: Top-level binding with no type signature: test02 :: Test Data/Logic/Harrison/PropExamples.hs:261:1: Warning: Defined but not used: `ripplecarry1' Data/Logic/Harrison/PropExamples.hs:266:1: Warning: Defined but not used: `mux' Data/Logic/Harrison/PropExamples.hs:269:1: Warning: Defined but not used: `offset' Data/Logic/Harrison/PropExamples.hs:281:1: Warning: Defined but not used: `carryselect' Data/Logic/Harrison/PropExamples.hs:299:1: Warning: Defined but not used: `mk_adder_test' [48 of 66] Compiling Data.Logic.Harrison.DefCNF ( Data/Logic/Harrison/DefCNF.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/DefCNF.o ) [49 of 66] Compiling Data.Logic.Harrison.DP ( Data/Logic/Harrison/DP.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/DP.o ) Data/Logic/Harrison/DP.hs:13:1: Warning: The import of `tautology, cnf' from module `Data.Logic.Harrison.Prop' is redundant Data/Logic/Harrison/DP.hs:20:1: Warning: 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:26:1: Warning: Top-level binding with no type signature: tests :: Test.HUnit.Base.Test Data/Logic/Harrison/DP.hs:116:1: Warning: Top-level binding with no type signature: test01 :: forall t. Test t Data/Logic/Harrison/DP.hs:164:1: Warning: Top-level binding with no type signature: test02 :: forall t. Test t Data/Logic/Harrison/DP.hs:200:13: Warning: Defined but not used: fn' Data/Logic/Harrison/DP.hs:205:12: Warning: Defined but not used: `p' Data/Logic/Harrison/DP.hs:239:12: Warning: Defined but not used: `q' Data/Logic/Harrison/DP.hs:240:19: Warning: Defined but not used: trail' Data/Logic/Harrison/DP.hs:275:1: Warning: Top-level binding with no type signature: test03 :: forall t. Test t Data/Logic/Harrison/DP.hs:22:10: Warning: Orphan instance: instance NumAtom (Atom N) [50 of 66] Compiling Data.Logic.Harrison.Herbrand ( Data/Logic/Harrison/Herbrand.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Herbrand.o ) [51 of 66] Compiling Data.Logic.Harrison.Tableaux ( Data/Logic/Harrison/Tableaux.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Tableaux.o ) Data/Logic/Harrison/Tableaux.hs:15:1: Warning: The import of `for_all, exists' from module `Data.Logic.Classes.FirstOrder' is redundant Data/Logic/Harrison/Tableaux.hs:21:1: Warning: The import of `subst' from module `Data.Logic.Harrison.FOL' is redundant Data/Logic/Harrison/Tableaux.hs:22:1: Warning: 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:80:1: Warning: Defined but not used: `unify_complements' Data/Logic/Harrison/Tableaux.hs:87:1: Warning: Defined but not used: `unify_refute' Data/Logic/Harrison/Tableaux.hs:102:1: Warning: Defined but not used: `prawitz_loop' Data/Logic/Harrison/Tableaux.hs:122:1: Warning: Defined but not used: `prawitz' [52 of 66] Compiling Data.Logic.Harrison.Resolution ( Data/Logic/Harrison/Resolution.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Resolution.o ) [53 of 66] Compiling Data.Logic.Types.FirstOrder ( Data/Logic/Types/FirstOrder.hs, dist/build/tests/tests-tmp/Data/Logic/Types/FirstOrder.o ) Data/Logic/Types/FirstOrder.hs:18:1: Warning: The import of `pApp, .=.' from module `Data.Logic.Classes.Equals' is redundant [54 of 66] Compiling Data.Logic.Types.Harrison.Equal ( Data/Logic/Types/Harrison/Equal.hs, dist/build/tests/tests-tmp/Data/Logic/Types/Harrison/Equal.o ) Data/Logic/Types/Harrison/Equal.hs:19:1: Warning: The import of `mapAtomsFirstOrder, foldAtomsFirstOrder' from module `Data.Logic.Classes.FirstOrder' is redundant Data/Logic/Types/Harrison/Equal.hs:134:10: Warning: Orphan instance: instance AtomEq FOLEQ PredName TermType [55 of 66] Compiling Data.Logic.Tests.Harrison.FOL ( Data/Logic/Tests/Harrison/FOL.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Harrison/FOL.o ) Data/Logic/Tests/Harrison/FOL.hs:148:1: Warning: Top-level binding with no type signature: test01 :: forall t. Test t Data/Logic/Tests/Harrison/FOL.hs:152:1: Warning: Top-level binding with no type signature: test02 :: forall t. Test t Data/Logic/Tests/Harrison/FOL.hs:156:1: Warning: Top-level binding with no type signature: test03 :: forall t. Test t Data/Logic/Tests/Harrison/FOL.hs:161:1: Warning: Top-level binding with no type signature: test04 :: forall t. Test t Data/Logic/Tests/Harrison/FOL.hs:167:1: Warning: Top-level binding with no type signature: test05 :: forall t. Test t Data/Logic/Tests/Harrison/FOL.hs:171:1: Warning: Top-level binding with no type signature: test06 :: forall t. Test t Data/Logic/Tests/Harrison/FOL.hs:180:1: Warning: Top-level binding with no type signature: test07 :: forall t. Test t Data/Logic/Tests/Harrison/FOL.hs:184:1: Warning: Top-level binding with no type signature: test08 :: forall t. Test t Data/Logic/Tests/Harrison/FOL.hs:188:1: Warning: Top-level binding with no type signature: test09 :: forall t. Test t [56 of 66] Compiling Data.Logic.Tests.Harrison.Resolution ( Data/Logic/Tests/Harrison/Resolution.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Harrison/Resolution.o ) [57 of 66] Compiling Data.Logic.Tests.Harrison.Skolem ( Data/Logic/Tests/Harrison/Skolem.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Harrison/Skolem.o ) [58 of 66] Compiling Data.Logic.Harrison.Meson ( Data/Logic/Harrison/Meson.hs, dist/build/tests/tests-tmp/Data/Logic/Harrison/Meson.o ) Data/Logic/Harrison/Meson.hs:9:1: Warning: The import of `Constants' from module `Data.Logic.Classes.Constants' is redundant [59 of 66] Compiling Data.Logic.Tests.Common ( Data/Logic/Tests/Common.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Common.o ) Data/Logic/Tests/Common.hs:39:1: Warning: The import of `prettyFirstOrder' from module `Data.Logic.Classes.FirstOrder' is redundant Data/Logic/Tests/Common.hs:70:14: Warning: This binding for `expected' shadows the existing binding defined at Data/Logic/Tests/Common.hs:184:9 Data/Logic/Tests/Common.hs:234:27: Warning: This binding for `p' shadows the existing binding bound at Data/Logic/Tests/Common.hs:251:7 Data/Logic/Tests/Common.hs:241:18: Warning: This binding for `f' shadows the existing binding bound at Data/Logic/Tests/Common.hs:210:8 Data/Logic/Tests/Common.hs:177:10: Warning: Orphan instance: instance Eq Doc [60 of 66] Compiling Data.Logic.Tests.Logic ( Data/Logic/Tests/Logic.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Logic.o ) Data/Logic/Tests/Logic.hs:6:1: Warning: The import of `BinOp' from module `Data.Logic.Classes.Combine' is redundant Data/Logic/Tests/Logic.hs:7:1: Warning: The import of `Data.Logic.Classes.Constants' is redundant except perhaps to import instances from `Data.Logic.Classes.Constants' To import instances alone, use: import Data.Logic.Classes.Constants() Data/Logic/Tests/Logic.hs:8:1: Warning: The import of `AtomEq, pApp1' from module `Data.Logic.Classes.Equals' is redundant Data/Logic/Tests/Logic.hs:12:1: Warning: The import of `negated' from module `Data.Logic.Classes.Negate' is redundant Data/Logic/Tests/Logic.hs:17:1: Warning: The import of `Data.Logic.Classes.Variable' is redundant except perhaps to import instances from `Data.Logic.Classes.Variable' To import instances alone, use: import Data.Logic.Classes.Variable() Data/Logic/Tests/Logic.hs:19:1: Warning: The import of `Data.Logic.Harrison.Normal' is redundant except perhaps to import instances from `Data.Logic.Harrison.Normal' To import instances alone, use: import Data.Logic.Harrison.Normal() Data/Logic/Tests/Logic.hs:25:1: Warning: The import of `TAtom' from module `Data.Logic.Tests.Common' is redundant Data/Logic/Tests/Logic.hs:63:11: Warning: Defined but not used: `x' Data/Logic/Tests/Logic.hs:119:1: Warning: Top-level binding with no type signature: normalTests :: Test Data/Logic/Tests/Logic.hs:537:7: Warning: Defined but not used: `fromSS' Data/Logic/Tests/Logic.hs:543:1: Warning: Defined but not used: `setFoldr1' [61 of 66] Compiling Data.Logic.Tests.Chiou0 ( Data/Logic/Tests/Chiou0.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Chiou0.o ) [62 of 66] Compiling Data.Logic.Tests.Data ( Data/Logic/Tests/Data.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Data.o ) Data/Logic/Tests/Data.hs:1065:1: Warning: Defined but not used: `toLL' [63 of 66] Compiling Data.Logic.Tests.Harrison.Equal ( Data/Logic/Tests/Harrison/Equal.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Harrison/Equal.o ) Data/Logic/Tests/Harrison/Equal.hs:206:7: Warning: This binding for `*' shadows the existing binding imported from `Prelude' at Data/Logic/Tests/Harrison/Equal.hs:3:8-38 (and originally defined in `GHC.Num') [64 of 66] Compiling Data.Logic.Tests.Harrison.Meson ( Data/Logic/Tests/Harrison/Meson.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Harrison/Meson.o ) Data/Logic/Tests/Harrison/Meson.hs:10:1: Warning: The import of `Data.Logic.Classes.Constants' is redundant except perhaps to import instances from `Data.Logic.Classes.Constants' To import instances alone, use: import Data.Logic.Classes.Constants() [65 of 66] Compiling Data.Logic.Tests.Harrison.Main ( Data/Logic/Tests/Harrison/Main.hs, dist/build/tests/tests-tmp/Data/Logic/Tests/Harrison/Main.o ) Data/Logic/Tests/Harrison/Main.hs:26:1: Warning: Defined but not used: `main' Data/Logic/Tests/Harrison/Main.hs:26:1: Warning: Top-level binding with no type signature: main :: IO T.Counts Data/Logic/Tests/Harrison/Main.hs:20:10: Warning: Orphan instance: instance TestFormula (Formula FOL) FOL TermType String String Function Data/Logic/Tests/Harrison/Main.hs:21:10: Warning: Orphan instance: instance TestFormulaEq (Formula FOLEQ) FOLEQ TermType String PredName Function Data/Logic/Tests/Harrison/Main.hs:23:10: Warning: Orphan instance: instance Show (Formula FOL) [66 of 66] Compiling Main ( Data/Logic/Tests/Main.hs, dist/build/tests/tests-tmp/Main.o ) Linking dist/build/tests/tests ... Preprocessing library logic-classes-1.4.8... Building library... creating dist/build /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -package-name logic-classes-1.4.8 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id HUnit-1.2.5.2-ea6a50f5ccd59abad40d4d429d215291 -package-id PropLogic-0.9.0.4-cd4c6d497dd73bf169ec8e0456f972ce -package-id applicative-extras-0.1.8-9b6659e9918c710f1916cd739054334c -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id fgl-5.4.2.4-18b210b29f6919c3983dadf603afab1e -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -package-id pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396 -package-id safecopy-0.8.2-13b088ef5e7f459c67760b70b83e42bb -package-id set-extra-1.3.1-0c785f92f0f0e5319bc20befd0b5a141 -package-id syb-0.4.1-c0ac57d8df13380d77cfe67fa7c54af9 -package-id syb-with-class-0.6.1.4-6a35e8a3601219a7b7782d13d76226db -package-id template-haskell-2.8.0.0-a3012803fde1dc362e555b35a1a78e6d -package-id text-0.11.2.3-20bbe8fabd6e57647019c7050504c715 -XHaskell98 Data.Logic.Classes.Apply Data.Logic.Classes.Arity Data.Logic.Classes.Atom Data.Logic.Classes.ClauseNormalForm Data.Logic.Classes.Combine Data.Logic.Classes.Constants Data.Logic.Classes.Equals Data.Logic.Classes.FirstOrder Data.Logic.Classes.Formula Data.Logic.Classes.Literal Data.Logic.Classes.Negate Data.Logic.Classes.Pretty Data.Logic.Classes.Propositional Data.Logic.Classes.Skolem Data.Logic.Classes.Term Data.Logic.Classes.Variable Data.Logic.Failing Data.Logic.Harrison.DefCNF Data.Logic.Harrison.DP Data.Logic.Harrison.Equal Data.Logic.Harrison.FOL Data.Logic.Harrison.Formulas.FirstOrder Data.Logic.Harrison.Formulas.Propositional Data.Logic.Harrison.Herbrand Data.Logic.Harrison.Lib Data.Logic.Harrison.Meson Data.Logic.Harrison.Normal Data.Logic.Harrison.Prolog Data.Logic.Harrison.Prop Data.Logic.Harrison.PropExamples Data.Logic.Harrison.Resolution Data.Logic.Harrison.Skolem Data.Logic.Harrison.Tableaux Data.Logic.Harrison.Unif Data.Logic.Instances.Chiou Data.Logic.Instances.PropLogic Data.Logic.Instances.SatSolver Data.Logic.KnowledgeBase Data.Logic.Normal.Clause Data.Logic.Normal.Implicative Data.Logic.Resolution Data.Logic.Satisfiable Data.Logic.Tests.HUnit Data.Logic.Types.Common Data.Logic.Types.FirstOrder Data.Logic.Types.FirstOrderPublic Data.Logic.Types.Harrison.Equal Data.Logic.Types.Harrison.FOL Data.Logic.Types.Harrison.Formulas.FirstOrder Data.Logic.Types.Harrison.Formulas.Propositional Data.Logic.Types.Harrison.Prop Data.Logic.Types.Propositional Data.Boolean Data.Boolean.SatSolver -Wall -O2 -O0 [ 1 of 54] Compiling Data.Boolean ( Data/Boolean.hs, dist/build/Data/Boolean.o ) [ 2 of 54] Compiling Data.Boolean.SatSolver ( Data/Boolean/SatSolver.hs, dist/build/Data/Boolean/SatSolver.o ) [ 3 of 54] Compiling Data.Logic.Failing ( Data/Logic/Failing.hs, dist/build/Data/Logic/Failing.o ) [ 4 of 54] Compiling Data.Logic.Harrison.Lib ( Data/Logic/Harrison/Lib.hs, dist/build/Data/Logic/Harrison/Lib.o ) [ 5 of 54] Compiling Data.Logic.Classes.Formula ( Data/Logic/Classes/Formula.hs, dist/build/Data/Logic/Classes/Formula.o ) [ 6 of 54] Compiling Data.Logic.Classes.Negate ( Data/Logic/Classes/Negate.hs, dist/build/Data/Logic/Classes/Negate.o ) [ 7 of 54] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o ) [ 8 of 54] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o ) [ 9 of 54] Compiling Data.Logic.Classes.Pretty ( Data/Logic/Classes/Pretty.hs, dist/build/Data/Logic/Classes/Pretty.o ) [10 of 54] Compiling Data.Logic.Classes.Combine ( Data/Logic/Classes/Combine.hs, dist/build/Data/Logic/Classes/Combine.o ) [11 of 54] Compiling Data.Logic.Classes.Variable ( Data/Logic/Classes/Variable.hs, dist/build/Data/Logic/Classes/Variable.o ) [12 of 54] Compiling Data.Logic.Classes.Skolem ( Data/Logic/Classes/Skolem.hs, dist/build/Data/Logic/Classes/Skolem.o ) [13 of 54] Compiling Data.Logic.Classes.Term ( Data/Logic/Classes/Term.hs, dist/build/Data/Logic/Classes/Term.o ) [14 of 54] Compiling Data.Logic.Harrison.Unif ( Data/Logic/Harrison/Unif.hs, dist/build/Data/Logic/Harrison/Unif.o ) [15 of 54] Compiling Data.Logic.Types.Common ( Data/Logic/Types/Common.hs, dist/build/Data/Logic/Types/Common.o ) Data/Logic/Types/Common.hs:8:10: Warning: Orphan instance: instance Variable String [16 of 54] Compiling Data.Logic.Classes.Constants ( Data/Logic/Classes/Constants.hs, dist/build/Data/Logic/Classes/Constants.o ) Data/Logic/Classes/Constants.hs:39:10: Warning: Orphan instance: instance Pretty Bool [17 of 54] Compiling Data.Logic.Classes.Propositional ( Data/Logic/Classes/Propositional.hs, dist/build/Data/Logic/Classes/Propositional.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.4.0.1 ... linking ... done. Loading package deepseq-1.3.0.1 ... linking ... done. Loading package bytestring-0.10.0.2 ... linking ... done. Loading package containers-0.5.0.0 ... linking ... done. Loading package pretty-1.1.1.0 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package syb-with-class-0.6.1.4 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package mtl-2.1.2 ... linking ... done. Loading package syb-0.4.1 ... linking ... done. Loading package set-extra-1.3.1 ... linking ... done. Loading package cereal-0.4.0.0 ... linking ... done. Loading package old-locale-1.0.0.5 ... linking ... done. Loading package old-time-1.1.0.1 ... linking ... done. Loading package text-0.11.2.3 ... linking ... done. Loading package time-1.4.0.1 ... linking ... done. Loading package safecopy-0.8.2 ... linking ... done. Loading package fgl-5.4.2.4 ... linking ... done. Loading package applicative-extras-0.1.8 ... linking ... done. Loading package random-1.0.1.1 ... linking ... done. Loading package PropLogic-0.9.0.4 ... linking ... done. Loading package HUnit-1.2.5.2 ... linking ... done. [18 of 54] Compiling Data.Logic.Classes.Literal ( Data/Logic/Classes/Literal.hs, dist/build/Data/Logic/Classes/Literal.o ) Data/Logic/Classes/Literal.hs:11:1: Warning: The import of `Data.Logic.Classes.Combine' is redundant except perhaps to import instances from `Data.Logic.Classes.Combine' To import instances alone, use: import Data.Logic.Classes.Combine() Data/Logic/Classes/Literal.hs:17:1: Warning: The import of `Data.Logic.Failing' is redundant except perhaps to import instances from `Data.Logic.Failing' To import instances alone, use: import Data.Logic.Failing() [19 of 54] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o ) [20 of 54] Compiling Data.Logic.Harrison.Prop ( Data/Logic/Harrison/Prop.hs, dist/build/Data/Logic/Harrison/Prop.o ) [21 of 54] Compiling Data.Logic.Types.Propositional ( Data/Logic/Types/Propositional.hs, dist/build/Data/Logic/Types/Propositional.o ) [22 of 54] 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: 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: Defined but not used: `halfcarry' Data/Logic/Harrison/PropExamples.hs:181:1: Warning: Defined but not used: `ha' Data/Logic/Harrison/PropExamples.hs:225:1: Warning: Top-level binding with no type signature: test02 :: Test Data/Logic/Harrison/PropExamples.hs:261:1: Warning: Defined but not used: `ripplecarry1' Data/Logic/Harrison/PropExamples.hs:266:1: Warning: Defined but not used: `mux' Data/Logic/Harrison/PropExamples.hs:269:1: Warning: Defined but not used: `offset' Data/Logic/Harrison/PropExamples.hs:281:1: Warning: Defined but not used: `carryselect' Data/Logic/Harrison/PropExamples.hs:299:1: Warning: Defined but not used: `mk_adder_test' [23 of 54] Compiling Data.Logic.Harrison.DefCNF ( Data/Logic/Harrison/DefCNF.hs, dist/build/Data/Logic/Harrison/DefCNF.o ) [24 of 54] Compiling Data.Logic.Types.Harrison.Formulas.Propositional ( Data/Logic/Types/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Types/Harrison/Formulas/Propositional.o ) [25 of 54] 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:10: Warning: Orphan instance: instance HasFixity String Data/Logic/Types/Harrison/Prop.hs:36:10: Warning: Orphan instance: instance Show (Formula String) [26 of 54] Compiling Data.Logic.Classes.Arity ( Data/Logic/Classes/Arity.hs, dist/build/Data/Logic/Classes/Arity.o ) [27 of 54] 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: Defined but not used: `prec' [28 of 54] Compiling Data.Logic.Classes.FirstOrder ( Data/Logic/Classes/FirstOrder.hs, dist/build/Data/Logic/Classes/FirstOrder.o ) [29 of 54] 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: 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 54] Compiling Data.Logic.Harrison.Formulas.FirstOrder ( Data/Logic/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Harrison/Formulas/FirstOrder.o ) [31 of 54] Compiling Data.Logic.Harrison.Equal ( Data/Logic/Harrison/Equal.hs, dist/build/Data/Logic/Harrison/Equal.o ) [32 of 54] Compiling Data.Logic.Types.Harrison.Formulas.FirstOrder ( Data/Logic/Types/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Types/Harrison/Formulas/FirstOrder.o ) [33 of 54] 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: Defined but not used: `mkLits' Data/Logic/Harrison/FOL.hs:69:1: Warning: Defined but not used: `on_formula' Data/Logic/Harrison/FOL.hs:232:1: Warning: Defined but not used: fv' Data/Logic/Harrison/FOL.hs:272:1: Warning: Defined but not used: subst' [34 of 54] Compiling Data.Logic.Harrison.Skolem ( Data/Logic/Harrison/Skolem.hs, dist/build/Data/Logic/Harrison/Skolem.o ) [35 of 54] Compiling Data.Logic.Harrison.Normal ( Data/Logic/Harrison/Normal.hs, dist/build/Data/Logic/Harrison/Normal.o ) [36 of 54] Compiling Data.Logic.Normal.Clause ( Data/Logic/Normal/Clause.hs, dist/build/Data/Logic/Normal/Clause.o ) [37 of 54] 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: 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') [38 of 54] Compiling Data.Logic.Normal.Implicative ( Data/Logic/Normal/Implicative.hs, dist/build/Data/Logic/Normal/Implicative.o ) [39 of 54] Compiling Data.Logic.Instances.SatSolver ( Data/Logic/Instances/SatSolver.hs, dist/build/Data/Logic/Instances/SatSolver.o ) [40 of 54] Compiling Data.Logic.Satisfiable ( Data/Logic/Satisfiable.hs, dist/build/Data/Logic/Satisfiable.o ) [41 of 54] Compiling Data.Logic.Harrison.Prolog ( Data/Logic/Harrison/Prolog.hs, dist/build/Data/Logic/Harrison/Prolog.o ) [42 of 54] Compiling Data.Logic.Instances.Chiou ( Data/Logic/Instances/Chiou.hs, dist/build/Data/Logic/Instances/Chiou.o ) Data/Logic/Instances/Chiou.hs:28:1: Warning: The qualified 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() [43 of 54] Compiling Data.Logic.Resolution ( Data/Logic/Resolution.hs, dist/build/Data/Logic/Resolution.o ) [44 of 54] Compiling Data.Logic.KnowledgeBase ( Data/Logic/KnowledgeBase.hs, dist/build/Data/Logic/KnowledgeBase.o ) [45 of 54] Compiling Data.Logic.Types.Harrison.FOL ( Data/Logic/Types/Harrison/FOL.hs, dist/build/Data/Logic/Types/Harrison/FOL.o ) [46 of 54] Compiling Data.Logic.Tests.HUnit ( Data/Logic/Tests/HUnit.hs, dist/build/Data/Logic/Tests/HUnit.o ) Data/Logic/Tests/HUnit.hs:66:10: Warning: Orphan instance: instance IsString Function [47 of 54] 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: The import of `tautology, cnf' from module `Data.Logic.Harrison.Prop' is redundant Data/Logic/Harrison/DP.hs:20:1: Warning: 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:26:1: Warning: Top-level binding with no type signature: tests :: Test.HUnit.Base.Test Data/Logic/Harrison/DP.hs:116:1: Warning: Top-level binding with no type signature: test01 :: forall t. Test t Data/Logic/Harrison/DP.hs:164:1: Warning: Top-level binding with no type signature: test02 :: forall t. Test t Data/Logic/Harrison/DP.hs:200:13: Warning: Defined but not used: fn' Data/Logic/Harrison/DP.hs:205:12: Warning: Defined but not used: `p' Data/Logic/Harrison/DP.hs:239:12: Warning: Defined but not used: `q' Data/Logic/Harrison/DP.hs:240:19: Warning: Defined but not used: trail' Data/Logic/Harrison/DP.hs:275:1: Warning: Top-level binding with no type signature: test03 :: forall t. Test t Data/Logic/Harrison/DP.hs:22:10: Warning: Orphan instance: instance NumAtom (Atom N) [48 of 54] Compiling Data.Logic.Harrison.Herbrand ( Data/Logic/Harrison/Herbrand.hs, dist/build/Data/Logic/Harrison/Herbrand.o ) [49 of 54] 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: The import of `for_all, exists' from module `Data.Logic.Classes.FirstOrder' is redundant Data/Logic/Harrison/Tableaux.hs:21:1: Warning: The import of `subst' from module `Data.Logic.Harrison.FOL' is redundant Data/Logic/Harrison/Tableaux.hs:22:1: Warning: 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:80:1: Warning: Defined but not used: `unify_complements' Data/Logic/Harrison/Tableaux.hs:87:1: Warning: Defined but not used: `unify_refute' Data/Logic/Harrison/Tableaux.hs:102:1: Warning: Defined but not used: `prawitz_loop' Data/Logic/Harrison/Tableaux.hs:122:1: Warning: Defined but not used: `prawitz' [50 of 54] 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: The import of `Constants' from module `Data.Logic.Classes.Constants' is redundant [51 of 54] Compiling Data.Logic.Harrison.Resolution ( Data/Logic/Harrison/Resolution.hs, dist/build/Data/Logic/Harrison/Resolution.o ) [52 of 54] 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: The import of `pApp, .=.' from module `Data.Logic.Classes.Equals' is redundant [53 of 54] Compiling Data.Logic.Types.FirstOrderPublic ( Data/Logic/Types/FirstOrderPublic.hs, dist/build/Data/Logic/Types/FirstOrderPublic.o ) [54 of 54] 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: The import of `mapAtomsFirstOrder, foldAtomsFirstOrder' from module `Data.Logic.Classes.FirstOrder' is redundant Data/Logic/Types/Harrison/Equal.hs:134:10: Warning: Orphan instance: instance AtomEq FOLEQ PredName TermType Linking... /usr/bin/ar -r dist/build/libHSlogic-classes-1.4.8.a dist/build/Data/Logic/Classes/Apply.o dist/build/Data/Logic/Classes/Arity.o dist/build/Data/Logic/Classes/Atom.o dist/build/Data/Logic/Classes/ClauseNormalForm.o dist/build/Data/Logic/Classes/Combine.o dist/build/Data/Logic/Classes/Constants.o dist/build/Data/Logic/Classes/Equals.o dist/build/Data/Logic/Classes/FirstOrder.o dist/build/Data/Logic/Classes/Formula.o dist/build/Data/Logic/Classes/Literal.o dist/build/Data/Logic/Classes/Negate.o dist/build/Data/Logic/Classes/Pretty.o dist/build/Data/Logic/Classes/Propositional.o dist/build/Data/Logic/Classes/Skolem.o dist/build/Data/Logic/Classes/Term.o dist/build/Data/Logic/Classes/Variable.o dist/build/Data/Logic/Failing.o dist/build/Data/Logic/Harrison/DefCNF.o dist/build/Data/Logic/Harrison/DP.o dist/build/Data/Logic/Harrison/Equal.o dist/build/Data/Logic/Harrison/FOL.o dist/build/Data/Logic/Harrison/Formulas/FirstOrder.o dist/build/Data/Logic/Harrison/Formulas/Propositional.o dist/build/Data/Logic/Harrison/Herbrand.o dist/build/Data/Logic/Harrison/Lib.o dist/build/Data/Logic/Harrison/Meson.o dist/build/Data/Logic/Harrison/Normal.o dist/build/Data/Logic/Harrison/Prolog.o dist/build/Data/Logic/Harrison/Prop.o dist/build/Data/Logic/Harrison/PropExamples.o dist/build/Data/Logic/Harrison/Resolution.o dist/build/Data/Logic/Harrison/Skolem.o dist/build/Data/Logic/Harrison/Tableaux.o dist/build/Data/Logic/Harrison/Unif.o dist/build/Data/Logic/Instances/Chiou.o dist/build/Data/Logic/Instances/PropLogic.o dist/build/Data/Logic/Instances/SatSolver.o dist/build/Data/Logic/KnowledgeBase.o dist/build/Data/Logic/Normal/Clause.o dist/build/Data/Logic/Normal/Implicative.o dist/build/Data/Logic/Resolution.o dist/build/Data/Logic/Satisfiable.o dist/build/Data/Logic/Tests/HUnit.o dist/build/Data/Logic/Types/Common.o dist/build/Data/Logic/Types/FirstOrder.o dist/build/Data/Logic/Types/FirstOrderPublic.o dist/build/Data/Logic/Types/Harrison/Equal.o dist/build/Data/Logic/Types/Harrison/FOL.o dist/build/Data/Logic/Types/Harrison/Formulas/FirstOrder.o dist/build/Data/Logic/Types/Harrison/Formulas/Propositional.o dist/build/Data/Logic/Types/Harrison/Prop.o dist/build/Data/Logic/Types/Propositional.o dist/build/Data/Boolean.o dist/build/Data/Boolean/SatSolver.o /usr/bin/ar: creating dist/build/libHSlogic-classes-1.4.8.a In-place registering logic-classes-1.4.8... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --package-db=dist/package.conf.inplace --no-user-package-conf Running Haddock for logic-classes-1.4.8... /usr/local/bin/haddock --ghc-version --built-in-themes creating dist/build creating dist/build/autogen Running hscolour for logic-classes-1.4.8... creating dist/doc/html/logic-classes creating dist/doc/html creating dist/doc creating dist/doc/html creating dist/doc/html/logic-classes Preprocessing executable 'tests' for logic-classes-1.4.8... Preprocessing library logic-classes-1.4.8... creating dist/doc/html/logic-classes/src /usr/bin/HsColour -print-css -odist/doc/html/logic-classes/src/hscolour.css /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Apply.html Data/Logic/Classes/Apply.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Arity.html Data/Logic/Classes/Arity.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Atom.html Data/Logic/Classes/Atom.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-ClauseNormalForm.html Data/Logic/Classes/ClauseNormalForm.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Combine.html Data/Logic/Classes/Combine.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Constants.html Data/Logic/Classes/Constants.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Equals.html Data/Logic/Classes/Equals.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-FirstOrder.html Data/Logic/Classes/FirstOrder.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Formula.html Data/Logic/Classes/Formula.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Literal.html Data/Logic/Classes/Literal.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Negate.html Data/Logic/Classes/Negate.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Pretty.html Data/Logic/Classes/Pretty.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Propositional.html Data/Logic/Classes/Propositional.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Skolem.html Data/Logic/Classes/Skolem.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Term.html Data/Logic/Classes/Term.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Classes-Variable.html Data/Logic/Classes/Variable.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Failing.html Data/Logic/Failing.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-DefCNF.html Data/Logic/Harrison/DefCNF.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-DP.html Data/Logic/Harrison/DP.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Equal.html Data/Logic/Harrison/Equal.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-FOL.html Data/Logic/Harrison/FOL.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Formulas-FirstOrder.html Data/Logic/Harrison/Formulas/FirstOrder.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Formulas-Propositional.html Data/Logic/Harrison/Formulas/Propositional.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Herbrand.html Data/Logic/Harrison/Herbrand.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Lib.html Data/Logic/Harrison/Lib.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Meson.html Data/Logic/Harrison/Meson.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Normal.html Data/Logic/Harrison/Normal.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Prolog.html Data/Logic/Harrison/Prolog.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Prop.html Data/Logic/Harrison/Prop.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-PropExamples.html Data/Logic/Harrison/PropExamples.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Resolution.html Data/Logic/Harrison/Resolution.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Skolem.html Data/Logic/Harrison/Skolem.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Tableaux.html Data/Logic/Harrison/Tableaux.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Harrison-Unif.html Data/Logic/Harrison/Unif.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Instances-Chiou.html Data/Logic/Instances/Chiou.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Instances-PropLogic.html Data/Logic/Instances/PropLogic.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Instances-SatSolver.html Data/Logic/Instances/SatSolver.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-KnowledgeBase.html Data/Logic/KnowledgeBase.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Normal-Clause.html Data/Logic/Normal/Clause.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Normal-Implicative.html Data/Logic/Normal/Implicative.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Resolution.html Data/Logic/Resolution.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Satisfiable.html Data/Logic/Satisfiable.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Tests-HUnit.html Data/Logic/Tests/HUnit.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Types-Common.html Data/Logic/Types/Common.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Types-FirstOrder.html Data/Logic/Types/FirstOrder.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Types-FirstOrderPublic.html Data/Logic/Types/FirstOrderPublic.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-Equal.html Data/Logic/Types/Harrison/Equal.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-FOL.html Data/Logic/Types/Harrison/FOL.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-Formulas-FirstOrder.html Data/Logic/Types/Harrison/Formulas/FirstOrder.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-Formulas-Propositional.html Data/Logic/Types/Harrison/Formulas/Propositional.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-Prop.html Data/Logic/Types/Harrison/Prop.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Logic-Types-Propositional.html Data/Logic/Types/Propositional.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Boolean.html Data/Boolean.hs /usr/bin/HsColour -css -anchor -odist/doc/html/logic-classes/src/Data-Boolean-SatSolver.html Data/Boolean/SatSolver.hs /usr/local/bin/ghc --print-libdir -O0 Preprocessing executable 'tests' for logic-classes-1.4.8... Preprocessing library logic-classes-1.4.8... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0, mtl-2.1.2, random-1.0.1.1, text-0.11.2.3, transformers-0.3.0.0 copy Data/Logic/Classes/Apply.hs to dist/build/tmp-24357/Data/Logic/Classes/Apply.hs copy Data/Logic/Classes/Arity.hs to dist/build/tmp-24357/Data/Logic/Classes/Arity.hs copy Data/Logic/Classes/Atom.hs to dist/build/tmp-24357/Data/Logic/Classes/Atom.hs copy Data/Logic/Classes/ClauseNormalForm.hs to dist/build/tmp-24357/Data/Logic/Classes/ClauseNormalForm.hs copy Data/Logic/Classes/Combine.hs to dist/build/tmp-24357/Data/Logic/Classes/Combine.hs copy Data/Logic/Classes/Constants.hs to dist/build/tmp-24357/Data/Logic/Classes/Constants.hs copy Data/Logic/Classes/Equals.hs to dist/build/tmp-24357/Data/Logic/Classes/Equals.hs copy Data/Logic/Classes/FirstOrder.hs to dist/build/tmp-24357/Data/Logic/Classes/FirstOrder.hs copy Data/Logic/Classes/Formula.hs to dist/build/tmp-24357/Data/Logic/Classes/Formula.hs copy Data/Logic/Classes/Literal.hs to dist/build/tmp-24357/Data/Logic/Classes/Literal.hs copy Data/Logic/Classes/Negate.hs to dist/build/tmp-24357/Data/Logic/Classes/Negate.hs copy Data/Logic/Classes/Pretty.hs to dist/build/tmp-24357/Data/Logic/Classes/Pretty.hs copy Data/Logic/Classes/Propositional.hs to dist/build/tmp-24357/Data/Logic/Classes/Propositional.hs copy Data/Logic/Classes/Skolem.hs to dist/build/tmp-24357/Data/Logic/Classes/Skolem.hs copy Data/Logic/Classes/Term.hs to dist/build/tmp-24357/Data/Logic/Classes/Term.hs copy Data/Logic/Classes/Variable.hs to dist/build/tmp-24357/Data/Logic/Classes/Variable.hs copy Data/Logic/Failing.hs to dist/build/tmp-24357/Data/Logic/Failing.hs copy Data/Logic/Harrison/DefCNF.hs to dist/build/tmp-24357/Data/Logic/Harrison/DefCNF.hs copy Data/Logic/Harrison/DP.hs to dist/build/tmp-24357/Data/Logic/Harrison/DP.hs copy Data/Logic/Harrison/Equal.hs to dist/build/tmp-24357/Data/Logic/Harrison/Equal.hs copy Data/Logic/Harrison/FOL.hs to dist/build/tmp-24357/Data/Logic/Harrison/FOL.hs copy Data/Logic/Harrison/Formulas/FirstOrder.hs to dist/build/tmp-24357/Data/Logic/Harrison/Formulas/FirstOrder.hs copy Data/Logic/Harrison/Formulas/Propositional.hs to dist/build/tmp-24357/Data/Logic/Harrison/Formulas/Propositional.hs copy Data/Logic/Harrison/Herbrand.hs to dist/build/tmp-24357/Data/Logic/Harrison/Herbrand.hs copy Data/Logic/Harrison/Lib.hs to dist/build/tmp-24357/Data/Logic/Harrison/Lib.hs copy Data/Logic/Harrison/Meson.hs to dist/build/tmp-24357/Data/Logic/Harrison/Meson.hs copy Data/Logic/Harrison/Normal.hs to dist/build/tmp-24357/Data/Logic/Harrison/Normal.hs copy Data/Logic/Harrison/Prolog.hs to dist/build/tmp-24357/Data/Logic/Harrison/Prolog.hs copy Data/Logic/Harrison/Prop.hs to dist/build/tmp-24357/Data/Logic/Harrison/Prop.hs copy Data/Logic/Harrison/PropExamples.hs to dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs copy Data/Logic/Harrison/Resolution.hs to dist/build/tmp-24357/Data/Logic/Harrison/Resolution.hs copy Data/Logic/Harrison/Skolem.hs to dist/build/tmp-24357/Data/Logic/Harrison/Skolem.hs copy Data/Logic/Harrison/Tableaux.hs to dist/build/tmp-24357/Data/Logic/Harrison/Tableaux.hs copy Data/Logic/Harrison/Unif.hs to dist/build/tmp-24357/Data/Logic/Harrison/Unif.hs copy Data/Logic/Instances/Chiou.hs to dist/build/tmp-24357/Data/Logic/Instances/Chiou.hs copy Data/Logic/Instances/PropLogic.hs to dist/build/tmp-24357/Data/Logic/Instances/PropLogic.hs copy Data/Logic/Instances/SatSolver.hs to dist/build/tmp-24357/Data/Logic/Instances/SatSolver.hs copy Data/Logic/KnowledgeBase.hs to dist/build/tmp-24357/Data/Logic/KnowledgeBase.hs copy Data/Logic/Normal/Clause.hs to dist/build/tmp-24357/Data/Logic/Normal/Clause.hs copy Data/Logic/Normal/Implicative.hs to dist/build/tmp-24357/Data/Logic/Normal/Implicative.hs copy Data/Logic/Resolution.hs to dist/build/tmp-24357/Data/Logic/Resolution.hs copy Data/Logic/Satisfiable.hs to dist/build/tmp-24357/Data/Logic/Satisfiable.hs copy Data/Logic/Tests/HUnit.hs to dist/build/tmp-24357/Data/Logic/Tests/HUnit.hs copy Data/Logic/Types/Common.hs to dist/build/tmp-24357/Data/Logic/Types/Common.hs copy Data/Logic/Types/FirstOrder.hs to dist/build/tmp-24357/Data/Logic/Types/FirstOrder.hs copy Data/Logic/Types/FirstOrderPublic.hs to dist/build/tmp-24357/Data/Logic/Types/FirstOrderPublic.hs copy Data/Logic/Types/Harrison/Equal.hs to dist/build/tmp-24357/Data/Logic/Types/Harrison/Equal.hs copy Data/Logic/Types/Harrison/FOL.hs to dist/build/tmp-24357/Data/Logic/Types/Harrison/FOL.hs copy Data/Logic/Types/Harrison/Formulas/FirstOrder.hs to dist/build/tmp-24357/Data/Logic/Types/Harrison/Formulas/FirstOrder.hs copy Data/Logic/Types/Harrison/Formulas/Propositional.hs to dist/build/tmp-24357/Data/Logic/Types/Harrison/Formulas/Propositional.hs copy Data/Logic/Types/Harrison/Prop.hs to dist/build/tmp-24357/Data/Logic/Types/Harrison/Prop.hs copy Data/Logic/Types/Propositional.hs to dist/build/tmp-24357/Data/Logic/Types/Propositional.hs copy Data/Boolean.hs to dist/build/tmp-24357/Data/Boolean.hs copy Data/Boolean/SatSolver.hs to dist/build/tmp-24357/Data/Boolean/SatSolver.hs creating dist/doc/html/logic-classes /usr/local/bin/haddock --prologue=dist/doc/html/logic-classes/haddock-prolog24357.txt --dump-interface=dist/doc/html/logic-classes/logic-classes.haddock --optghc=-package-name --optghc=logic-classes-1.4.8 --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --use-contents=/package/logic-classes-1.4.8 --verbosity=1 --html --read-interface=/package/HUnit-1.2.5.2/docs,/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/HUnit.haddock --read-interface=/package/PropLogic-0.9.0.4/docs,/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/PropLogic.haddock --read-interface=/package/applicative-extras-0.1.8/docs,/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/applicative-extras.haddock --read-interface=/package/array-0.4.0.1/docs,/usr/local/share/doc/ghc/html/libraries/array-0.4.0.1/array.haddock --read-interface=/package/base-4.6.0.1/docs,/usr/local/share/doc/ghc/html/libraries/base-4.6.0.1/base.haddock --read-interface=/package/bytestring-0.10.0.2/docs,/usr/local/share/doc/ghc/html/libraries/bytestring-0.10.0.2/bytestring.haddock --read-interface=/package/cereal-0.4.0.0/docs,/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/cereal.haddock --read-interface=/package/containers-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/containers-0.5.0.0/containers.haddock --read-interface=/package/deepseq-1.3.0.1/docs,/usr/local/share/doc/ghc/html/libraries/deepseq-1.3.0.1/deepseq.haddock --read-interface=/package/fgl-5.4.2.4/docs,/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/fgl.haddock --read-interface=/package/ghc-prim-0.3.0.0/docs,/usr/local/share/doc/ghc/html/libraries/ghc-prim-0.3.0.0/ghc-prim.haddock --read-interface=/package/integer-gmp-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/integer-gmp-0.5.0.0/integer-gmp.haddock --read-interface=/package/old-locale-1.0.0.5/docs,/usr/local/share/doc/ghc/html/libraries/old-locale-1.0.0.5/old-locale.haddock --read-interface=/package/old-time-1.1.0.1/docs,/usr/local/share/doc/ghc/html/libraries/old-time-1.1.0.1/old-time.haddock --read-interface=/package/pretty-1.1.1.0/docs,/usr/local/share/doc/ghc/html/libraries/pretty-1.1.1.0/pretty.haddock --read-interface=/package/safecopy-0.8.2/docs,/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/safecopy.haddock --read-interface=/package/set-extra-1.3.1/docs,/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/set-extra.haddock --read-interface=/package/syb-0.4.1/docs,/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/syb.haddock --read-interface=/package/syb-with-class-0.6.1.4/docs,/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/syb-with-class.haddock --read-interface=/package/template-haskell-2.8.0.0/docs,/usr/local/share/doc/ghc/html/libraries/template-haskell-2.8.0.0/template-haskell.haddock --read-interface=/package/time-1.4.0.1/docs,/usr/local/share/doc/ghc/html/libraries/time-1.4.0.1/time.haddock --odir=dist/doc/html/logic-classes/ --title=logic-classes-1.4.8: Framework for propositional and first order logic, theorem proving --optghc=-fbuilding-cabal-package --optghc=-odir --optghc=dist/build/tmp-24357 --optghc=-hidir --optghc=dist/build/tmp-24357 --optghc=-stubdir --optghc=dist/build/tmp-24357 --optghc=-i --optghc=-idist/build --optghc=-i. --optghc=-idist/build/autogen --optghc=-Idist/build/autogen --optghc=-Idist/build --optghc=-optP-include --optghc=-optPdist/build/autogen/cabal_macros.h --optghc=-hide-all-packages --optghc=-package-db --optghc=/srv/hackage/var/build/cache/inst/local.conf.d --optghc=-package-id --optghc=HUnit-1.2.5.2-ea6a50f5ccd59abad40d4d429d215291 --optghc=-package-id --optghc=PropLogic-0.9.0.4-cd4c6d497dd73bf169ec8e0456f972ce --optghc=-package-id --optghc=applicative-extras-0.1.8-9b6659e9918c710f1916cd739054334c --optghc=-package-id --optghc=base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 --optghc=-package-id --optghc=containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 --optghc=-package-id --optghc=fgl-5.4.2.4-18b210b29f6919c3983dadf603afab1e --optghc=-package-id --optghc=mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 --optghc=-package-id --optghc=pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396 --optghc=-package-id --optghc=safecopy-0.8.2-13b088ef5e7f459c67760b70b83e42bb --optghc=-package-id --optghc=set-extra-1.3.1-0c785f92f0f0e5319bc20befd0b5a141 --optghc=-package-id --optghc=syb-0.4.1-c0ac57d8df13380d77cfe67fa7c54af9 --optghc=-package-id --optghc=syb-with-class-0.6.1.4-6a35e8a3601219a7b7782d13d76226db --optghc=-package-id --optghc=template-haskell-2.8.0.0-a3012803fde1dc362e555b35a1a78e6d --optghc=-package-id --optghc=text-0.11.2.3-20bbe8fabd6e57647019c7050504c715 --optghc=-XHaskell98 --optghc=-Wall --optghc=-O2 -B/usr/local/lib/ghc-7.6.3 dist/build/tmp-24357/Data/Logic/Classes/Apply.hs dist/build/tmp-24357/Data/Logic/Classes/Arity.hs dist/build/tmp-24357/Data/Logic/Classes/Atom.hs dist/build/tmp-24357/Data/Logic/Classes/ClauseNormalForm.hs dist/build/tmp-24357/Data/Logic/Classes/Combine.hs dist/build/tmp-24357/Data/Logic/Classes/Constants.hs dist/build/tmp-24357/Data/Logic/Classes/Equals.hs dist/build/tmp-24357/Data/Logic/Classes/FirstOrder.hs dist/build/tmp-24357/Data/Logic/Classes/Formula.hs dist/build/tmp-24357/Data/Logic/Classes/Literal.hs dist/build/tmp-24357/Data/Logic/Classes/Negate.hs dist/build/tmp-24357/Data/Logic/Classes/Pretty.hs dist/build/tmp-24357/Data/Logic/Classes/Propositional.hs dist/build/tmp-24357/Data/Logic/Classes/Skolem.hs dist/build/tmp-24357/Data/Logic/Classes/Term.hs dist/build/tmp-24357/Data/Logic/Classes/Variable.hs dist/build/tmp-24357/Data/Logic/Failing.hs dist/build/tmp-24357/Data/Logic/Harrison/DefCNF.hs dist/build/tmp-24357/Data/Logic/Harrison/DP.hs dist/build/tmp-24357/Data/Logic/Harrison/Equal.hs dist/build/tmp-24357/Data/Logic/Harrison/FOL.hs dist/build/tmp-24357/Data/Logic/Harrison/Formulas/FirstOrder.hs dist/build/tmp-24357/Data/Logic/Harrison/Formulas/Propositional.hs dist/build/tmp-24357/Data/Logic/Harrison/Herbrand.hs dist/build/tmp-24357/Data/Logic/Harrison/Lib.hs dist/build/tmp-24357/Data/Logic/Harrison/Meson.hs dist/build/tmp-24357/Data/Logic/Harrison/Normal.hs dist/build/tmp-24357/Data/Logic/Harrison/Prolog.hs dist/build/tmp-24357/Data/Logic/Harrison/Prop.hs dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs dist/build/tmp-24357/Data/Logic/Harrison/Resolution.hs dist/build/tmp-24357/Data/Logic/Harrison/Skolem.hs dist/build/tmp-24357/Data/Logic/Harrison/Tableaux.hs dist/build/tmp-24357/Data/Logic/Harrison/Unif.hs dist/build/tmp-24357/Data/Logic/Instances/Chiou.hs dist/build/tmp-24357/Data/Logic/Instances/PropLogic.hs dist/build/tmp-24357/Data/Logic/Instances/SatSolver.hs dist/build/tmp-24357/Data/Logic/KnowledgeBase.hs dist/build/tmp-24357/Data/Logic/Normal/Clause.hs dist/build/tmp-24357/Data/Logic/Normal/Implicative.hs dist/build/tmp-24357/Data/Logic/Resolution.hs dist/build/tmp-24357/Data/Logic/Satisfiable.hs dist/build/tmp-24357/Data/Logic/Tests/HUnit.hs dist/build/tmp-24357/Data/Logic/Types/Common.hs dist/build/tmp-24357/Data/Logic/Types/FirstOrder.hs dist/build/tmp-24357/Data/Logic/Types/FirstOrderPublic.hs dist/build/tmp-24357/Data/Logic/Types/Harrison/Equal.hs dist/build/tmp-24357/Data/Logic/Types/Harrison/FOL.hs dist/build/tmp-24357/Data/Logic/Types/Harrison/Formulas/FirstOrder.hs dist/build/tmp-24357/Data/Logic/Types/Harrison/Formulas/Propositional.hs dist/build/tmp-24357/Data/Logic/Types/Harrison/Prop.hs dist/build/tmp-24357/Data/Logic/Types/Propositional.hs dist/build/tmp-24357/Data/Boolean.hs dist/build/tmp-24357/Data/Boolean/SatSolver.hs --built-in-themes dist/build/tmp-24357/Data/Logic/Types/Common.hs:8:10: Warning: Orphan instance: instance Variable String dist/build/tmp-24357/Data/Logic/Classes/Constants.hs:39:10: Warning: Orphan instance: instance Pretty Bool dist/build/tmp-24357/Data/Logic/Classes/Literal.hs:11:1: Warning: The import of `Data.Logic.Classes.Combine' is redundant except perhaps to import instances from `Data.Logic.Classes.Combine' To import instances alone, use: import Data.Logic.Classes.Combine() dist/build/tmp-24357/Data/Logic/Classes/Literal.hs:17:1: Warning: The import of `Data.Logic.Failing' is redundant except perhaps to import instances from `Data.Logic.Failing' To import instances alone, use: import Data.Logic.Failing() dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:55:22: Warning: This binding for `n' shadows the existing binding bound at dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:51:12 dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:178:1: Warning: Defined but not used: `halfcarry' dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:181:1: Warning: Defined but not used: `ha' dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:225:1: Warning: Top-level binding with no type signature: test02 :: Test dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:261:1: Warning: Defined but not used: `ripplecarry1' dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:266:1: Warning: Defined but not used: `mux' dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:269:1: Warning: Defined but not used: `offset' dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:281:1: Warning: Defined but not used: `carryselect' dist/build/tmp-24357/Data/Logic/Harrison/PropExamples.hs:299:1: Warning: Defined but not used: `mk_adder_test' dist/build/tmp-24357/Data/Logic/Types/Harrison/Prop.hs:27:10: Warning: Orphan instance: instance HasFixity String dist/build/tmp-24357/Data/Logic/Types/Harrison/Prop.hs:36:10: Warning: Orphan instance: instance Show (Formula String) dist/build/tmp-24357/Data/Logic/Classes/Apply.hs:65:22: Warning: Defined but not used: `prec' dist/build/tmp-24357/Data/Logic/Classes/Equals.hs:139:7: Warning: This binding for `parens' shadows the existing binding imported from `Text.PrettyPrint' at dist/build/tmp-24357/Data/Logic/Classes/Equals.hs:34:57-62 (and originally defined in `Text.PrettyPrint.HughesPJ') dist/build/tmp-24357/Data/Logic/Harrison/FOL.hs:62:1: Warning: Defined but not used: `mkLits' dist/build/tmp-24357/Data/Logic/Harrison/FOL.hs:69:1: Warning: Defined but not used: `on_formula' dist/build/tmp-24357/Data/Logic/Harrison/FOL.hs:232:1: Warning: Defined but not used: fv' dist/build/tmp-24357/Data/Logic/Harrison/FOL.hs:272:1: Warning: Defined but not used: subst' dist/build/tmp-24357/Data/Logic/Instances/PropLogic.hs:41:29: Warning: This binding for `at' shadows the existing binding imported from `PropLogic' at dist/build/tmp-24357/Data/Logic/Instances/PropLogic.hs:22:1-16 (and originally defined in `PropLogicCore') dist/build/tmp-24357/Data/Logic/Instances/Chiou.hs:28:1: Warning: The qualified 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() dist/build/tmp-24357/Data/Logic/Tests/HUnit.hs:66:10: Warning: Orphan instance: instance IsString Function dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:13:1: Warning: The import of `tautology, cnf' from module `Data.Logic.Harrison.Prop' is redundant dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:20:1: Warning: The import of `Debug.Trace' is redundant except perhaps to import instances from `Debug.Trace' To import instances alone, use: import Debug.Trace() dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:26:1: Warning: Top-level binding with no type signature: tests :: Test.HUnit.Base.Test dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:116:1: Warning: Top-level binding with no type signature: test01 :: forall t. Test t dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:164:1: Warning: Top-level binding with no type signature: test02 :: forall t. Test t dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:200:13: Warning: Defined but not used: fn' dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:205:12: Warning: Defined but not used: `p' dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:239:12: Warning: Defined but not used: `q' dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:240:19: Warning: Defined but not used: trail' dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:275:1: Warning: Top-level binding with no type signature: test03 :: forall t. Test t dist/build/tmp-24357/Data/Logic/Harrison/DP.hs:22:10: Warning: Orphan instance: instance NumAtom (Atom N) dist/build/tmp-24357/Data/Logic/Harrison/Tableaux.hs:15:1: Warning: The import of `for_all, exists' from module `Data.Logic.Classes.FirstOrder' is redundant dist/build/tmp-24357/Data/Logic/Harrison/Tableaux.hs:21:1: Warning: The import of `subst' from module `Data.Logic.Harrison.FOL' is redundant dist/build/tmp-24357/Data/Logic/Harrison/Tableaux.hs:22:1: Warning: 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() dist/build/tmp-24357/Data/Logic/Harrison/Tableaux.hs:80:1: Warning: Defined but not used: `unify_complements' dist/build/tmp-24357/Data/Logic/Harrison/Tableaux.hs:87:1: Warning: Defined but not used: `unify_refute' dist/build/tmp-24357/Data/Logic/Harrison/Tableaux.hs:102:1: Warning: Defined but not used: `prawitz_loop' dist/build/tmp-24357/Data/Logic/Harrison/Tableaux.hs:122:1: Warning: Defined but not used: `prawitz' dist/build/tmp-24357/Data/Logic/Harrison/Meson.hs:9:1: Warning: The import of `Constants' from module `Data.Logic.Classes.Constants' is redundant dist/build/tmp-24357/Data/Logic/Types/FirstOrder.hs:18:1: Warning: The import of `pApp, .=.' from module `Data.Logic.Classes.Equals' is redundant dist/build/tmp-24357/Data/Logic/Types/Harrison/Equal.hs:19:1: Warning: The import of `mapAtomsFirstOrder, foldAtomsFirstOrder' from module `Data.Logic.Classes.FirstOrder' is redundant dist/build/tmp-24357/Data/Logic/Types/Harrison/Equal.hs:134:10: Warning: Orphan instance: instance AtomEq FOLEQ PredName TermType Haddock coverage: 89% ( 8 / 9) in 'Data.Boolean' 89% ( 17 / 19) in 'Data.Boolean.SatSolver' 33% ( 1 / 3) in 'Data.Logic.Failing' 0% ( 0 / 29) in 'Data.Logic.Harrison.Lib' 0% ( 0 / 2) in 'Data.Logic.Classes.Formula' 43% ( 3 / 7) in 'Data.Logic.Classes.Negate' 50% ( 1 / 2) in 'Data.Logic.Classes.ClauseNormalForm' 50% ( 1 / 2) in 'Data.Logic.Classes.Atom' 57% ( 4 / 7) in 'Data.Logic.Classes.Pretty' 53% ( 8 / 15) in 'Data.Logic.Classes.Combine' 25% ( 1 / 4) in 'Data.Logic.Classes.Variable' 50% ( 1 / 2) in 'Data.Logic.Classes.Skolem' 0% ( 0 / 9) in 'Data.Logic.Classes.Term' 0% ( 0 / 5) in 'Data.Logic.Harrison.Unif' 0% ( 0 / 1) in 'Data.Logic.Types.Common' 12% ( 1 / 8) in 'Data.Logic.Classes.Constants' 59% ( 10 / 17) in 'Data.Logic.Classes.Propositional' 17% ( 1 / 6) in 'Data.Logic.Classes.Literal' 0% ( 0 / 6) in 'Data.Logic.Harrison.Formulas.Propositional' 0% ( 0 / 33) in 'Data.Logic.Harrison.Prop' 50% ( 1 / 2) in 'Data.Logic.Types.Propositional' 0% ( 0 / 6) in 'Data.Logic.Harrison.PropExamples' 0% ( 0 / 16) in 'Data.Logic.Harrison.DefCNF' 0% ( 0 / 2) in 'Data.Logic.Types.Harrison.Formulas.Propositional' 0% ( 0 / 2) in 'Data.Logic.Types.Harrison.Prop' 50% ( 1 / 2) in 'Data.Logic.Classes.Arity' 18% ( 3 / 17) in 'Data.Logic.Classes.Apply' 44% ( 15 / 34) in 'Data.Logic.Classes.FirstOrder' 18% ( 6 / 33) in 'Data.Logic.Classes.Equals' 0% ( 0 / 6) in 'Data.Logic.Harrison.Formulas.FirstOrder' 0% ( 0 / 7) in 'Data.Logic.Harrison.Equal' 0% ( 0 / 2) in 'Data.Logic.Types.Harrison.Formulas.FirstOrder' 25% ( 2 / 8) in 'Data.Logic.Harrison.FOL' 73% ( 11 / 15) in 'Data.Logic.Harrison.Skolem' 17% ( 1 / 6) in 'Data.Logic.Harrison.Normal' 67% ( 2 / 3) in 'Data.Logic.Normal.Clause' 0% ( 0 / 4) in 'Data.Logic.Instances.PropLogic' 40% ( 4 / 10) in 'Data.Logic.Normal.Implicative' 33% ( 1 / 3) in 'Data.Logic.Instances.SatSolver' 100% ( 5 / 5) in 'Data.Logic.Satisfiable' 0% ( 0 / 2) in 'Data.Logic.Harrison.Prolog' 0% ( 0 / 10) in 'Data.Logic.Instances.Chiou' 14% ( 1 / 7) in 'Data.Logic.Resolution' 56% ( 9 / 16) in 'Data.Logic.KnowledgeBase' 25% ( 1 / 4) in 'Data.Logic.Types.Harrison.FOL' 29% ( 2 / 7) in 'Data.Logic.Tests.HUnit' 0% ( 0 / 3) in 'Data.Logic.Harrison.DP' 0% ( 0 / 15) in 'Data.Logic.Harrison.Herbrand' 25% ( 1 / 4) in 'Data.Logic.Harrison.Tableaux' 0% ( 0 / 5) in 'Data.Logic.Harrison.Meson' 0% ( 0 / 6) in 'Data.Logic.Harrison.Resolution' Warning: Data.Logic.Types.FirstOrder: We do not support associated types in instances yet. These instances are affected: (Data.SafeCopy.SafeCopy.SafeCopy p, Data.SafeCopy.SafeCopy.SafeCopy term) => Data.SafeCopy.SafeCopy.Migrate (Data.Logic.Types.FirstOrder.Predicate p term) 100% ( 4 / 4) in 'Data.Logic.Types.FirstOrder' 100% ( 3 / 3) in 'Data.Logic.Types.FirstOrderPublic' 0% ( 0 / 3) in 'Data.Logic.Types.Harrison.Equal' Warning: Data.Logic.Harrison.Skolem: could not find link destinations for: Control.Monad.Trans.State.Lazy.StateT Data.Logic.Harrison.Skolem.SkolemState Data.Functor.Identity.Identity Warning: Data.Logic.Normal.Implicative: could not find link destinations for: Control.Monad.Trans.State.Lazy.StateT Data.Functor.Identity.Identity Warning: Data.Logic.KnowledgeBase: could not find link destinations for: Control.Monad.Trans.State.Lazy.StateT Data.Logic.KnowledgeBase.ProverState Data.Logic.KnowledgeBase.ProverT' Data.Functor.Identity.Identity Data.Logic.KnowledgeBase.SentenceCount Data.Logic.KnowledgeBase.KnowledgeBase Documentation created: dist/doc/html/logic-classes/index.html directory dist/doc/html/logic-classes does exist: True creating /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html copy directory 'dist/doc/html/logic-classes' to '/srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html'. creating /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html creating /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src Installing dist/doc/html/logic-classes/logic-classes.haddock to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/logic-classes.haddock Installing dist/doc/html/logic-classes/doc-index-A.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-A.html Installing dist/doc/html/logic-classes/doc-index-B.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-B.html Installing dist/doc/html/logic-classes/doc-index-C.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-C.html Installing dist/doc/html/logic-classes/doc-index-D.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-D.html Installing dist/doc/html/logic-classes/doc-index-E.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-E.html Installing dist/doc/html/logic-classes/doc-index-F.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-F.html Installing dist/doc/html/logic-classes/doc-index-G.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-G.html Installing dist/doc/html/logic-classes/doc-index-H.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-H.html Installing dist/doc/html/logic-classes/doc-index-I.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-I.html Installing dist/doc/html/logic-classes/doc-index-L.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-L.html Installing dist/doc/html/logic-classes/doc-index-M.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-M.html Installing dist/doc/html/logic-classes/doc-index-N.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-N.html Installing dist/doc/html/logic-classes/doc-index-O.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-O.html Installing dist/doc/html/logic-classes/doc-index-P.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-P.html Installing dist/doc/html/logic-classes/doc-index-Q.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-Q.html Installing dist/doc/html/logic-classes/doc-index-R.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-R.html Installing dist/doc/html/logic-classes/doc-index-S.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-S.html Installing dist/doc/html/logic-classes/doc-index-T.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-T.html Installing dist/doc/html/logic-classes/doc-index-U.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-U.html Installing dist/doc/html/logic-classes/doc-index-V.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-V.html Installing dist/doc/html/logic-classes/doc-index-W.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-W.html Installing dist/doc/html/logic-classes/doc-index-Y.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-Y.html Installing dist/doc/html/logic-classes/doc-index-Z.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-Z.html Installing dist/doc/html/logic-classes/doc-index-58.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-58.html Installing dist/doc/html/logic-classes/doc-index-33.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-33.html Installing dist/doc/html/logic-classes/doc-index-46.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-46.html Installing dist/doc/html/logic-classes/doc-index-60.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-60.html Installing dist/doc/html/logic-classes/doc-index-61.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-61.html Installing dist/doc/html/logic-classes/doc-index-63.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-63.html Installing dist/doc/html/logic-classes/doc-index-124.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-124.html Installing dist/doc/html/logic-classes/doc-index-All.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index-All.html Installing dist/doc/html/logic-classes/doc-index.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/doc-index.html Installing dist/doc/html/logic-classes/Data-Boolean.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Boolean.html Installing dist/doc/html/logic-classes/mini_Data-Boolean.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Boolean.html Installing dist/doc/html/logic-classes/Data-Boolean-SatSolver.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Boolean-SatSolver.html Installing dist/doc/html/logic-classes/mini_Data-Boolean-SatSolver.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Boolean-SatSolver.html Installing dist/doc/html/logic-classes/Data-Logic-Failing.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Failing.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Failing.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Failing.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Lib.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Lib.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Lib.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Lib.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Formula.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Formula.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Formula.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Formula.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Negate.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Negate.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Negate.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Negate.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-ClauseNormalForm.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-ClauseNormalForm.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-ClauseNormalForm.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-ClauseNormalForm.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Atom.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Atom.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Atom.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Atom.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Pretty.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Pretty.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Pretty.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Pretty.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Combine.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Combine.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Combine.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Combine.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Variable.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Variable.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Variable.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Variable.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Skolem.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Skolem.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Skolem.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Skolem.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Term.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Term.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Term.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Term.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Unif.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Unif.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Unif.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Unif.html Installing dist/doc/html/logic-classes/Data-Logic-Types-Common.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Types-Common.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Types-Common.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Types-Common.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Constants.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Constants.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Constants.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Constants.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Propositional.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Propositional.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Literal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Literal.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Literal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Literal.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Formulas-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Formulas-Propositional.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Formulas-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Formulas-Propositional.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Prop.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Prop.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Prop.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Prop.html Installing dist/doc/html/logic-classes/Data-Logic-Types-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Types-Propositional.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Types-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Types-Propositional.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-PropExamples.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-PropExamples.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-PropExamples.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-PropExamples.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-DefCNF.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-DefCNF.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-DefCNF.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-DefCNF.html Installing dist/doc/html/logic-classes/Data-Logic-Types-Harrison-Formulas-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Types-Harrison-Formulas-Propositional.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Types-Harrison-Formulas-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Types-Harrison-Formulas-Propositional.html Installing dist/doc/html/logic-classes/Data-Logic-Types-Harrison-Prop.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Types-Harrison-Prop.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Types-Harrison-Prop.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Types-Harrison-Prop.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Arity.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Arity.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Arity.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Arity.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Apply.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Apply.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Apply.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Apply.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-FirstOrder.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-FirstOrder.html Installing dist/doc/html/logic-classes/Data-Logic-Classes-Equals.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Classes-Equals.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Classes-Equals.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Classes-Equals.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Formulas-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Formulas-FirstOrder.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Formulas-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Formulas-FirstOrder.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Equal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Equal.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Equal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Equal.html Installing dist/doc/html/logic-classes/Data-Logic-Types-Harrison-Formulas-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Types-Harrison-Formulas-FirstOrder.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Types-Harrison-Formulas-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Types-Harrison-Formulas-FirstOrder.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-FOL.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-FOL.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-FOL.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-FOL.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Skolem.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Skolem.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Skolem.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Skolem.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Normal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Normal.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Normal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Normal.html Installing dist/doc/html/logic-classes/Data-Logic-Normal-Clause.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Normal-Clause.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Normal-Clause.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Normal-Clause.html Installing dist/doc/html/logic-classes/Data-Logic-Instances-PropLogic.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Instances-PropLogic.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Instances-PropLogic.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Instances-PropLogic.html Installing dist/doc/html/logic-classes/Data-Logic-Normal-Implicative.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Normal-Implicative.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Normal-Implicative.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Normal-Implicative.html Installing dist/doc/html/logic-classes/Data-Logic-Instances-SatSolver.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Instances-SatSolver.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Instances-SatSolver.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Instances-SatSolver.html Installing dist/doc/html/logic-classes/Data-Logic-Satisfiable.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Satisfiable.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Satisfiable.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Satisfiable.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Prolog.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Prolog.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Prolog.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Prolog.html Installing dist/doc/html/logic-classes/Data-Logic-Instances-Chiou.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Instances-Chiou.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Instances-Chiou.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Instances-Chiou.html Installing dist/doc/html/logic-classes/Data-Logic-Resolution.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Resolution.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Resolution.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Resolution.html Installing dist/doc/html/logic-classes/Data-Logic-KnowledgeBase.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-KnowledgeBase.html Installing dist/doc/html/logic-classes/mini_Data-Logic-KnowledgeBase.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-KnowledgeBase.html Installing dist/doc/html/logic-classes/Data-Logic-Types-Harrison-FOL.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Types-Harrison-FOL.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Types-Harrison-FOL.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Types-Harrison-FOL.html Installing dist/doc/html/logic-classes/Data-Logic-Tests-HUnit.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Tests-HUnit.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Tests-HUnit.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Tests-HUnit.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-DP.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-DP.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-DP.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-DP.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Herbrand.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Herbrand.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Herbrand.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Herbrand.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Tableaux.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Tableaux.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Tableaux.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Tableaux.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Meson.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Meson.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Meson.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Meson.html Installing dist/doc/html/logic-classes/Data-Logic-Harrison-Resolution.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Harrison-Resolution.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Harrison-Resolution.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Harrison-Resolution.html Installing dist/doc/html/logic-classes/Data-Logic-Types-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Types-FirstOrder.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Types-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Types-FirstOrder.html Installing dist/doc/html/logic-classes/Data-Logic-Types-FirstOrderPublic.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Types-FirstOrderPublic.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Types-FirstOrderPublic.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Types-FirstOrderPublic.html Installing dist/doc/html/logic-classes/Data-Logic-Types-Harrison-Equal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/Data-Logic-Types-Harrison-Equal.html Installing dist/doc/html/logic-classes/mini_Data-Logic-Types-Harrison-Equal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/mini_Data-Logic-Types-Harrison-Equal.html Installing dist/doc/html/logic-classes/hslogo-16.png to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/hslogo-16.png Installing dist/doc/html/logic-classes/minus.gif to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/minus.gif Installing dist/doc/html/logic-classes/ocean.css to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/ocean.css Installing dist/doc/html/logic-classes/plus.gif to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/plus.gif Installing dist/doc/html/logic-classes/synopsis.png to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/synopsis.png Installing dist/doc/html/logic-classes/haskell_icon.gif to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/haskell_icon.gif Installing dist/doc/html/logic-classes/xhaddock.css to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/xhaddock.css Installing dist/doc/html/logic-classes/haddock-util.js to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/haddock-util.js Installing dist/doc/html/logic-classes/frames.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/frames.html Installing dist/doc/html/logic-classes/src/hscolour.css to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/hscolour.css Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Apply.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Apply.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Arity.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Arity.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Atom.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Atom.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-ClauseNormalForm.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-ClauseNormalForm.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Combine.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Combine.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Constants.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Constants.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Equals.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Equals.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-FirstOrder.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Formula.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Formula.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Literal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Literal.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Negate.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Negate.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Pretty.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Pretty.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Propositional.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Skolem.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Skolem.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Term.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Term.html Installing dist/doc/html/logic-classes/src/Data-Logic-Classes-Variable.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Classes-Variable.html Installing dist/doc/html/logic-classes/src/Data-Logic-Failing.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Failing.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-DefCNF.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-DefCNF.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-DP.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-DP.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Equal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Equal.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-FOL.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-FOL.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Formulas-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Formulas-FirstOrder.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Formulas-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Formulas-Propositional.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Herbrand.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Herbrand.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Lib.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Lib.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Meson.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Meson.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Normal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Normal.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Prolog.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Prolog.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Prop.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Prop.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-PropExamples.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-PropExamples.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Resolution.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Resolution.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Skolem.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Skolem.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Tableaux.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Tableaux.html Installing dist/doc/html/logic-classes/src/Data-Logic-Harrison-Unif.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Harrison-Unif.html Installing dist/doc/html/logic-classes/src/Data-Logic-Instances-Chiou.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Instances-Chiou.html Installing dist/doc/html/logic-classes/src/Data-Logic-Instances-PropLogic.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Instances-PropLogic.html Installing dist/doc/html/logic-classes/src/Data-Logic-Instances-SatSolver.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Instances-SatSolver.html Installing dist/doc/html/logic-classes/src/Data-Logic-KnowledgeBase.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-KnowledgeBase.html Installing dist/doc/html/logic-classes/src/Data-Logic-Normal-Clause.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Normal-Clause.html Installing dist/doc/html/logic-classes/src/Data-Logic-Normal-Implicative.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Normal-Implicative.html Installing dist/doc/html/logic-classes/src/Data-Logic-Resolution.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Resolution.html Installing dist/doc/html/logic-classes/src/Data-Logic-Satisfiable.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Satisfiable.html Installing dist/doc/html/logic-classes/src/Data-Logic-Tests-HUnit.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Tests-HUnit.html Installing dist/doc/html/logic-classes/src/Data-Logic-Types-Common.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Types-Common.html Installing dist/doc/html/logic-classes/src/Data-Logic-Types-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Types-FirstOrder.html Installing dist/doc/html/logic-classes/src/Data-Logic-Types-FirstOrderPublic.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Types-FirstOrderPublic.html Installing dist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-Equal.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Types-Harrison-Equal.html Installing dist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-FOL.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Types-Harrison-FOL.html Installing dist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-Formulas-FirstOrder.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Types-Harrison-Formulas-FirstOrder.html Installing dist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-Formulas-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Types-Harrison-Formulas-Propositional.html Installing dist/doc/html/logic-classes/src/Data-Logic-Types-Harrison-Prop.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Types-Harrison-Prop.html Installing dist/doc/html/logic-classes/src/Data-Logic-Types-Propositional.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Logic-Types-Propositional.html Installing dist/doc/html/logic-classes/src/Data-Boolean.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Boolean.html Installing dist/doc/html/logic-classes/src/Data-Boolean-SatSolver.html to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/src/Data-Boolean-SatSolver.html creating /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html Installing dist/doc/html/logic-classes/logic-classes.haddock to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/html/logic-classes.haddock creating /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8 Installing COPYING to /srv/hackage/var/build/cache/inst/share/doc/logic-classes-1.4.8/COPYING Installing library in /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3 Installing executable(s) in /srv/hackage/var/build/cache/inst/bin creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8 creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Formulas creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Instances creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Normal creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Tests creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/Harrison creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/Harrison/Formulas creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Boolean Installing dist/build/Data/Logic/Classes/Apply.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Apply.hi Installing dist/build/Data/Logic/Classes/Arity.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Arity.hi Installing dist/build/Data/Logic/Classes/Atom.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Atom.hi Installing dist/build/Data/Logic/Classes/ClauseNormalForm.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/ClauseNormalForm.hi Installing dist/build/Data/Logic/Classes/Combine.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Combine.hi Installing dist/build/Data/Logic/Classes/Constants.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Constants.hi Installing dist/build/Data/Logic/Classes/Equals.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Equals.hi Installing dist/build/Data/Logic/Classes/FirstOrder.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/FirstOrder.hi Installing dist/build/Data/Logic/Classes/Formula.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Formula.hi Installing dist/build/Data/Logic/Classes/Literal.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Literal.hi Installing dist/build/Data/Logic/Classes/Negate.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Negate.hi Installing dist/build/Data/Logic/Classes/Pretty.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Pretty.hi Installing dist/build/Data/Logic/Classes/Propositional.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Propositional.hi Installing dist/build/Data/Logic/Classes/Skolem.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Skolem.hi Installing dist/build/Data/Logic/Classes/Term.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Term.hi Installing dist/build/Data/Logic/Classes/Variable.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Classes/Variable.hi Installing dist/build/Data/Logic/Failing.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Failing.hi Installing dist/build/Data/Logic/Harrison/DefCNF.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/DefCNF.hi Installing dist/build/Data/Logic/Harrison/DP.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/DP.hi Installing dist/build/Data/Logic/Harrison/Equal.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Equal.hi Installing dist/build/Data/Logic/Harrison/FOL.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/FOL.hi Installing dist/build/Data/Logic/Harrison/Formulas/FirstOrder.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Formulas/FirstOrder.hi Installing dist/build/Data/Logic/Harrison/Formulas/Propositional.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Formulas/Propositional.hi Installing dist/build/Data/Logic/Harrison/Herbrand.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Herbrand.hi Installing dist/build/Data/Logic/Harrison/Lib.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Lib.hi Installing dist/build/Data/Logic/Harrison/Meson.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Meson.hi Installing dist/build/Data/Logic/Harrison/Normal.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Normal.hi Installing dist/build/Data/Logic/Harrison/Prolog.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Prolog.hi Installing dist/build/Data/Logic/Harrison/Prop.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Prop.hi Installing dist/build/Data/Logic/Harrison/PropExamples.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/PropExamples.hi Installing dist/build/Data/Logic/Harrison/Resolution.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Resolution.hi Installing dist/build/Data/Logic/Harrison/Skolem.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Skolem.hi Installing dist/build/Data/Logic/Harrison/Tableaux.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Tableaux.hi Installing dist/build/Data/Logic/Harrison/Unif.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Harrison/Unif.hi Installing dist/build/Data/Logic/Instances/Chiou.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Instances/Chiou.hi Installing dist/build/Data/Logic/Instances/PropLogic.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Instances/PropLogic.hi Installing dist/build/Data/Logic/Instances/SatSolver.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Instances/SatSolver.hi Installing dist/build/Data/Logic/KnowledgeBase.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/KnowledgeBase.hi Installing dist/build/Data/Logic/Normal/Clause.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Normal/Clause.hi Installing dist/build/Data/Logic/Normal/Implicative.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Normal/Implicative.hi Installing dist/build/Data/Logic/Resolution.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Resolution.hi Installing dist/build/Data/Logic/Satisfiable.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Satisfiable.hi Installing dist/build/Data/Logic/Tests/HUnit.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Tests/HUnit.hi Installing dist/build/Data/Logic/Types/Common.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/Common.hi Installing dist/build/Data/Logic/Types/FirstOrder.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/FirstOrder.hi Installing dist/build/Data/Logic/Types/FirstOrderPublic.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/FirstOrderPublic.hi Installing dist/build/Data/Logic/Types/Harrison/Equal.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/Harrison/Equal.hi Installing dist/build/Data/Logic/Types/Harrison/FOL.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/Harrison/FOL.hi Installing dist/build/Data/Logic/Types/Harrison/Formulas/FirstOrder.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/Harrison/Formulas/FirstOrder.hi Installing dist/build/Data/Logic/Types/Harrison/Formulas/Propositional.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/Harrison/Formulas/Propositional.hi Installing dist/build/Data/Logic/Types/Harrison/Prop.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/Harrison/Prop.hi Installing dist/build/Data/Logic/Types/Propositional.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Logic/Types/Propositional.hi Installing dist/build/Data/Boolean.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Boolean.hi Installing dist/build/Data/Boolean/SatSolver.hi to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/Data/Boolean/SatSolver.hi creating /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3 Installing dist/build/libHSlogic-classes-1.4.8.a to /srv/hackage/var/build/cache/inst/lib/logic-classes-1.4.8/ghc-7.6.3/libHSlogic-classes-1.4.8.a creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/tests/tests to /srv/hackage/var/build/cache/inst/bin/tests /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/tests /usr/local/bin/ghc --abi-hash -fbuilding-cabal-package -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -package-name logic-classes-1.4.8 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-id HUnit-1.2.5.2-ea6a50f5ccd59abad40d4d429d215291 -package-id PropLogic-0.9.0.4-cd4c6d497dd73bf169ec8e0456f972ce -package-id applicative-extras-0.1.8-9b6659e9918c710f1916cd739054334c -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id fgl-5.4.2.4-18b210b29f6919c3983dadf603afab1e -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -package-id pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396 -package-id safecopy-0.8.2-13b088ef5e7f459c67760b70b83e42bb -package-id set-extra-1.3.1-0c785f92f0f0e5319bc20befd0b5a141 -package-id syb-0.4.1-c0ac57d8df13380d77cfe67fa7c54af9 -package-id syb-with-class-0.6.1.4-6a35e8a3601219a7b7782d13d76226db -package-id template-haskell-2.8.0.0-a3012803fde1dc362e555b35a1a78e6d -package-id text-0.11.2.3-20bbe8fabd6e57647019c7050504c715 -XHaskell98 Data.Logic.Classes.Apply Data.Logic.Classes.Arity Data.Logic.Classes.Atom Data.Logic.Classes.ClauseNormalForm Data.Logic.Classes.Combine Data.Logic.Classes.Constants Data.Logic.Classes.Equals Data.Logic.Classes.FirstOrder Data.Logic.Classes.Formula Data.Logic.Classes.Literal Data.Logic.Classes.Negate Data.Logic.Classes.Pretty Data.Logic.Classes.Propositional Data.Logic.Classes.Skolem Data.Logic.Classes.Term Data.Logic.Classes.Variable Data.Logic.Failing Data.Logic.Harrison.DefCNF Data.Logic.Harrison.DP Data.Logic.Harrison.Equal Data.Logic.Harrison.FOL Data.Logic.Harrison.Formulas.FirstOrder Data.Logic.Harrison.Formulas.Propositional Data.Logic.Harrison.Herbrand Data.Logic.Harrison.Lib Data.Logic.Harrison.Meson Data.Logic.Harrison.Normal Data.Logic.Harrison.Prolog Data.Logic.Harrison.Prop Data.Logic.Harrison.PropExamples Data.Logic.Harrison.Resolution Data.Logic.Harrison.Skolem Data.Logic.Harrison.Tableaux Data.Logic.Harrison.Unif Data.Logic.Instances.Chiou Data.Logic.Instances.PropLogic Data.Logic.Instances.SatSolver Data.Logic.KnowledgeBase Data.Logic.Normal.Clause Data.Logic.Normal.Implicative Data.Logic.Resolution Data.Logic.Satisfiable Data.Logic.Tests.HUnit Data.Logic.Types.Common Data.Logic.Types.FirstOrder Data.Logic.Types.FirstOrderPublic Data.Logic.Types.Harrison.Equal Data.Logic.Types.Harrison.FOL Data.Logic.Types.Harrison.Formulas.FirstOrder Data.Logic.Types.Harrison.Formulas.Propositional Data.Logic.Types.Harrison.Prop Data.Logic.Types.Propositional Data.Boolean Data.Boolean.SatSolver -Wall -O2 -O0 Registering logic-classes-1.4.8... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --no-user-package-conf