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-608/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.3... Configuring logic-classes-1.4.3... Building logic-classes-1.4.3... Preprocessing library logic-classes-1.4.3... [ 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:37:48: Module `Control.Applicative.Error' does not export `failing' Failed to install logic-classes-1.4.3 cabal: Error: some packages failed to install: logic-classes-1.4.3 failed during the building phase. The exception was: ExitFailure 1