Build #1 for satchmo-2.9.6
| Package | satchmo-2.9.6 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-03-13 10:23:35.105156 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | process-1.2.0.0, mtl-2.2.1, minisat-0.1.1, directory-1.2.1.0, containers-0.5.5.1, bytestring-0.10.4.0, base-4.7.0.1, array-0.5.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring stm-2.4.4...
Building stm-2.4.4...
Preprocessing library stm-2.4.4...
[ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o )
[ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o )
[ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o )
[ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o )
[ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o )
[ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
[ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o )
[ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o )
[ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o )
[10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
In-place registering stm-2.4.4...
Running Haddock for stm-2.4.4...
Running hscolour for stm-2.4.4...
Preprocessing library stm-2.4.4...
Preprocessing library stm-2.4.4...
Haddock coverage:
0% ( 0 / 11) in 'Control.Sequential.STM'
100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar'
100% ( 13 / 13) in 'Control.Concurrent.STM.TVar'
100% ( 2 / 2) in 'Control.Concurrent.STM.TArray'
90% ( 9 / 10) in 'Control.Monad.STM'
100% ( 8 / 8) in 'Control.Concurrent.STM'
40% ( 2 / 5) in 'Control.Concurrent.STM.TSem'
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file: /tmp/pkgConf-stm-2.427576.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/stm-2.4.4
Registering stm-2.4.4...
Installed stm-2.4.4
Configuring transformers-0.4.3.0...
Building transformers-0.4.3.0...
Preprocessing library transformers-0.4.3.0...
[ 1 of 28] Compiling Data.Functor.Identity ( oldsrc/Data/Functor/Identity.hs, dist/build/Data/Functor/Identity.o )
[ 2 of 28] Compiling Control.Monad.Trans.Class ( Control/Monad/Trans/Class.hs, dist/build/Control/Monad/Trans/Class.o )
[ 3 of 28] Compiling Control.Monad.Signatures ( Control/Monad/Signatures.hs, dist/build/Control/Monad/Signatures.o )
[ 4 of 28] Compiling Control.Monad.IO.Class ( Control/Monad/IO/Class.hs, dist/build/Control/Monad/IO/Class.o )
[ 5 of 28] Compiling Control.Monad.Trans.Cont ( Control/Monad/Trans/Cont.hs, dist/build/Control/Monad/Trans/Cont.o )
[ 6 of 28] Compiling Control.Monad.Trans.Reader ( Control/Monad/Trans/Reader.hs, dist/build/Control/Monad/Trans/Reader.o )
[ 7 of 28] Compiling Control.Monad.Trans.RWS.Lazy ( Control/Monad/Trans/RWS/Lazy.hs, dist/build/Control/Monad/Trans/RWS/Lazy.o )
[ 8 of 28] Compiling Control.Monad.Trans.RWS ( Control/Monad/Trans/RWS.hs, dist/build/Control/Monad/Trans/RWS.o )
[ 9 of 28] Compiling Control.Monad.Trans.RWS.Strict ( Control/Monad/Trans/RWS/Strict.hs, dist/build/Control/Monad/Trans/RWS/Strict.o )
[10 of 28] Compiling Control.Monad.Trans.State.Lazy ( Control/Monad/Trans/State/Lazy.hs, dist/build/Control/Monad/Trans/State/Lazy.o )
[11 of 28] Compiling Control.Monad.Trans.State ( Control/Monad/Trans/State.hs, dist/build/Control/Monad/Trans/State.o )
[12 of 28] Compiling Control.Monad.Trans.State.Strict ( Control/Monad/Trans/State/Strict.hs, dist/build/Control/Monad/Trans/State/Strict.o )
[13 of 28] Compiling Data.Functor.Classes ( Data/Functor/Classes.hs, dist/build/Data/Functor/Classes.o )
[14 of 28] Compiling Data.Functor.Constant ( Data/Functor/Constant.hs, dist/build/Data/Functor/Constant.o )
[15 of 28] Compiling Control.Applicative.Lift ( Control/Applicative/Lift.hs, dist/build/Control/Applicative/Lift.o )
[16 of 28] Compiling Control.Monad.Trans.Except ( Control/Monad/Trans/Except.hs, dist/build/Control/Monad/Trans/Except.o )
[17 of 28] Compiling Control.Monad.Trans.Error ( Control/Monad/Trans/Error.hs, dist/build/Control/Monad/Trans/Error.o )
[18 of 28] Compiling Control.Monad.Trans.Identity ( Control/Monad/Trans/Identity.hs, dist/build/Control/Monad/Trans/Identity.o )
[19 of 28] Compiling Control.Monad.Trans.List ( Control/Monad/Trans/List.hs, dist/build/Control/Monad/Trans/List.o )
[20 of 28] Compiling Control.Monad.Trans.Maybe ( Control/Monad/Trans/Maybe.hs, dist/build/Control/Monad/Trans/Maybe.o )
[21 of 28] Compiling Control.Monad.Trans.Writer.Lazy ( Control/Monad/Trans/Writer/Lazy.hs, dist/build/Control/Monad/Trans/Writer/Lazy.o )
[22 of 28] Compiling Control.Monad.Trans.Writer ( Control/Monad/Trans/Writer.hs, dist/build/Control/Monad/Trans/Writer.o )
[23 of 28] Compiling Control.Monad.Trans.Writer.Strict ( Control/Monad/Trans/Writer/Strict.hs, dist/build/Control/Monad/Trans/Writer/Strict.o )
[24 of 28] Compiling Data.Functor.Compose ( Data/Functor/Compose.hs, dist/build/Data/Functor/Compose.o )
[25 of 28] Compiling Data.Functor.Product ( Data/Functor/Product.hs, dist/build/Data/Functor/Product.o )
[26 of 28] Compiling Data.Functor.Sum ( Data/Functor/Sum.hs, dist/build/Data/Functor/Sum.o )
[27 of 28] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o )
[28 of 28] Compiling Data.Functor.Reverse ( Data/Functor/Reverse.hs, dist/build/Data/Functor/Reverse.o )
In-place registering transformers-0.4.3.0...
Running Haddock for transformers-0.4.3.0...
Running hscolour for transformers-0.4.3.0...
Preprocessing library transformers-0.4.3.0...
Preprocessing library transformers-0.4.3.0...
Haddock coverage:
100% ( 2 / 2) in 'Data.Functor.Identity'
100% ( 14 / 14) in 'Control.Monad.Trans.Class'
100% ( 5 / 5) in 'Control.Monad.Signatures'
100% ( 2 / 2) in 'Control.Monad.IO.Class'
100% ( 22 / 22) in 'Control.Monad.Trans.Cont'
100% ( 18 / 18) in 'Control.Monad.Trans.Reader'
100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.RWS'
100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Strict'
100% ( 34 / 34) in 'Control.Monad.Trans.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.State'
100% ( 34 / 34) in 'Control.Monad.Trans.State.Strict'
100% ( 15 / 15) in 'Data.Functor.Classes'
100% ( 2 / 2) in 'Data.Functor.Constant'
100% ( 9 / 9) in 'Control.Applicative.Lift'
100% ( 19 / 19) in 'Control.Monad.Trans.Except'
100% ( 15 / 15) in 'Control.Monad.Trans.Error'
100% ( 7 / 7) in 'Control.Monad.Trans.Identity'
100% ( 7 / 7) in 'Control.Monad.Trans.List'
100% ( 12 / 12) in 'Control.Monad.Trans.Maybe'
100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Trans.Writer'
100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Strict'
100% ( 2 / 2) in 'Data.Functor.Compose'
100% ( 2 / 2) in 'Data.Functor.Product'
100% ( 2 / 2) in 'Data.Functor.Sum'
100% ( 2 / 2) in 'Control.Applicative.Backwards'
100% ( 2 / 2) in 'Data.Functor.Reverse'
Documentation created: dist/doc/html/transformers/index.html,
dist/doc/html/transformers/transformers.txt
Creating package registration file: /tmp/pkgConf-transformers-0.4.327576.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-0.4.3.0
Registering transformers-0.4.3.0...
Installed transformers-0.4.3.0
Configuring async-2.0.2...
Building async-2.0.2...
Preprocessing library async-2.0.2...
[1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o )
In-place registering async-2.0.2...
Running Haddock for async-2.0.2...
Running hscolour for async-2.0.2...
Preprocessing library async-2.0.2...
Preprocessing library async-2.0.2...
Haddock coverage:
100% ( 46 / 46) in 'Control.Concurrent.Async'
Documentation created: dist/doc/html/async/index.html,
dist/doc/html/async/async.txt
Creating package registration file: /tmp/pkgConf-async-2.027576.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/async-2.0.2
Registering async-2.0.2...
Installed async-2.0.2
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
91% ( 20 / 22) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.227576.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.2.1
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring minisat-0.1.1...
Building minisat-0.1.1...
Preprocessing library minisat-0.1.1...
[1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o )
In-place registering minisat-0.1.1...
Running Haddock for minisat-0.1.1...
Running hscolour for minisat-0.1.1...
Preprocessing library minisat-0.1.1...
Preprocessing library minisat-0.1.1...
Haddock coverage:
1% ( 1 / 70) in 'MiniSat'
Documentation created: dist/doc/html/minisat/index.html,
dist/doc/html/minisat/minisat.txt
Creating package registration file: /tmp/pkgConf-minisat-0.127576.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/minisat-0.1.1
Registering minisat-0.1.1...
Installed minisat-0.1.1
Downloading satchmo-2.9.6...
Configuring satchmo-2.9.6...
Building satchmo-2.9.6...
Preprocessing library satchmo-2.9.6...
Satchmo/Unary/Op/Common.hs:2:14: Warning:
-XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead
Satchmo/SAT/Mini.hs:5:14: Warning:
-XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead
[ 1 of 49] Compiling Satchmo.Data ( Satchmo/Data.hs, dist/build/Satchmo/Data.o )
Satchmo/Data.hs:7:23: Warning:
‘literals’ is exported by ‘literals’ and ‘Clause(..)’
Satchmo/Data.hs:8:33: Warning:
‘positive’ is exported by ‘positive’ and ‘Literal(..)’
Satchmo/Data.hs:8:43: Warning:
‘variable’ is exported by ‘variable’ and ‘Literal(..)’
[ 2 of 49] Compiling Satchmo.Code ( Satchmo/Code.hs, dist/build/Satchmo/Code.o )
[ 3 of 49] Compiling Satchmo.MonadSAT ( Satchmo/MonadSAT.hs, dist/build/Satchmo/MonadSAT.o )
[ 4 of 49] Compiling Satchmo.Boolean.Data ( Satchmo/Boolean/Data.hs, dist/build/Satchmo/Boolean/Data.o )
Satchmo/Boolean/Data.hs:8:26: Warning:
‘encode’ is exported by ‘encode’ and ‘Boolean(..)’
[ 5 of 49] Compiling Satchmo.Boolean.Op ( Satchmo/Boolean/Op.hs, dist/build/Satchmo/Boolean/Op.o )
[ 6 of 49] Compiling Satchmo.Boolean ( Satchmo/Boolean.hs, dist/build/Satchmo/Boolean.o )
[ 7 of 49] Compiling Satchmo.Counting.Direct ( Satchmo/Counting/Direct.hs, dist/build/Satchmo/Counting/Direct.o )
[ 8 of 49] Compiling Satchmo.Unary.Data ( Satchmo/Unary/Data.hs, dist/build/Satchmo/Unary/Data.o )
[ 9 of 49] Compiling Satchmo.Unary.Op.Common ( Satchmo/Unary/Op/Common.hs, dist/build/Satchmo/Unary/Op/Common.o )
[10 of 49] Compiling Satchmo.Unary.Op.Flexible ( Satchmo/Unary/Op/Flexible.hs, dist/build/Satchmo/Unary/Op/Flexible.o )
[11 of 49] Compiling Satchmo.Unary ( Satchmo/Unary.hs, dist/build/Satchmo/Unary.o )
[12 of 49] Compiling Satchmo.Unary.Op.Fixed ( Satchmo/Unary/Op/Fixed.hs, dist/build/Satchmo/Unary/Op/Fixed.o )
[13 of 49] Compiling Satchmo.Array ( Satchmo/Array.hs, dist/build/Satchmo/Array.o )
[14 of 49] Compiling Satchmo.Numeric ( Satchmo/Numeric.hs, dist/build/Satchmo/Numeric.o )
[15 of 49] Compiling Satchmo.Integer.Difference ( Satchmo/Integer/Difference.hs, dist/build/Satchmo/Integer/Difference.o )
[16 of 49] Compiling Satchmo.Polynomial.Numeric ( Satchmo/Polynomial/Numeric.hs, dist/build/Satchmo/Polynomial/Numeric.o )
[17 of 49] Compiling Satchmo.SAT.Tmpfile ( Satchmo/SAT/Tmpfile.hs, dist/build/Satchmo/SAT/Tmpfile.o )
Satchmo/SAT/Tmpfile.hs:46:10: Warning:
No explicit implementation for
‘fresh_forall’
In the instance declaration for ‘MonadSAT SAT’
[18 of 49] Compiling Satchmo.SAT ( Satchmo/SAT.hs, dist/build/Satchmo/SAT.o )
[19 of 49] Compiling Satchmo.Counting.Unary ( Satchmo/Counting/Unary.hs, dist/build/Satchmo/Counting/Unary.o )
[20 of 49] Compiling Satchmo.Counting ( Satchmo/Counting.hs, dist/build/Satchmo/Counting.o )
[21 of 49] Compiling Satchmo.Integer.Data ( Satchmo/Integer/Data.hs, dist/build/Satchmo/Integer/Data.o )
[22 of 49] Compiling Satchmo.Binary.Data ( Satchmo/Binary/Data.hs, dist/build/Satchmo/Binary/Data.o )
[23 of 49] Compiling Satchmo.Binary.Op.Common ( Satchmo/Binary/Op/Common.hs, dist/build/Satchmo/Binary/Op/Common.o )
[24 of 49] Compiling Satchmo.Binary.Op.Times ( Satchmo/Binary/Op/Times.hs, dist/build/Satchmo/Binary/Op/Times.o )
[25 of 49] Compiling Satchmo.Binary.Op.Flexible ( Satchmo/Binary/Op/Flexible.hs, dist/build/Satchmo/Binary/Op/Flexible.o )
[26 of 49] Compiling Satchmo.Binary ( Satchmo/Binary.hs, dist/build/Satchmo/Binary.o )
[27 of 49] Compiling Satchmo.Integer.Op ( Satchmo/Integer/Op.hs, dist/build/Satchmo/Integer/Op.o )
[28 of 49] Compiling Satchmo.Integer ( Satchmo/Integer.hs, dist/build/Satchmo/Integer.o )
[29 of 49] Compiling Satchmo.BinaryTwosComplement.Data ( Satchmo/BinaryTwosComplement/Data.hs, dist/build/Satchmo/BinaryTwosComplement/Data.o )
[30 of 49] Compiling Satchmo.BinaryTwosComplement.Op.Common ( Satchmo/BinaryTwosComplement/Op/Common.hs, dist/build/Satchmo/BinaryTwosComplement/Op/Common.o )
[31 of 49] Compiling Satchmo.Binary.Op.Fixed ( Satchmo/Binary/Op/Fixed.hs, dist/build/Satchmo/Binary/Op/Fixed.o )
[32 of 49] Compiling Satchmo.BinaryTwosComplement.Op.Fixed ( Satchmo/BinaryTwosComplement/Op/Fixed.hs, dist/build/Satchmo/BinaryTwosComplement/Op/Fixed.o )
[33 of 49] Compiling Satchmo.BinaryTwosComplement ( Satchmo/BinaryTwosComplement.hs, dist/build/Satchmo/BinaryTwosComplement.o )
[34 of 49] Compiling Satchmo.Polynomial ( Satchmo/Polynomial.hs, dist/build/Satchmo/Polynomial.o )
[35 of 49] Compiling Satchmo.PolynomialSOS ( Satchmo/PolynomialSOS.hs, dist/build/Satchmo/PolynomialSOS.o )
[36 of 49] Compiling Satchmo.BinaryTwosComplement.Numeric ( Satchmo/BinaryTwosComplement/Numeric.hs, dist/build/Satchmo/BinaryTwosComplement/Numeric.o )
[37 of 49] Compiling Satchmo.PolynomialN ( Satchmo/PolynomialN.hs, dist/build/Satchmo/PolynomialN.o )
[38 of 49] Compiling Satchmo.Binary.Numeric ( Satchmo/Binary/Numeric.hs, dist/build/Satchmo/Binary/Numeric.o )
[39 of 49] Compiling Satchmo.Counting.Binary ( Satchmo/Counting/Binary.hs, dist/build/Satchmo/Counting/Binary.o )
[40 of 49] Compiling Satchmo.Relation.Data ( Satchmo/Relation/Data.hs, dist/build/Satchmo/Relation/Data.o )
[41 of 49] Compiling Satchmo.Relation.Op ( Satchmo/Relation/Op.hs, dist/build/Satchmo/Relation/Op.o )
[42 of 49] Compiling Satchmo.Relation.Prop ( Satchmo/Relation/Prop.hs, dist/build/Satchmo/Relation/Prop.o )
[43 of 49] Compiling Satchmo.Relation ( Satchmo/Relation.hs, dist/build/Satchmo/Relation.o )
[44 of 49] Compiling Satchmo.Set.Data ( Satchmo/Set/Data.hs, dist/build/Satchmo/Set/Data.o )
Satchmo/Set/Data.hs:7:26: Warning:
‘keys’ is exported by ‘keys’ and ‘keys’
[45 of 49] Compiling Satchmo.Set.Op ( Satchmo/Set/Op.hs, dist/build/Satchmo/Set/Op.o )
[46 of 49] Compiling Satchmo.Set ( Satchmo/Set.hs, dist/build/Satchmo/Set.o )
[47 of 49] Compiling Satchmo.Map.Data ( Satchmo/Map/Data.hs, dist/build/Satchmo/Map/Data.o )
[48 of 49] Compiling Satchmo.Map ( Satchmo/Map.hs, dist/build/Satchmo/Map.o )
[49 of 49] Compiling Satchmo.SAT.Mini ( Satchmo/SAT/Mini.hs, dist/build/Satchmo/SAT/Mini.o )
Satchmo/SAT/Mini.hs:57:10: Warning:
No explicit implementation for
‘fresh_forall’
In the instance declaration for ‘MonadSAT SAT’
In-place registering satchmo-2.9.6...
Running Haddock for satchmo-2.9.6...
Running hscolour for satchmo-2.9.6...
Preprocessing library satchmo-2.9.6...
Preprocessing library satchmo-2.9.6...
Satchmo/Unary/Op/Common.hs:2:14: Warning:
-XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead
Satchmo/SAT/Mini.hs:5:14: Warning:
-XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead
Satchmo/Data.hs:7:23: Warning:
‘literals’ is exported by ‘literals’ and ‘Clause(..)’
Satchmo/Data.hs:8:33: Warning:
‘positive’ is exported by ‘positive’ and ‘Literal(..)’
Satchmo/Data.hs:8:43: Warning:
‘variable’ is exported by ‘variable’ and ‘Literal(..)’
Satchmo/Boolean/Data.hs:8:26: Warning:
‘encode’ is exported by ‘encode’ and ‘Boolean(..)’
Satchmo/SAT/Tmpfile.hs:46:10: Warning:
No explicit implementation for
‘fresh_forall’
In the instance declaration for ‘MonadSAT SAT’
Satchmo/Set/Data.hs:7:26: Warning:
‘keys’ is exported by ‘keys’ and ‘keys’
Satchmo/SAT/Mini.hs:57:10: Warning:
No explicit implementation for
‘fresh_forall’
In the instance declaration for ‘MonadSAT SAT’
Haddock coverage:
Warning: Satchmo.Data: literals is exported separately but will be documented under Clause. Consider exporting it together with its parent(s) for code clarity.
Warning: Satchmo.Data: positive is exported separately but will be documented under Literal. Consider exporting it together with its parent(s) for code clarity.
Warning: Satchmo.Data: variable is exported separately but will be documented under Literal. Consider exporting it together with its parent(s) for code clarity.
0% ( 0 / 10) in 'Satchmo.Data'
0% ( 0 / 2) in 'Satchmo.Code'
0% ( 0 / 4) in 'Satchmo.MonadSAT'
Warning: Satchmo.Boolean.Data: encode is exported separately but will be documented under Boolean. Consider exporting it together with its parent(s) for code clarity.
0% ( 0 / 12) in 'Satchmo.Boolean.Data'
11% ( 2 / 18) in 'Satchmo.Boolean.Op'
7% ( 2 / 30) in 'Satchmo.Boolean'
33% ( 2 / 6) in 'Satchmo.Counting.Direct'
29% ( 2 / 7) in 'Satchmo.Unary.Data'
41% ( 7 / 17) in 'Satchmo.Unary.Op.Common'
33% ( 2 / 6) in 'Satchmo.Unary.Op.Flexible'
38% ( 3 / 8) in 'Satchmo.Unary'
17% ( 1 / 6) in 'Satchmo.Unary.Op.Fixed'
0% ( 0 / 11) in 'Satchmo.Array'
0% ( 0 / 4) in 'Satchmo.Numeric'
0% ( 0 / 6) in 'Satchmo.Integer.Difference'
0% ( 0 / 9) in 'Satchmo.Polynomial.Numeric'
0% ( 0 / 8) in 'Satchmo.SAT.Tmpfile'
50% ( 1 / 2) in 'Satchmo.SAT'
0% ( 0 / 4) in 'Satchmo.Counting.Unary'
100% ( 2 / 2) in 'Satchmo.Counting'
33% ( 3 / 9) in 'Satchmo.Integer.Data'
36% ( 4 / 11) in 'Satchmo.Binary.Data'
7% ( 1 / 14) in 'Satchmo.Binary.Op.Common'
0% ( 0 / 5) in 'Satchmo.Binary.Op.Times'
39% ( 7 / 18) in 'Satchmo.Binary.Op.Flexible'
50% ( 1 / 2) in 'Satchmo.Binary'
25% ( 2 / 8) in 'Satchmo.Integer.Op'
25% ( 4 / 16) in 'Satchmo.Integer'
75% ( 9 / 12) in 'Satchmo.BinaryTwosComplement.Data'
0% ( 0 / 10) in 'Satchmo.BinaryTwosComplement.Op.Common'
50% ( 9 / 18) in 'Satchmo.Binary.Op.Fixed'
37% ( 10 / 27) in 'Satchmo.BinaryTwosComplement.Op.Fixed'
50% ( 1 / 2) in 'Satchmo.BinaryTwosComplement'
21% ( 4 / 19) in 'Satchmo.Polynomial'
0% ( 0 / 4) in 'Satchmo.PolynomialSOS'
0% ( 0 / 4) in 'Satchmo.BinaryTwosComplement.Numeric'
0% ( 0 / 8) in 'Satchmo.PolynomialN'
0% ( 0 / 4) in 'Satchmo.Binary.Numeric'
0% ( 0 / 5) in 'Satchmo.Counting.Binary'
0% ( 0 / 11) in 'Satchmo.Relation.Data'
0% ( 0 / 7) in 'Satchmo.Relation.Op'
0% ( 0 / 11) in 'Satchmo.Relation.Prop'
75% ( 3 / 4) in 'Satchmo.Relation'
8% ( 1 / 13) in 'Satchmo.Set.Data'
0% ( 0 / 10) in 'Satchmo.Set.Op'
67% ( 2 / 3) in 'Satchmo.Set'
9% ( 1 / 11) in 'Satchmo.Map.Data'
50% ( 1 / 2) in 'Satchmo.Map'
0% ( 0 / 6) in 'Satchmo.SAT.Mini'
Documentation created: dist/doc/html/satchmo/index.html,
dist/doc/html/satchmo/satchmo.txt
Creating package registration file: /tmp/pkgConf-satchmo-2.927576.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/satchmo-2.9.6
Registering satchmo-2.9.6...
Installed satchmo-2.9.6
Test log
No test log was submitted for this report.