Build #1 for satchmo-examples-1.4.1
| Package | satchmo-examples-1.4.1 |
|---|
| Install | DependencyFailed satchmo-1.9.1 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | satchmo-funsat-1.4, satchmo-backends-1.9.1, satchmo-1.9.1, process-1.1.0.2, containers-0.5.0.0, base-4.6.0.1, array-0.4.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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.
Test log
No test log was submitted for this report.