Resolving dependencies... Configuring QuickCheck-1.2.0.1... Building QuickCheck-1.2.0.1... Preprocessing library QuickCheck-1.2.0.1... [1 of 8] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o ) [2 of 8] Compiling Test.QuickCheck.Batch ( Test/QuickCheck/Batch.hs, dist/build/Test/QuickCheck/Batch.o ) [3 of 8] Compiling Test.QuickCheck.Utils ( Test/QuickCheck/Utils.hs, dist/build/Test/QuickCheck/Utils.o ) [4 of 8] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o ) [5 of 8] Compiling Debug.QuickCheck.Poly ( Debug/QuickCheck/Poly.hs, dist/build/Debug/QuickCheck/Poly.o ) [6 of 8] Compiling Debug.QuickCheck.Utils ( Debug/QuickCheck/Utils.hs, dist/build/Debug/QuickCheck/Utils.o ) [7 of 8] Compiling Debug.QuickCheck ( Debug/QuickCheck.hs, dist/build/Debug/QuickCheck.o ) [8 of 8] Compiling Debug.QuickCheck.Batch ( Debug/QuickCheck/Batch.hs, dist/build/Debug/QuickCheck/Batch.o ) In-place registering QuickCheck-1.2.0.1... Running Haddock for QuickCheck-1.2.0.1... Running hscolour for QuickCheck-1.2.0.1... Preprocessing library QuickCheck-1.2.0.1... Preprocessing library QuickCheck-1.2.0.1... Haddock coverage: 3% ( 1 / 33) in 'Test.QuickCheck' 50% ( 4 / 8) in 'Test.QuickCheck.Batch' 17% ( 1 / 6) in 'Test.QuickCheck.Utils' 14% ( 1 / 7) in 'Test.QuickCheck.Poly' 100% ( 2 / 2) in 'Debug.QuickCheck.Poly' 100% ( 2 / 2) in 'Debug.QuickCheck.Utils' 100% ( 2 / 2) in 'Debug.QuickCheck.Batch' 100% ( 2 / 2) in 'Debug.QuickCheck' Warning: Test.QuickCheck.Poly: could not find link destinations for: Test.QuickCheck.Poly.Poly Test.QuickCheck.Poly.ALPHA_ Test.QuickCheck.Poly.BETA_ Test.QuickCheck.Poly.GAMMA_ Test.QuickCheck.Poly.OrdALPHA_ Test.QuickCheck.Poly.OrdBETA_ Test.QuickCheck.Poly.OrdGAMMA_ Documentation created: dist/doc/html/QuickCheck/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-1.2.0.1 Registering QuickCheck-1.2.0.1... Installed QuickCheck-1.2.0.1 Configuring bimap-0.2.4... Building bimap-0.2.4... Preprocessing library bimap-0.2.4... [1 of 1] Compiling Data.Bimap ( Data/Bimap.hs, dist/build/Data/Bimap.o ) In-place registering bimap-0.2.4... Running Haddock for bimap-0.2.4... Running hscolour for bimap-0.2.4... Preprocessing library bimap-0.2.4... Preprocessing library bimap-0.2.4... Haddock coverage: 100% ( 59 / 59) in 'Data.Bimap' Documentation created: dist/doc/html/bimap/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/bimap-0.2.4 Registering bimap-0.2.4... Installed bimap-0.2.4 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 parse-dimacs-1.3... Building parse-dimacs-1.3... Preprocessing library parse-dimacs-1.3... [1 of 1] Compiling Language.CNF.Parse.ParseDIMACS ( Language/CNF/Parse/ParseDIMACS.hs, dist/build/Language/CNF/Parse/ParseDIMACS.o ) In-place registering parse-dimacs-1.3... Running Haddock for parse-dimacs-1.3... Running hscolour for parse-dimacs-1.3... Preprocessing library parse-dimacs-1.3... Preprocessing library parse-dimacs-1.3... Haddock coverage: 60% ( 3 / 5) in 'Language.CNF.Parse.ParseDIMACS' Documentation created: dist/doc/html/parse-dimacs/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/parse-dimacs-1.3 Registering parse-dimacs-1.3... Installed parse-dimacs-1.3 Configuring satchmo-1.9.1... Building satchmo-1.9.1... Preprocessing library satchmo-1.9.1... [ 1 of 28] Compiling Satchmo.SAT.Sequence ( Satchmo/SAT/Sequence.hs, dist/build/Satchmo/SAT/Sequence.o ) [ 2 of 28] Compiling Satchmo.Data ( Satchmo/Data.hs, dist/build/Satchmo/Data.o ) Satchmo/Data.hs:5:23: Warning: `literals' is exported by `literals' and `Clause(..)' [ 3 of 28] Compiling Satchmo.Code ( Satchmo/Code.hs, dist/build/Satchmo/Code.o ) Satchmo/Code.hs:19:5: The INLINE pragma for default method `decode' lacks an accompanying binding Failed to install satchmo-1.9.1 Configuring timeit-1.0.0.0... Building timeit-1.0.0.0... Preprocessing library timeit-1.0.0.0... [1 of 1] Compiling System.TimeIt ( System/TimeIt.hs, dist/build/System/TimeIt.o ) In-place registering timeit-1.0.0.0... Running Haddock for timeit-1.0.0.0... Running hscolour for timeit-1.0.0.0... Preprocessing library timeit-1.0.0.0... Preprocessing library timeit-1.0.0.0... Haddock coverage: 67% ( 2 / 3) in 'System.TimeIt' Documentation created: dist/doc/html/timeit/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/timeit-1.0.0.0 Registering timeit-1.0.0.0... Installed timeit-1.0.0.0 Downloading bitset-0.6... Configuring bitset-0.6... Building bitset-0.6... Preprocessing library bitset-0.6... [1 of 1] Compiling Data.BitSet ( Data/BitSet.hs, dist/build/Data/BitSet.o ) In-place registering bitset-0.6... Running Haddock for bitset-0.6... Running hscolour for bitset-0.6... Preprocessing library bitset-0.6... Preprocessing library bitset-0.6... Haddock coverage: 100% ( 9 / 9) in 'Data.BitSet' Documentation created: dist/doc/html/bitset/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/bitset-0.6 Registering bitset-0.6... Installed bitset-0.6 Downloading funsat-0.6.0... Configuring funsat-0.6.0... Building funsat-0.6.0... Preprocessing library funsat-0.6.0... [1 of 9] Compiling Funsat.FastDom ( src/Funsat/FastDom.hs, dist/build/Funsat/FastDom.o ) [2 of 9] Compiling Text.Tabular ( src/Text/Tabular.hs, dist/build/Text/Tabular.o ) [3 of 9] Compiling Control.Monad.MonadST ( src/Control/Monad/MonadST.hs, dist/build/Control/Monad/MonadST.o ) [4 of 9] Compiling Funsat.Monad ( src/Funsat/Monad.hs, dist/build/Funsat/Monad.o ) [5 of 9] Compiling Funsat.Types ( src/Funsat/Types.hs, dist/build/Funsat/Types.o ) src/Funsat/Types.hs:203:28: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Types.hs:210:17: Warning: In the use of `unsafeThaw' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" [6 of 9] Compiling Funsat.Circuit ( src/Funsat/Circuit.hs, dist/build/Funsat/Circuit.o ) src/Funsat/Circuit.hs:655:1: Warning: Top-level binding with no type signature: findVar :: forall (m :: * -> *). MonadState CNFState m => CCode -> m Lit [7 of 9] Compiling Funsat.Utils ( src/Funsat/Utils.hs, dist/build/Funsat/Utils.o ) src/Funsat/Utils.hs:41:1: Warning: The qualified import of `Data.List' is redundant except perhaps to import instances from `Data.List' To import instances alone, use: import Data.List() [8 of 9] Compiling Funsat.Resolution ( src/Funsat/Resolution.hs, dist/build/Funsat/Resolution.o ) [9 of 9] Compiling Funsat.Solver ( src/Funsat/Solver.hs, dist/build/Funsat/Solver.o ) src/Funsat/Solver.hs:87:1: Warning: The import of `Control.Monad.MonadST' is redundant except perhaps to import instances from `Control.Monad.MonadST' To import instances alone, use: import Control.Monad.MonadST() src/Funsat/Solver.hs:108:1: Warning: The qualified import of `Data.List' is redundant except perhaps to import instances from `Data.List' To import instances alone, use: import Data.List() src/Funsat/Solver.hs:196:58: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Solver.hs:280:45: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Solver.hs:472:3: Warning: A do-notation statement discarded a result of type Bool. Suppress this warning by saying "_ <- enqueue m ld (Data.Maybe.Nothing)", or by using the flag -fno-warn-unused-do-bind src/Funsat/Solver.hs:496:49: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Solver.hs:514:5: Warning: A do-notation statement discarded a result of type Bool. Suppress this warning by saying "_ <- watchClause m (learntCl, learntClId) ghc-prim:GHC.Types.True", or by using the flag -fno-warn-unused-do-bind src/Funsat/Solver.hs:515:5: Warning: A do-notation statement discarded a result of type Bool. Suppress this warning by saying "_ <- enqueue m (getUnit learntCl mFr) (Data.Maybe.Just (learntCl, learntClId))", or by using the flag -fno-warn-unused-do-bind src/Funsat/Solver.hs:642:11: Warning: A do-notation statement discarded a result of type MAssignment s. Suppress this warning by saying "_ <- ($) liftST unassign m l", or by using the flag -fno-warn-unused-do-bind src/Funsat/Solver.hs:755:9: Warning: A do-notation statement discarded a result of type MAssignment s. Suppress this warning by saying "_ <- ($) liftST assign m l", or by using the flag -fno-warn-unused-do-bind In-place registering funsat-0.6.0... Preprocessing executable 'funsat' for funsat-0.6.0... tests/Properties.hs:1:16: Warning: -fglasgow-exts is deprecated: Use individual extensions instead [ 1 of 10] Compiling Control.Monad.MonadST ( src/Control/Monad/MonadST.hs, dist/build/funsat/funsat-tmp/Control/Monad/MonadST.o ) [ 2 of 10] Compiling Funsat.Monad ( src/Funsat/Monad.hs, dist/build/funsat/funsat-tmp/Funsat/Monad.o ) [ 3 of 10] Compiling Text.Tabular ( src/Text/Tabular.hs, dist/build/funsat/funsat-tmp/Text/Tabular.o ) [ 4 of 10] Compiling Funsat.Types ( src/Funsat/Types.hs, dist/build/funsat/funsat-tmp/Funsat/Types.o ) src/Funsat/Types.hs:203:28: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Types.hs:210:17: Warning: In the use of `unsafeThaw' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" [ 5 of 10] Compiling Funsat.Circuit ( src/Funsat/Circuit.hs, dist/build/funsat/funsat-tmp/Funsat/Circuit.o ) src/Funsat/Circuit.hs:655:1: Warning: Top-level binding with no type signature: findVar :: forall (m :: * -> *). MonadState CNFState m => CCode -> m Lit [ 6 of 10] Compiling Funsat.Utils ( src/Funsat/Utils.hs, dist/build/funsat/funsat-tmp/Funsat/Utils.o ) src/Funsat/Utils.hs:41:1: Warning: The qualified import of `Data.List' is redundant except perhaps to import instances from `Data.List' To import instances alone, use: import Data.List() [ 7 of 10] Compiling Funsat.Resolution ( src/Funsat/Resolution.hs, dist/build/funsat/funsat-tmp/Funsat/Resolution.o ) [ 8 of 10] Compiling Funsat.Solver ( src/Funsat/Solver.hs, dist/build/funsat/funsat-tmp/Funsat/Solver.o ) src/Funsat/Solver.hs:87:1: Warning: The import of `Control.Monad.MonadST' is redundant except perhaps to import instances from `Control.Monad.MonadST' To import instances alone, use: import Control.Monad.MonadST() src/Funsat/Solver.hs:108:1: Warning: The qualified import of `Data.List' is redundant except perhaps to import instances from `Data.List' To import instances alone, use: import Data.List() src/Funsat/Solver.hs:196:58: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Solver.hs:280:45: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Solver.hs:472:3: Warning: A do-notation statement discarded a result of type Bool. Suppress this warning by saying "_ <- enqueue m ld (Data.Maybe.Nothing)", or by using the flag -fno-warn-unused-do-bind src/Funsat/Solver.hs:496:49: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Solver.hs:514:5: Warning: A do-notation statement discarded a result of type Bool. Suppress this warning by saying "_ <- watchClause m (learntCl, learntClId) ghc-prim:GHC.Types.True", or by using the flag -fno-warn-unused-do-bind src/Funsat/Solver.hs:515:5: Warning: A do-notation statement discarded a result of type Bool. Suppress this warning by saying "_ <- enqueue m (getUnit learntCl mFr) (Data.Maybe.Just (learntCl, learntClId))", or by using the flag -fno-warn-unused-do-bind src/Funsat/Solver.hs:642:11: Warning: A do-notation statement discarded a result of type MAssignment s. Suppress this warning by saying "_ <- ($) liftST unassign m l", or by using the flag -fno-warn-unused-do-bind src/Funsat/Solver.hs:755:9: Warning: A do-notation statement discarded a result of type MAssignment s. Suppress this warning by saying "_ <- ($) liftST assign m l", or by using the flag -fno-warn-unused-do-bind [ 9 of 10] Compiling Properties ( tests/Properties.hs, dist/build/funsat/funsat-tmp/Properties.o ) tests/Properties.hs:37:1: Warning: The qualified import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() tests/Properties.hs:90:1: Warning: Top-level binding with no type signature: config :: Config tests/Properties.hs:93:1: Warning: Top-level binding with no type signature: solveConfig :: Config tests/Properties.hs:94:1: Warning: Top-level binding with no type signature: resChkConfig :: Config tests/Properties.hs:96:1: Warning: Top-level binding with no type signature: myConfigEvery :: forall a a1. (Show a, Show a1) => a -> a1 -> [Char] tests/Properties.hs:99:1: Warning: Top-level binding with no type signature: prop_solveCorrect :: CNF -> Property tests/Properties.hs:114:1: Warning: Top-level binding with no type signature: prop_resolutionChecker :: UnsatCNF -> Property tests/Properties.hs:125:1: Warning: Top-level binding with no type signature: prop_allIsTrueUnderA :: IAssignment -> Bool tests/Properties.hs:128:1: Warning: Top-level binding with no type signature: prop_noneIsFalseUnderA :: IAssignment -> Bool tests/Properties.hs:131:1: Warning: Top-level binding with no type signature: prop_noneIsUndefUnderA :: IAssignment -> Bool tests/Properties.hs:134:1: Warning: Top-level binding with no type signature: prop_negIsFalseUnder :: IAssignment -> Bool tests/Properties.hs:137:1: Warning: Top-level binding with no type signature: prop_negNotUndefUnder :: IAssignment -> Bool tests/Properties.hs:140:1: Warning: Top-level binding with no type signature: prop_outsideUndefUnder :: Lit -> IAssignment -> Property tests/Properties.hs:147:1: Warning: Top-level binding with no type signature: prop_negDefNotUndefUnder :: Lit -> IAssignment -> Property tests/Properties.hs:152:1: Warning: Top-level binding with no type signature: prop_undefUnderImpliesNegUndef :: Lit -> IAssignment -> Property tests/Properties.hs:158:1: Warning: Top-level binding with no type signature: prop_clauseStatusUnderA :: Clause -> IAssignment -> Property tests/Properties.hs:172:1: Warning: Top-level binding with no type signature: prop_randAssign :: IAssignment -> Bool tests/Properties.hs:191:1: Warning: Top-level binding with no type signature: prop_litHash :: Lit -> Lit -> Property tests/Properties.hs:194:1: Warning: Top-level binding with no type signature: prop_varHash :: Var -> Var -> Property tests/Properties.hs:198:1: Warning: Top-level binding with no type signature: (<==>) :: Bool -> Bool -> Property tests/Properties.hs:202:1: Warning: Top-level binding with no type signature: prop_count :: (Int -> Bool) -> [Int] -> Bool tests/Properties.hs:206:1: Warning: Top-level binding with no type signature: prop_argmin :: forall a b. (Eq a, Ord b) => (a -> b) -> a -> a -> Property tests/Properties.hs:296:1: Warning: Top-level binding with no type signature: fromRight :: forall t t1. Either t t1 -> t1 tests/Properties.hs:324:10: Warning: No explicit method or default declaration for `coarbitrary' In the instance declaration for `Arbitrary Var' tests/Properties.hs:326:10: Warning: No explicit method or default declaration for `coarbitrary' In the instance declaration for `Arbitrary Lit' tests/Properties.hs:330:10: Warning: No explicit method or default declaration for `coarbitrary' In the instance declaration for `Arbitrary IAssignment' tests/Properties.hs:337:10: Warning: No explicit method or default declaration for `coarbitrary' In the instance declaration for `Arbitrary CNF' tests/Properties.hs:347:10: Warning: No explicit method or default declaration for `coarbitrary' In the instance declaration for `Arbitrary (Tree Var)' tests/Properties.hs:350:1: Warning: Top-level binding with no type signature: sizedLit :: Int -> Gen Lit tests/Properties.hs:415:10: Warning: No explicit method or default declaration for `coarbitrary' In the instance declaration for `Arbitrary UnsatCNF' [10 of 10] Compiling Main ( Main.hs, dist/build/funsat/funsat-tmp/Main.o ) Main.hs:141:1: Warning: Top-level binding with no type signature: usageHeader :: [Char] Main.hs:143:1: Warning: Top-level binding with no type signature: seqList :: forall t. [t] -> [t] tests/Properties.hs:1:16: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Linking dist/build/funsat/funsat ... Running Haddock for funsat-0.6.0... Running hscolour for funsat-0.6.0... Preprocessing library funsat-0.6.0... Preprocessing executable 'funsat' for funsat-0.6.0... Preprocessing library funsat-0.6.0... src/Funsat/Types.hs:203:28: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Types.hs:210:17: Warning: In the use of `unsafeThaw' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Circuit.hs:655:1: Warning: Top-level binding with no type signature: findVar :: forall (m :: * -> *). MonadState CNFState m => CCode -> m Lit src/Funsat/Utils.hs:41:1: Warning: The qualified import of `Data.List' is redundant except perhaps to import instances from `Data.List' To import instances alone, use: import Data.List() src/Funsat/Solver.hs:87:1: Warning: The import of `Control.Monad.MonadST' is redundant except perhaps to import instances from `Control.Monad.MonadST' To import instances alone, use: import Control.Monad.MonadST() src/Funsat/Solver.hs:108:1: Warning: The qualified import of `Data.List' is redundant except perhaps to import instances from `Data.List' To import instances alone, use: import Data.List() src/Funsat/Solver.hs:196:58: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Solver.hs:280:45: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" src/Funsat/Solver.hs:496:49: Warning: In the use of `unsafeFreeze' (imported from Data.Array.ST, but defined in Data.Array.MArray): Deprecated: "Please import from Data.Array.Unsafe instead; This will be removed in the next release" Haddock coverage: 100% ( 3 / 3) in 'Funsat.FastDom' 20% ( 1 / 5) in 'Text.Tabular' 33% ( 2 / 6) in 'Control.Monad.MonadST' 60% ( 3 / 5) in 'Funsat.Monad' 64% ( 25 / 39) in 'Funsat.Types' 82% ( 27 / 33) in 'Funsat.Circuit' 86% ( 19 / 22) in 'Funsat.Utils' 89% ( 8 / 9) in 'Funsat.Resolution' 88% ( 14 / 16) in 'Funsat.Solver' Warning: Text.Tabular: could not find link destinations for: Text.Tabular.Row Warning: Funsat.Solver: could not find link destinations for: Funsat.Solver.FunsatState Funsat.Solver.watches Funsat.Solver.enqueue Funsat.Solver.dequeue Funsat.Solver.solveStep Funsat.Solver.preprocessCNF Funsat.Solver.level Funsat.Solver.propQ Funsat.Solver.bcpLit Funsat.Solver.noLevel Funsat.Solver.dl Funsat.Solver.bump Funsat.Solver.reason Documentation created: dist/doc/html/funsat/index.html Preprocessing executable 'funsat' for funsat-0.6.0... Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/funsat-0.6.0 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 funsat-0.6.0... Installed funsat-0.6.0 cabal: Error: some packages failed to install: satchmo-1.9.1 failed during the building phase. The exception was: ExitFailure 1 satchmo-backends-1.9.1 depends on satchmo-1.9.1 which failed to install. satchmo-examples-1.4.1 depends on satchmo-1.9.1 which failed to install. satchmo-funsat-1.4 depends on satchmo-1.9.1 which failed to install.