Build #1 for satchmo-2.9.1

[all reports]

Package satchmo-2.9.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2015-03-01 17:45:04.546338 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

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.43453.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.2.0...
Building transformers-0.4.2.0...
Preprocessing library transformers-0.4.2.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.2.0...
Running Haddock for transformers-0.4.2.0...
Running hscolour for transformers-0.4.2.0...
Preprocessing library transformers-0.4.2.0...
Preprocessing library transformers-0.4.2.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% ( 14 / 14) 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.23453.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-0.4.2.0
Registering transformers-0.4.2.0...
Installed transformers-0.4.2.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.03453.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.23453.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.13453.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.1...
Configuring satchmo-2.9.1...
Building satchmo-2.9.1...
Preprocessing library satchmo-2.9.1...

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 47] 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 47] Compiling Satchmo.Code     ( Satchmo/Code.hs, dist/build/Satchmo/Code.o )
[ 3 of 47] Compiling Satchmo.MonadSAT ( Satchmo/MonadSAT.hs, dist/build/Satchmo/MonadSAT.o )
[ 4 of 47] 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 47] Compiling Satchmo.Boolean.Op ( Satchmo/Boolean/Op.hs, dist/build/Satchmo/Boolean/Op.o )
[ 6 of 47] Compiling Satchmo.Boolean  ( Satchmo/Boolean.hs, dist/build/Satchmo/Boolean.o )
[ 7 of 47] Compiling Satchmo.Unary.Data ( Satchmo/Unary/Data.hs, dist/build/Satchmo/Unary/Data.o )
[ 8 of 47] Compiling Satchmo.Unary.Op.Common ( Satchmo/Unary/Op/Common.hs, dist/build/Satchmo/Unary/Op/Common.o )
[ 9 of 47] Compiling Satchmo.Unary.Op.Flexible ( Satchmo/Unary/Op/Flexible.hs, dist/build/Satchmo/Unary/Op/Flexible.o )
[10 of 47] Compiling Satchmo.Unary    ( Satchmo/Unary.hs, dist/build/Satchmo/Unary.o )
[11 of 47] Compiling Satchmo.Unary.Op.Fixed ( Satchmo/Unary/Op/Fixed.hs, dist/build/Satchmo/Unary/Op/Fixed.o )
[12 of 47] Compiling Satchmo.Numeric  ( Satchmo/Numeric.hs, dist/build/Satchmo/Numeric.o )
[13 of 47] Compiling Satchmo.Integer.Difference ( Satchmo/Integer/Difference.hs, dist/build/Satchmo/Integer/Difference.o )
[14 of 47] Compiling Satchmo.Polynomial.Numeric ( Satchmo/Polynomial/Numeric.hs, dist/build/Satchmo/Polynomial/Numeric.o )
[15 of 47] 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’
[16 of 47] Compiling Satchmo.SAT      ( Satchmo/SAT.hs, dist/build/Satchmo/SAT.o )
[17 of 47] Compiling Satchmo.Counting.Unary ( Satchmo/Counting/Unary.hs, dist/build/Satchmo/Counting/Unary.o )
[18 of 47] Compiling Satchmo.Counting ( Satchmo/Counting.hs, dist/build/Satchmo/Counting.o )
[19 of 47] Compiling Satchmo.Integer.Data ( Satchmo/Integer/Data.hs, dist/build/Satchmo/Integer/Data.o )
[20 of 47] Compiling Satchmo.Binary.Data ( Satchmo/Binary/Data.hs, dist/build/Satchmo/Binary/Data.o )
[21 of 47] Compiling Satchmo.Binary.Op.Common ( Satchmo/Binary/Op/Common.hs, dist/build/Satchmo/Binary/Op/Common.o )
[22 of 47] Compiling Satchmo.Binary.Op.Times ( Satchmo/Binary/Op/Times.hs, dist/build/Satchmo/Binary/Op/Times.o )
[23 of 47] Compiling Satchmo.Binary.Op.Flexible ( Satchmo/Binary/Op/Flexible.hs, dist/build/Satchmo/Binary/Op/Flexible.o )
[24 of 47] Compiling Satchmo.Binary   ( Satchmo/Binary.hs, dist/build/Satchmo/Binary.o )
[25 of 47] Compiling Satchmo.Integer.Op ( Satchmo/Integer/Op.hs, dist/build/Satchmo/Integer/Op.o )
[26 of 47] Compiling Satchmo.Integer  ( Satchmo/Integer.hs, dist/build/Satchmo/Integer.o )
[27 of 47] Compiling Satchmo.BinaryTwosComplement.Data ( Satchmo/BinaryTwosComplement/Data.hs, dist/build/Satchmo/BinaryTwosComplement/Data.o )
[28 of 47] Compiling Satchmo.BinaryTwosComplement.Op.Common ( Satchmo/BinaryTwosComplement/Op/Common.hs, dist/build/Satchmo/BinaryTwosComplement/Op/Common.o )
[29 of 47] Compiling Satchmo.Binary.Op.Fixed ( Satchmo/Binary/Op/Fixed.hs, dist/build/Satchmo/Binary/Op/Fixed.o )
[30 of 47] Compiling Satchmo.BinaryTwosComplement.Op.Fixed ( Satchmo/BinaryTwosComplement/Op/Fixed.hs, dist/build/Satchmo/BinaryTwosComplement/Op/Fixed.o )
[31 of 47] Compiling Satchmo.BinaryTwosComplement ( Satchmo/BinaryTwosComplement.hs, dist/build/Satchmo/BinaryTwosComplement.o )
[32 of 47] Compiling Satchmo.Polynomial ( Satchmo/Polynomial.hs, dist/build/Satchmo/Polynomial.o )
[33 of 47] Compiling Satchmo.PolynomialSOS ( Satchmo/PolynomialSOS.hs, dist/build/Satchmo/PolynomialSOS.o )
[34 of 47] Compiling Satchmo.BinaryTwosComplement.Numeric ( Satchmo/BinaryTwosComplement/Numeric.hs, dist/build/Satchmo/BinaryTwosComplement/Numeric.o )
[35 of 47] Compiling Satchmo.PolynomialN ( Satchmo/PolynomialN.hs, dist/build/Satchmo/PolynomialN.o )
[36 of 47] Compiling Satchmo.Binary.Numeric ( Satchmo/Binary/Numeric.hs, dist/build/Satchmo/Binary/Numeric.o )
[37 of 47] Compiling Satchmo.Counting.Binary ( Satchmo/Counting/Binary.hs, dist/build/Satchmo/Counting/Binary.o )
[38 of 47] Compiling Satchmo.Relation.Data ( Satchmo/Relation/Data.hs, dist/build/Satchmo/Relation/Data.o )
[39 of 47] Compiling Satchmo.Relation.Op ( Satchmo/Relation/Op.hs, dist/build/Satchmo/Relation/Op.o )
[40 of 47] Compiling Satchmo.Relation.Prop ( Satchmo/Relation/Prop.hs, dist/build/Satchmo/Relation/Prop.o )
[41 of 47] Compiling Satchmo.Relation ( Satchmo/Relation.hs, dist/build/Satchmo/Relation.o )
[42 of 47] 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’
[43 of 47] Compiling Satchmo.Set.Op   ( Satchmo/Set/Op.hs, dist/build/Satchmo/Set/Op.o )
[44 of 47] Compiling Satchmo.Set      ( Satchmo/Set.hs, dist/build/Satchmo/Set.o )
[45 of 47] Compiling Satchmo.Map.Data ( Satchmo/Map/Data.hs, dist/build/Satchmo/Map/Data.o )
[46 of 47] Compiling Satchmo.Map      ( Satchmo/Map.hs, dist/build/Satchmo/Map.o )
[47 of 47] 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.1...
Running Haddock for satchmo-2.9.1...
Running hscolour for satchmo-2.9.1...
Preprocessing library satchmo-2.9.1...
Preprocessing library satchmo-2.9.1...

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'
  12% (  2 / 17) in 'Satchmo.Boolean.Op'
   7% (  2 / 29) in 'Satchmo.Boolean'
  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 /  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.93453.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/satchmo-2.9.1
Registering satchmo-2.9.1...
Installed satchmo-2.9.1