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