Build #1 for logic-classes-1.5
Package | logic-classes-1.5 |
---|
Install | BuildFailed |
---|---|
Docs | NotTried |
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]
Resolving dependencies... Configuring HUnit-1.2.5.2... Building HUnit-1.2.5.2... Preprocessing library HUnit-1.2.5.2... [1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o ) [2 of 5] Compiling Test.HUnit.Lang ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o ) [3 of 5] Compiling Test.HUnit.Base ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o ) [4 of 5] Compiling Test.HUnit.Text ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o ) [5 of 5] Compiling Test.HUnit ( Test/HUnit.hs, dist/build/Test/HUnit.o ) In-place registering HUnit-1.2.5.2... Running Haddock for HUnit-1.2.5.2... Running hscolour for HUnit-1.2.5.2... Preprocessing library HUnit-1.2.5.2... Preprocessing library HUnit-1.2.5.2... Haddock coverage: 100% ( 2 / 2) in 'Test.HUnit.Terminal' 86% ( 6 / 7) in 'Test.HUnit.Lang' 100% ( 33 / 33) in 'Test.HUnit.Base' 100% ( 8 / 8) in 'Test.HUnit.Text' 100% ( 3 / 3) in 'Test.HUnit' Documentation created: dist/doc/html/HUnit/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/HUnit-1.2.5.2 Registering HUnit-1.2.5.2... Installed HUnit-1.2.5.2 Configuring PropLogic-0.9.0.4... Building PropLogic-0.9.0.4... Preprocessing library PropLogic-0.9.0.4... [1 of 8] Compiling Costack ( Costack.hs, dist/build/Costack.o ) [2 of 8] Compiling Olist ( Olist.hs, dist/build/Olist.o ) [3 of 8] Compiling TextDisplay ( TextDisplay.hs, dist/build/TextDisplay.o ) [4 of 8] Compiling PropLogicCore ( PropLogicCore.hs, dist/build/PropLogicCore.o ) [5 of 8] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/DefaultPropLogic.o ) [6 of 8] Compiling FastPropLogic ( FastPropLogic.hs, dist/build/FastPropLogic.o ) [7 of 8] Compiling PropLogicTest ( PropLogicTest.hs, dist/build/PropLogicTest.o ) PropLogicTest.hs:634:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print "The input formula:"; D.display p }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:639:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print ((++) "The fast PDNF (computed in " (++) (show fastPdnfTime) " milliseconds):"); D.display fastPdnf }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:644:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print ((++) "The default PDNF (computed in " (++) (show defaultPdnfTime) " milliseconds):"); D.display defaultPdnf }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:649:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print ((++) "The fast PCNF (computed in " (++) (show fastPcnfTime) " milliseconds):"); D.display fastPcnf }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:654:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print ((++) "The default PCNF (computed in " (++) (show defaultPcnfTime) " milliseconds):"); D.display defaultPcnf }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:658:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print "The overall result is:"; print result }))", or by using the flag -fno-warn-wrong-do-bind [8 of 8] Compiling PropLogic ( PropLogic.hs, dist/build/PropLogic.o ) In-place registering PropLogic-0.9.0.4... Preprocessing executable 'program' for PropLogic-0.9.0.4... [1 of 9] Compiling Olist ( Olist.hs, dist/build/program/program-tmp/Olist.o ) [2 of 9] Compiling Costack ( Costack.hs, dist/build/program/program-tmp/Costack.o ) [3 of 9] Compiling TextDisplay ( TextDisplay.hs, dist/build/program/program-tmp/TextDisplay.o ) [4 of 9] Compiling PropLogicCore ( PropLogicCore.hs, dist/build/program/program-tmp/PropLogicCore.o ) [5 of 9] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/program/program-tmp/DefaultPropLogic.o ) [6 of 9] Compiling FastPropLogic ( FastPropLogic.hs, dist/build/program/program-tmp/FastPropLogic.o ) [7 of 9] Compiling PropLogicTest ( PropLogicTest.hs, dist/build/program/program-tmp/PropLogicTest.o ) PropLogicTest.hs:634:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print "The input formula:"; D.display p }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:639:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print ((++) "The fast PDNF (computed in " (++) (show fastPdnfTime) " milliseconds):"); D.display fastPdnf }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:644:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print ((++) "The default PDNF (computed in " (++) (show defaultPdnfTime) " milliseconds):"); D.display defaultPdnf }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:649:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print ((++) "The fast PCNF (computed in " (++) (show fastPcnfTime) " milliseconds):"); D.display fastPcnf }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:654:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print ((++) "The default PCNF (computed in " (++) (show defaultPcnfTime) " milliseconds):"); D.display defaultPcnf }))", or by using the flag -fno-warn-wrong-do-bind PropLogicTest.hs:658:8: Warning: A do-notation statement discarded a result of type IO (). Suppress this warning by saying "_ <- return (ifVerbose (do { print "The overall result is:"; print result }))", or by using the flag -fno-warn-wrong-do-bind [8 of 9] Compiling PropLogic ( PropLogic.hs, dist/build/program/program-tmp/PropLogic.o ) [9 of 9] Compiling Main ( Main.hs, dist/build/program/program-tmp/Main.o ) Linking dist/build/program/program ... Running Haddock for PropLogic-0.9.0.4... Running hscolour for PropLogic-0.9.0.4... Preprocessing library PropLogic-0.9.0.4... Preprocessing executable 'program' for PropLogic-0.9.0.4... Preprocessing library PropLogic-0.9.0.4... Haddock coverage: 0% ( 0 / 23) in 'Costack' 57% ( 25 / 44) in 'Olist' 47% ( 21 / 45) in 'TextDisplay' 70% ( 7 / 10) in 'PropLogicCore' 59% (118 /201) in 'DefaultPropLogic' 21% ( 28 /133) in 'FastPropLogic' 42% ( 41 / 97) in 'PropLogicTest' 100% ( 29 / 29) in 'PropLogic' Documentation created: dist/doc/html/PropLogic/index.html Preprocessing executable 'program' for PropLogic-0.9.0.4... Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/PropLogic-0.9.0.4 Installing executable(s) in /srv/hackage/var/build/tmp-install/bin Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the system search path. Registering PropLogic-0.9.0.4... Installed PropLogic-0.9.0.4 Configuring applicative-extras-0.1.8... Building applicative-extras-0.1.8... Preprocessing library applicative-extras-0.1.8... [1 of 3] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o ) [2 of 3] Compiling Control.Applicative.Error ( Control/Applicative/Error.hs, dist/build/Control/Applicative/Error.o ) [3 of 3] Compiling Control.Applicative.Compose ( Control/Applicative/Compose.hs, dist/build/Control/Applicative/Compose.o ) In-place registering applicative-extras-0.1.8... Running Haddock for applicative-extras-0.1.8... Running hscolour for applicative-extras-0.1.8... Preprocessing library applicative-extras-0.1.8... Preprocessing library applicative-extras-0.1.8... Haddock coverage: 0% ( 0 / 2) in 'Control.Applicative.Backwards' 57% ( 4 / 7) in 'Control.Applicative.Error' 50% ( 1 / 2) in 'Control.Applicative.Compose' Documentation created: dist/doc/html/applicative-extras/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/applicative-extras-0.1.8 Registering applicative-extras-0.1.8... Installed applicative-extras-0.1.8 Configuring cereal-0.4.0.1... Building cereal-0.4.0.1... Preprocessing library cereal-0.4.0.1... [1 of 5] Compiling Data.Serialize.Builder ( src/Data/Serialize/Builder.hs, dist/build/Data/Serialize/Builder.o ) [2 of 5] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, dist/build/Data/Serialize/Put.o ) [3 of 5] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, dist/build/Data/Serialize/Get.o ) [4 of 5] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, dist/build/Data/Serialize/IEEE754.o ) [5 of 5] Compiling Data.Serialize ( src/Data/Serialize.hs, dist/build/Data/Serialize.o ) In-place registering cereal-0.4.0.1... Running Haddock for cereal-0.4.0.1... Running hscolour for cereal-0.4.0.1... Preprocessing library cereal-0.4.0.1... Preprocessing library cereal-0.4.0.1... Haddock coverage: 96% ( 26 / 27) in 'Data.Serialize.Builder' 69% ( 29 / 42) in 'Data.Serialize.Put' 94% ( 50 / 53) in 'Data.Serialize.Get' 100% ( 11 / 11) in 'Data.Serialize.IEEE754' Cannot find documentation for: $example 100% ( 11 / 11) in 'Data.Serialize' Warning: Data.Serialize.Put: could not find link destinations for: Data.Serialize.Put.PairS Warning: Data.Serialize.Get: could not find link destinations for: Data.Serialize.Get.get Documentation created: dist/doc/html/cereal/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cereal-0.4.0.1 Registering cereal-0.4.0.1... Installed cereal-0.4.0.1 Configuring fgl-5.4.2.4... Building fgl-5.4.2.4... Preprocessing library fgl-5.4.2.4... [ 1 of 29] Compiling Data.Graph.Inductive.Internal.Thread ( Data/Graph/Inductive/Internal/Thread.hs, dist/build/Data/Graph/Inductive/Internal/Thread.o ) [ 2 of 29] Compiling Data.Graph.Inductive.Graph ( Data/Graph/Inductive/Graph.hs, dist/build/Data/Graph/Inductive/Graph.o ) [ 3 of 29] Compiling Data.Graph.Inductive.Basic ( Data/Graph/Inductive/Basic.hs, dist/build/Data/Graph/Inductive/Basic.o ) [ 4 of 29] Compiling Data.Graph.Inductive.Monad ( Data/Graph/Inductive/Monad.hs, dist/build/Data/Graph/Inductive/Monad.o ) [ 5 of 29] Compiling Data.Graph.Inductive.Monad.IOArray ( Data/Graph/Inductive/Monad/IOArray.hs, dist/build/Data/Graph/Inductive/Monad/IOArray.o ) [ 6 of 29] Compiling Data.Graph.Inductive.Graphviz ( Data/Graph/Inductive/Graphviz.hs, dist/build/Data/Graph/Inductive/Graphviz.o ) [ 7 of 29] Compiling Data.Graph.Inductive.PatriciaTree ( Data/Graph/Inductive/PatriciaTree.hs, dist/build/Data/Graph/Inductive/PatriciaTree.o ) [ 8 of 29] Compiling Data.Graph.Inductive.Query.DFS ( Data/Graph/Inductive/Query/DFS.hs, dist/build/Data/Graph/Inductive/Query/DFS.o ) [ 9 of 29] Compiling Data.Graph.Inductive.Query.Indep ( Data/Graph/Inductive/Query/Indep.hs, dist/build/Data/Graph/Inductive/Query/Indep.o ) [10 of 29] Compiling Data.Graph.Inductive.Query.ArtPoint ( Data/Graph/Inductive/Query/ArtPoint.hs, dist/build/Data/Graph/Inductive/Query/ArtPoint.o ) [11 of 29] Compiling Data.Graph.Inductive.Query.BCC ( Data/Graph/Inductive/Query/BCC.hs, dist/build/Data/Graph/Inductive/Query/BCC.o ) [12 of 29] Compiling Data.Graph.Inductive.Query.Dominators ( Data/Graph/Inductive/Query/Dominators.hs, dist/build/Data/Graph/Inductive/Query/Dominators.o ) [13 of 29] Compiling Data.Graph.Inductive.Query.TransClos ( Data/Graph/Inductive/Query/TransClos.hs, dist/build/Data/Graph/Inductive/Query/TransClos.o ) [14 of 29] Compiling Data.Graph.Inductive.Query.Monad ( Data/Graph/Inductive/Query/Monad.hs, dist/build/Data/Graph/Inductive/Query/Monad.o ) [15 of 29] Compiling Data.Graph.Inductive.Internal.RootPath ( Data/Graph/Inductive/Internal/RootPath.hs, dist/build/Data/Graph/Inductive/Internal/RootPath.o ) [16 of 29] Compiling Data.Graph.Inductive.Internal.Queue ( Data/Graph/Inductive/Internal/Queue.hs, dist/build/Data/Graph/Inductive/Internal/Queue.o ) [17 of 29] Compiling Data.Graph.Inductive.Query.BFS ( Data/Graph/Inductive/Query/BFS.hs, dist/build/Data/Graph/Inductive/Query/BFS.o ) [18 of 29] Compiling Data.Graph.Inductive.Query.MaxFlow ( Data/Graph/Inductive/Query/MaxFlow.hs, dist/build/Data/Graph/Inductive/Query/MaxFlow.o ) [19 of 29] Compiling Data.Graph.Inductive.Internal.Heap ( Data/Graph/Inductive/Internal/Heap.hs, dist/build/Data/Graph/Inductive/Internal/Heap.o ) [20 of 29] Compiling Data.Graph.Inductive.Query.SP ( Data/Graph/Inductive/Query/SP.hs, dist/build/Data/Graph/Inductive/Query/SP.o ) [21 of 29] Compiling Data.Graph.Inductive.Query.GVD ( Data/Graph/Inductive/Query/GVD.hs, dist/build/Data/Graph/Inductive/Query/GVD.o ) [22 of 29] Compiling Data.Graph.Inductive.Query.MST ( Data/Graph/Inductive/Query/MST.hs, dist/build/Data/Graph/Inductive/Query/MST.o ) [23 of 29] Compiling Data.Graph.Inductive.Internal.FiniteMap ( Data/Graph/Inductive/Internal/FiniteMap.hs, dist/build/Data/Graph/Inductive/Internal/FiniteMap.o ) [24 of 29] Compiling Data.Graph.Inductive.Tree ( Data/Graph/Inductive/Tree.hs, dist/build/Data/Graph/Inductive/Tree.o ) [25 of 29] Compiling Data.Graph.Inductive.NodeMap ( Data/Graph/Inductive/NodeMap.hs, dist/build/Data/Graph/Inductive/NodeMap.o ) [26 of 29] Compiling Data.Graph.Inductive.Query.MaxFlow2 ( Data/Graph/Inductive/Query/MaxFlow2.hs, dist/build/Data/Graph/Inductive/Query/MaxFlow2.o ) [27 of 29] Compiling Data.Graph.Inductive.Query ( Data/Graph/Inductive/Query.hs, dist/build/Data/Graph/Inductive/Query.o ) [28 of 29] Compiling Data.Graph.Inductive ( Data/Graph/Inductive.hs, dist/build/Data/Graph/Inductive.o ) [29 of 29] Compiling Data.Graph.Inductive.Example ( Data/Graph/Inductive/Example.hs, dist/build/Data/Graph/Inductive/Example.o ) In-place registering fgl-5.4.2.4... Running Haddock for fgl-5.4.2.4... Running hscolour for fgl-5.4.2.4... Preprocessing library fgl-5.4.2.4... Preprocessing library fgl-5.4.2.4... Haddock coverage: 23% ( 3 / 13) in 'Data.Graph.Inductive.Internal.Thread' 96% ( 72 / 75) in 'Data.Graph.Inductive.Graph' 100% ( 18 / 18) in 'Data.Graph.Inductive.Basic' 47% ( 8 / 17) in 'Data.Graph.Inductive.Monad' 40% ( 4 / 10) in 'Data.Graph.Inductive.Monad.IOArray' 75% ( 3 / 4) in 'Data.Graph.Inductive.Graphviz' 33% ( 1 / 3) in 'Data.Graph.Inductive.PatriciaTree' 16% ( 5 / 32) in 'Data.Graph.Inductive.Query.DFS' 50% ( 1 / 2) in 'Data.Graph.Inductive.Query.Indep' 50% ( 1 / 2) in 'Data.Graph.Inductive.Query.ArtPoint' 50% ( 1 / 2) in 'Data.Graph.Inductive.Query.BCC' 67% ( 2 / 3) in 'Data.Graph.Inductive.Query.Dominators' 50% ( 1 / 2) in 'Data.Graph.Inductive.Query.TransClos' 30% ( 13 / 43) in 'Data.Graph.Inductive.Query.Monad' 33% ( 3 / 9) in 'Data.Graph.Inductive.Internal.RootPath' 22% ( 2 / 9) in 'Data.Graph.Inductive.Internal.Queue' 33% ( 6 / 18) in 'Data.Graph.Inductive.Query.BFS' 100% ( 9 / 9) in 'Data.Graph.Inductive.Query.MaxFlow' 19% ( 3 / 16) in 'Data.Graph.Inductive.Internal.Heap' 20% ( 1 / 5) in 'Data.Graph.Inductive.Query.SP' 12% ( 1 / 8) in 'Data.Graph.Inductive.Query.GVD' 40% ( 2 / 5) in 'Data.Graph.Inductive.Query.MST' 38% ( 8 / 21) in 'Data.Graph.Inductive.Internal.FiniteMap' 33% ( 1 / 3) in 'Data.Graph.Inductive.Tree' 48% ( 21 / 44) in 'Data.Graph.Inductive.NodeMap' 20% ( 1 / 5) in 'Data.Graph.Inductive.Query.MaxFlow2' 93% ( 13 / 14) in 'Data.Graph.Inductive.Query' 91% ( 10 / 11) in 'Data.Graph.Inductive' 23% ( 14 / 61) in 'Data.Graph.Inductive.Example' Documentation created: dist/doc/html/fgl/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/fgl-5.4.2.4 Registering fgl-5.4.2.4... Installed fgl-5.4.2.4 Configuring syb-0.4.1... Building syb-0.4.1... Preprocessing library syb-0.4.1... [ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o ) [ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o ) [ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o ) [ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o ) [ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o ) [ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o ) [ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o ) [ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o ) [ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o ) [10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o ) [11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o ) [12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o ) [13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o ) [14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o ) [15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o ) [16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o ) In-place registering syb-0.4.1... Running Haddock for syb-0.4.1... Running hscolour for syb-0.4.1... Preprocessing library syb-0.4.1... Preprocessing library syb-0.4.1... Haddock coverage: 100% ( 2 / 2) in 'Data.Generics.Basics' 100% ( 2 / 2) in 'Generics.SYB.Basics' 100% ( 1 / 1) in 'Data.Generics.Instances' 100% ( 1 / 1) in 'Generics.SYB.Instances' 96% ( 43 / 45) in 'Data.Generics.Aliases' 100% ( 19 / 19) in 'Data.Generics.Schemes' 100% ( 2 / 2) in 'Generics.SYB.Schemes' 100% ( 6 / 6) in 'Data.Generics.Text' 100% ( 2 / 2) in 'Generics.SYB.Text' 100% ( 16 / 16) in 'Data.Generics.Twins' 100% ( 2 / 2) in 'Generics.SYB.Twins' 100% ( 3 / 3) in 'Data.Generics.Builders' 100% ( 2 / 2) in 'Generics.SYB.Builders' 100% ( 2 / 2) in 'Generics.SYB.Aliases' 100% ( 8 / 8) in 'Data.Generics' 100% ( 2 / 2) in 'Generics.SYB' Documentation created: dist/doc/html/syb/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-0.4.1 Registering syb-0.4.1... Installed syb-0.4.1 Configuring syb-with-class-0.6.1.4... Building syb-with-class-0.6.1.4... Preprocessing library syb-with-class-0.6.1.4... [1 of 4] Compiling Data.Generics.SYB.WithClass.Context ( Data/Generics/SYB/WithClass/Context.hs, dist/build/Data/Generics/SYB/WithClass/Context.o ) [2 of 4] Compiling Data.Generics.SYB.WithClass.Basics ( Data/Generics/SYB/WithClass/Basics.hs, dist/build/Data/Generics/SYB/WithClass/Basics.o ) [3 of 4] Compiling Data.Generics.SYB.WithClass.Derive ( Data/Generics/SYB/WithClass/Derive.hs, dist/build/Data/Generics/SYB/WithClass/Derive.o ) Data/Generics/SYB/WithClass/Derive.hs:42:34: Warning: In the use of `mkTyCon' (imported from Data.Generics.SYB.WithClass.Basics, but defined in Data.Typeable): Deprecated: "either derive Typeable, or use mkTyCon3 instead" [4 of 4] Compiling Data.Generics.SYB.WithClass.Instances ( Data/Generics/SYB/WithClass/Instances.hs, dist/build/Data/Generics/SYB/WithClass/Instances.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 pretty-1.1.1.0 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package bytestring-0.10.0.2 ... linking ... done. In-place registering syb-with-class-0.6.1.4... Running Haddock for syb-with-class-0.6.1.4... Running hscolour for syb-with-class-0.6.1.4... Preprocessing library syb-with-class-0.6.1.4... Preprocessing library syb-with-class-0.6.1.4... Data/Generics/SYB/WithClass/Derive.hs:42:34: Warning: In the use of `mkTyCon' (imported from Data.Generics.SYB.WithClass.Basics, but defined in Data.Typeable): Deprecated: "either derive Typeable, or use mkTyCon3 instead" Haddock coverage: 0% ( 0 / 6) in 'Data.Generics.SYB.WithClass.Context' 67% ( 33 / 49) in 'Data.Generics.SYB.WithClass.Basics' 31% ( 5 / 16) in 'Data.Generics.SYB.WithClass.Derive' 0% ( 0 / 1) in 'Data.Generics.SYB.WithClass.Instances' Documentation created: dist/doc/html/syb-with-class/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-with-class-0.6.1.4 Registering syb-with-class-0.6.1.4... Installed syb-with-class-0.6.1.4 Configuring safecopy-0.8.2... Building safecopy-0.8.2... Preprocessing library safecopy-0.8.2... [1 of 4] Compiling Data.SafeCopy.SafeCopy ( src/Data/SafeCopy/SafeCopy.hs, dist/build/Data/SafeCopy/SafeCopy.o ) [2 of 4] Compiling Data.SafeCopy.Derive ( src/Data/SafeCopy/Derive.hs, dist/build/Data/SafeCopy/Derive.o ) src/Data/SafeCopy/Derive.hs:15:1: Warning: The import item `Kind(..)' suggests that `Kind' has (in-scope) constructors or class methods, but it has none [3 of 4] Compiling Data.SafeCopy.Instances ( src/Data/SafeCopy/Instances.hs, dist/build/Data/SafeCopy/Instances.o ) [4 of 4] Compiling Data.SafeCopy ( src/Data/SafeCopy.hs, dist/build/Data/SafeCopy.o ) In-place registering safecopy-0.8.2... Running Haddock for safecopy-0.8.2... Running hscolour for safecopy-0.8.2... Preprocessing library safecopy-0.8.2... Preprocessing library safecopy-0.8.2... dist/build/tmp-16334/src/Data/SafeCopy/Derive.hs:15:1: Warning: The import item `Kind(..)' suggests that `Kind' has (in-scope) constructors or class methods, but it has none Haddock coverage: 45% ( 18 / 40) in 'Data.SafeCopy.SafeCopy' 43% ( 3 / 7) in 'Data.SafeCopy.Derive' 0% ( 0 / 6) in 'Data.SafeCopy.Instances' 85% ( 23 / 27) in 'Data.SafeCopy' Warning: Data.SafeCopy: could not find link destinations for: Data.SafeCopy.SafeCopy.Proxy Documentation created: dist/doc/html/safecopy/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/safecopy-0.8.2 Registering safecopy-0.8.2... Installed safecopy-0.8.2 Configuring set-extra-1.3.1... Building set-extra-1.3.1... Preprocessing library set-extra-1.3.1... [1 of 2] Compiling Data.Set.ExtraG ( Data/Set/ExtraG.hs, dist/build/Data/Set/ExtraG.o ) [2 of 2] Compiling Data.Set.Extra ( Data/Set/Extra.hs, dist/build/Data/Set/Extra.o ) In-place registering set-extra-1.3.1... Running Haddock for set-extra-1.3.1... Running hscolour for set-extra-1.3.1... Preprocessing library set-extra-1.3.1... Preprocessing library set-extra-1.3.1... Haddock coverage: 0% ( 0 / 2) in 'Data.Set.ExtraG' Warning: set-extra-1.3.1:Data.Set.Extra: Could not find documentation for exported module: Set 13% ( 3 / 23) in 'Data.Set.Extra' Documentation created: dist/doc/html/set-extra/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/set-extra-1.3.1 Registering set-extra-1.3.1... Installed set-extra-1.3.1 Downloading logic-classes-1.5... Configuring logic-classes-1.5... Building logic-classes-1.5... Preprocessing library logic-classes-1.5... [ 1 of 53] Compiling Data.Boolean ( Data/Boolean.hs, dist/build/Data/Boolean.o ) [ 2 of 53] Compiling Data.Boolean.SatSolver ( Data/Boolean/SatSolver.hs, dist/build/Data/Boolean/SatSolver.o ) [ 3 of 53] Compiling Data.Logic.Failing ( Data/Logic/Failing.hs, dist/build/Data/Logic/Failing.o ) [ 4 of 53] Compiling Data.Logic.Harrison.Lib ( Data/Logic/Harrison/Lib.hs, dist/build/Data/Logic/Harrison/Lib.o ) [ 5 of 53] Compiling Data.Logic.Classes.Negate ( Data/Logic/Classes/Negate.hs, dist/build/Data/Logic/Classes/Negate.o ) [ 6 of 53] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o ) [ 7 of 53] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o ) [ 8 of 53] Compiling Data.Logic.Classes.Pretty ( Data/Logic/Classes/Pretty.hs, dist/build/Data/Logic/Classes/Pretty.o ) [ 9 of 53] Compiling Data.Logic.Classes.Combine ( Data/Logic/Classes/Combine.hs, dist/build/Data/Logic/Classes/Combine.o ) [10 of 53] Compiling Data.Logic.Classes.Variable ( Data/Logic/Classes/Variable.hs, dist/build/Data/Logic/Classes/Variable.o ) [11 of 53] Compiling Data.Logic.Classes.Skolem ( Data/Logic/Classes/Skolem.hs, dist/build/Data/Logic/Classes/Skolem.o ) [12 of 53] Compiling Data.Logic.Classes.Term ( Data/Logic/Classes/Term.hs, dist/build/Data/Logic/Classes/Term.o ) [13 of 53] Compiling Data.Logic.Harrison.Unif ( Data/Logic/Harrison/Unif.hs, dist/build/Data/Logic/Harrison/Unif.o ) [14 of 53] Compiling Data.Logic.Types.Common ( Data/Logic/Types/Common.hs, dist/build/Data/Logic/Types/Common.o ) Data/Logic/Types/Common.hs:8:10: Warning: Orphan instance: instance Variable String [15 of 53] Compiling Data.Logic.Classes.Formula ( Data/Logic/Classes/Formula.hs, dist/build/Data/Logic/Classes/Formula.o ) [16 of 53] Compiling Data.Logic.Classes.Constants ( Data/Logic/Classes/Constants.hs, dist/build/Data/Logic/Classes/Constants.o ) Data/Logic/Classes/Constants.hs:39:10: Warning: Orphan instance: instance Pretty Bool [17 of 53] 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.1 ... 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 53] Compiling Data.Logic.Classes.Literal ( Data/Logic/Classes/Literal.hs, dist/build/Data/Logic/Classes/Literal.o ) [19 of 53] Compiling Data.Logic.Classes.FirstOrder ( Data/Logic/Classes/FirstOrder.hs, dist/build/Data/Logic/Classes/FirstOrder.o ) [20 of 53] Compiling Data.Logic.Harrison.Formulas.FirstOrder ( Data/Logic/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Harrison/Formulas/FirstOrder.o ) [21 of 53] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o ) [22 of 53] Compiling Data.Logic.Harrison.Prop ( Data/Logic/Harrison/Prop.hs, dist/build/Data/Logic/Harrison/Prop.o ) [23 of 53] Compiling Data.Logic.Types.Propositional ( Data/Logic/Types/Propositional.hs, dist/build/Data/Logic/Types/Propositional.o ) [24 of 53] Compiling Data.Logic.Harrison.PropExamples ( Data/Logic/Harrison/PropExamples.hs, dist/build/Data/Logic/Harrison/PropExamples.o ) Data/Logic/Harrison/PropExamples.hs:55:22: Warning: 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' [25 of 53] Compiling Data.Logic.Harrison.DefCNF ( Data/Logic/Harrison/DefCNF.hs, dist/build/Data/Logic/Harrison/DefCNF.o ) [26 of 53] Compiling Data.Logic.Types.Harrison.Formulas.FirstOrder ( Data/Logic/Types/Harrison/Formulas/FirstOrder.hs, dist/build/Data/Logic/Types/Harrison/Formulas/FirstOrder.o ) [27 of 53] Compiling Data.Logic.Types.Harrison.Formulas.Propositional ( Data/Logic/Types/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Types/Harrison/Formulas/Propositional.o ) [28 of 53] Compiling Data.Logic.Types.Harrison.Prop ( Data/Logic/Types/Harrison/Prop.hs, dist/build/Data/Logic/Types/Harrison/Prop.o ) Data/Logic/Types/Harrison/Prop.hs:27:10: Warning: Orphan instance: instance HasFixity String Data/Logic/Types/Harrison/Prop.hs:36:10: Warning: Orphan instance: instance Show (Formula String) [29 of 53] Compiling Data.Logic.Classes.Arity ( Data/Logic/Classes/Arity.hs, dist/build/Data/Logic/Classes/Arity.o ) [30 of 53] Compiling Data.Logic.Classes.Apply ( Data/Logic/Classes/Apply.hs, dist/build/Data/Logic/Classes/Apply.o ) [31 of 53] Compiling Data.Logic.Classes.Equals ( Data/Logic/Classes/Equals.hs, dist/build/Data/Logic/Classes/Equals.o ) Data/Logic/Classes/Equals.hs:139:7: Warning: 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') [32 of 53] Compiling Data.Logic.Harrison.Equal ( Data/Logic/Harrison/Equal.hs, dist/build/Data/Logic/Harrison/Equal.o ) [33 of 53] Compiling Data.Logic.Harrison.FOL ( Data/Logic/Harrison/FOL.hs, dist/build/Data/Logic/Harrison/FOL.o ) Data/Logic/Harrison/FOL.hs:62:1: Warning: 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 53] Compiling Data.Logic.Harrison.Skolem ( Data/Logic/Harrison/Skolem.hs, dist/build/Data/Logic/Harrison/Skolem.o ) [35 of 53] Compiling Data.Logic.Harrison.Normal ( Data/Logic/Harrison/Normal.hs, dist/build/Data/Logic/Harrison/Normal.o ) [36 of 53] Compiling Data.Logic.Normal.Clause ( Data/Logic/Normal/Clause.hs, dist/build/Data/Logic/Normal/Clause.o ) [37 of 53] Compiling Data.Logic.Instances.PropLogic ( Data/Logic/Instances/PropLogic.hs, dist/build/Data/Logic/Instances/PropLogic.o ) Data/Logic/Instances/PropLogic.hs:41:29: Warning: 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 53] Compiling Data.Logic.Normal.Implicative ( Data/Logic/Normal/Implicative.hs, dist/build/Data/Logic/Normal/Implicative.o ) [39 of 53] Compiling Data.Logic.Instances.SatSolver ( Data/Logic/Instances/SatSolver.hs, dist/build/Data/Logic/Instances/SatSolver.o ) [40 of 53] Compiling Data.Logic.Satisfiable ( Data/Logic/Satisfiable.hs, dist/build/Data/Logic/Satisfiable.o ) [41 of 53] Compiling Data.Logic.Harrison.Prolog ( Data/Logic/Harrison/Prolog.hs, dist/build/Data/Logic/Harrison/Prolog.o ) [42 of 53] Compiling Data.Logic.Resolution ( Data/Logic/Resolution.hs, dist/build/Data/Logic/Resolution.o ) [43 of 53] Compiling Data.Logic.KnowledgeBase ( Data/Logic/KnowledgeBase.hs, dist/build/Data/Logic/KnowledgeBase.o ) [44 of 53] Compiling Data.Logic.Types.Harrison.FOL ( Data/Logic/Types/Harrison/FOL.hs, dist/build/Data/Logic/Types/Harrison/FOL.o ) [45 of 53] Compiling Data.Logic.Tests.HUnit ( Data/Logic/Tests/HUnit.hs, dist/build/Data/Logic/Tests/HUnit.o ) Data/Logic/Tests/HUnit.hs:66:10: Warning: Orphan instance: instance IsString Function [46 of 53] Compiling Data.Logic.Harrison.DP ( Data/Logic/Harrison/DP.hs, dist/build/Data/Logic/Harrison/DP.o ) Data/Logic/Harrison/DP.hs:13:1: Warning: 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) [47 of 53] Compiling Data.Logic.Harrison.Herbrand ( Data/Logic/Harrison/Herbrand.hs, dist/build/Data/Logic/Harrison/Herbrand.o ) [48 of 53] Compiling Data.Logic.Harrison.Tableaux ( Data/Logic/Harrison/Tableaux.hs, dist/build/Data/Logic/Harrison/Tableaux.o ) Data/Logic/Harrison/Tableaux.hs:15:1: Warning: The import of `Data.Logic.Classes.FirstOrder' is redundant except perhaps to import instances from `Data.Logic.Classes.FirstOrder' To import instances alone, use: import Data.Logic.Classes.FirstOrder() Data/Logic/Harrison/Tableaux.hs:19:1: Warning: The import of `Data.Logic.Classes.Propositional' is redundant except perhaps to import instances from `Data.Logic.Classes.Propositional' To import instances alone, use: import Data.Logic.Classes.Propositional() Data/Logic/Harrison/Tableaux.hs:21:1: Warning: The import of `Data.Logic.Harrison.FOL' is redundant except perhaps to import instances from `Data.Logic.Harrison.FOL' To import instances alone, use: import Data.Logic.Harrison.FOL() Data/Logic/Harrison/Tableaux.hs:22:1: Warning: The import of `Data.Logic.Harrison.Herbrand' is redundant except perhaps to import instances from `Data.Logic.Harrison.Herbrand' To import instances alone, use: import Data.Logic.Harrison.Herbrand() Data/Logic/Harrison/Tableaux.hs:24:1: Warning: The import of `Data.Logic.Harrison.Prop' is redundant except perhaps to import instances from `Data.Logic.Harrison.Prop' To import instances alone, use: import Data.Logic.Harrison.Prop() Data/Logic/Harrison/Tableaux.hs:25:1: Warning: The import of `Data.Logic.Harrison.Skolem' is redundant except perhaps to import instances from `Data.Logic.Harrison.Skolem' To import instances alone, use: import Data.Logic.Harrison.Skolem() Data/Logic/Harrison/Tableaux.hs:80:1: Warning: 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' [49 of 53] Compiling Data.Logic.Harrison.Meson ( Data/Logic/Harrison/Meson.hs, dist/build/Data/Logic/Harrison/Meson.o ) Data/Logic/Harrison/Meson.hs:9:1: Warning: The import of `Constants' from module `Data.Logic.Classes.Constants' is redundant [50 of 53] Compiling Data.Logic.Harrison.Resolution ( Data/Logic/Harrison/Resolution.hs, dist/build/Data/Logic/Harrison/Resolution.o ) [51 of 53] Compiling Data.Logic.Types.FirstOrder ( Data/Logic/Types/FirstOrder.hs, dist/build/Data/Logic/Types/FirstOrder.o ) Data/Logic/Types/FirstOrder.hs:18:1: Warning: The import of `pApp, .=.' from module `Data.Logic.Classes.Equals' is redundant [52 of 53] Compiling Data.Logic.Types.FirstOrderPublic ( Data/Logic/Types/FirstOrderPublic.hs, dist/build/Data/Logic/Types/FirstOrderPublic.o ) [53 of 53] Compiling Data.Logic.Types.Harrison.Equal ( Data/Logic/Types/Harrison/Equal.hs, dist/build/Data/Logic/Types/Harrison/Equal.o ) Data/Logic/Types/Harrison/Equal.hs:19:1: Warning: The import of `mapAtomsFirstOrder, foldAtomsFirstOrder' from module `Data.Logic.Classes.FirstOrder' is redundant In-place registering logic-classes-1.5... Preprocessing executable 'tests' for logic-classes-1.5... Data/Logic/Tests/Common.hs:48:18: Could not find module `Data.Logic.Instances.Chiou' Use -v to see a list of the files searched for. Failed to install logic-classes-1.5 cabal: Error: some packages failed to install: logic-classes-1.5 failed during the building phase. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.