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... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: random-1.0.1.1 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... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: mtl-2.1.2, transformers-0.3.0.0 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' Warning: Data.Graph.Inductive.NodeMap: could not find link destinations for: Control.Monad.Trans.State.Lazy.State 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 incremental-sat-solver-0.1.7... Building incremental-sat-solver-0.1.7... Preprocessing library incremental-sat-solver-0.1.7... [1 of 2] Compiling Data.Boolean ( Data/Boolean.hs, dist/build/Data/Boolean.o ) [2 of 2] Compiling Data.Boolean.SatSolver ( Data/Boolean/SatSolver.hs, dist/build/Data/Boolean/SatSolver.o ) In-place registering incremental-sat-solver-0.1.7... Running Haddock for incremental-sat-solver-0.1.7... Running hscolour for incremental-sat-solver-0.1.7... Preprocessing library incremental-sat-solver-0.1.7... Preprocessing library incremental-sat-solver-0.1.7... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: mtl-2.1.2, transformers-0.3.0.0 Haddock coverage: 89% ( 8 / 9) in 'Data.Boolean' 100% ( 11 / 11) in 'Data.Boolean.SatSolver' Documentation created: dist/doc/html/incremental-sat-solver/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/incremental-sat-solver-0.1.7 Registering incremental-sat-solver-0.1.7... Installed incremental-sat-solver-0.1.7 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... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: text-0.11.2.3 dist/build/tmp-29532/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 Data.Text.Internal.Text Data.Text.Lazy.Internal.Text 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... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: mtl-2.1.2, transformers-0.3.0.0 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.4.6... Configuring logic-classes-1.4.6... Building logic-classes-1.4.6... Preprocessing library logic-classes-1.4.6... [ 1 of 51] Compiling Data.Logic.Harrison.Lib ( Data/Logic/Harrison/Lib.hs, dist/build/Data/Logic/Harrison/Lib.o ) Data/Logic/Harrison/Lib.hs:53:10: Warning: Orphan instance: instance Monad Failing Data/Logic/Harrison/Lib.hs:61:1: Warning: Orphan instance: instance Typeable1 Failing Data/Logic/Harrison/Lib.hs:62:1: Warning: Orphan instance: instance Data a => Data (Failing a) Data/Logic/Harrison/Lib.hs:63:1: Warning: Orphan instance: instance Read a => Read (Failing a) Data/Logic/Harrison/Lib.hs:64:1: Warning: Orphan instance: instance Eq a => Eq (Failing a) Data/Logic/Harrison/Lib.hs:65:1: Warning: Orphan instance: instance Ord a => Ord (Failing a) [ 2 of 51] Compiling Data.Logic.Classes.Formula ( Data/Logic/Classes/Formula.hs, dist/build/Data/Logic/Classes/Formula.o ) [ 3 of 51] Compiling Data.Logic.Classes.Negate ( Data/Logic/Classes/Negate.hs, dist/build/Data/Logic/Classes/Negate.o ) [ 4 of 51] Compiling Data.Logic.Classes.ClauseNormalForm ( Data/Logic/Classes/ClauseNormalForm.hs, dist/build/Data/Logic/Classes/ClauseNormalForm.o ) [ 5 of 51] Compiling Data.Logic.Classes.Atom ( Data/Logic/Classes/Atom.hs, dist/build/Data/Logic/Classes/Atom.o ) [ 6 of 51] Compiling Data.Logic.Classes.Pretty ( Data/Logic/Classes/Pretty.hs, dist/build/Data/Logic/Classes/Pretty.o ) [ 7 of 51] Compiling Data.Logic.Classes.Combine ( Data/Logic/Classes/Combine.hs, dist/build/Data/Logic/Classes/Combine.o ) [ 8 of 51] Compiling Data.Logic.Classes.Variable ( Data/Logic/Classes/Variable.hs, dist/build/Data/Logic/Classes/Variable.o ) [ 9 of 51] Compiling Data.Logic.Classes.Skolem ( Data/Logic/Classes/Skolem.hs, dist/build/Data/Logic/Classes/Skolem.o ) [10 of 51] Compiling Data.Logic.Classes.Term ( Data/Logic/Classes/Term.hs, dist/build/Data/Logic/Classes/Term.o ) [11 of 51] Compiling Data.Logic.Harrison.Unif ( Data/Logic/Harrison/Unif.hs, dist/build/Data/Logic/Harrison/Unif.o ) [12 of 51] 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 [13 of 51] 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 [14 of 51] 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 incremental-sat-solver-0.1.7 ... 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. [15 of 51] Compiling Data.Logic.Harrison.Formulas.Propositional ( Data/Logic/Harrison/Formulas/Propositional.hs, dist/build/Data/Logic/Harrison/Formulas/Propositional.o ) [16 of 51] Compiling Data.Logic.Classes.Arity ( Data/Logic/Classes/Arity.hs, dist/build/Data/Logic/Classes/Arity.o ) [17 of 51] 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' [18 of 51] Compiling Data.Logic.Classes.FirstOrder ( Data/Logic/Classes/FirstOrder.hs, dist/build/Data/Logic/Classes/FirstOrder.o ) [19 of 51] 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') [20 of 51] Compiling Data.Logic.Classes.Literal ( Data/Logic/Classes/Literal.hs, dist/build/Data/Logic/Classes/Literal.o ) [21 of 51] Compiling Data.Logic.Harrison.Prop ( Data/Logic/Harrison/Prop.hs, dist/build/Data/Logic/Harrison/Prop.o ) [22 of 51] Compiling Data.Logic.Types.Propositional ( Data/Logic/Types/Propositional.hs, dist/build/Data/Logic/Types/Propositional.o ) [23 of 51] Compiling Data.Logic.Harrison.PropExamples ( Data/Logic/Harrison/PropExamples.hs, dist/build/Data/Logic/Harrison/PropExamples.o ) Data/Logic/Harrison/PropExamples.hs:356:23: Could not deduce (Num b) arising from the literal `0' from the context (Bits b, Num a) bound by the type signature for bitlength :: (Bits b, Num a) => b -> a at Data/Logic/Harrison/PropExamples.hs:355:14-50 Possible fix: add (Num b) to the context of the type signature for bitlength :: (Bits b, Num a) => b -> a In the second argument of `(==)', namely `0' In the expression: x == 0 In the expression: if x == 0 then 0 else 1 + bitlength (shiftR x 1) Failed to install logic-classes-1.4.6 cabal: Error: some packages failed to install: logic-classes-1.4.6 failed during the building phase. The exception was: ExitFailure 1