Build #1 for logic-classes-1.4.8
| Package | logic-classes-1.4.8 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | text-0.11.2.3, template-haskell-2.8.0.0, syb-with-class-0.6.1.4, syb-0.4.1, set-extra-1.3.1, safecopy-0.8.2, pretty-1.1.1.0, mtl-2.1.2, fgl-5.4.2.4, containers-0.5.0.0, base-4.6.0.1, applicative-extras-0.1.8, PropLogic-0.9.0.4, HUnit-1.2.5.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.