[all reports]
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2025-02-24 20:38:40.255800102 UTC
|
Compiler |
ghc-9.6.3 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
array-0.5.5.0, async-2.2.5, base-4.18.1.0, bytestring-0.11.5.2, containers-0.6.7, deepseq-1.4.8.1, directory-1.3.8.1, hashable-1.4.7.0, microlens-0.4.14.0, microlens-mtl-0.2.1.0, microlens-th-0.4.3.16, minisat-0.1.3, mtl-2.3.1, process-1.6.17.0, transformers-0.6.1.0 |
Flags |
none
|
Code Coverage
expressions | 44% (1080/2424) |
boolean | guards | 0% (0/1) |
conditions | 42% (6/14) |
qualifiers | 100% (1/1) |
alternatives | 39% (38/96) |
local declarations | 70% (12/17) |
top-level declarations | 37% (97/259) |
Build log
[view raw]
Resolving dependencies...
Starting th-abstraction-0.7.1.0
Starting os-string-2.0.7
Starting microlens-0.4.14.0
Starting transformers-compat-0.7.2
Building transformers-compat-0.7.2
Building th-abstraction-0.7.1.0
Building os-string-2.0.7
Building microlens-0.4.14.0
Completed microlens-0.4.14.0
Completed transformers-compat-0.7.2
Starting microlens-mtl-0.2.1.0
Building microlens-mtl-0.2.1.0
Completed th-abstraction-0.7.1.0
Starting microlens-th-0.4.3.16
Completed os-string-2.0.7
Starting hashable-1.4.7.0
Building microlens-th-0.4.3.16
Building hashable-1.4.7.0
Completed microlens-mtl-0.2.1.0
Completed microlens-th-0.4.3.16
Completed hashable-1.4.7.0
Starting async-2.2.5
Building async-2.2.5
Completed async-2.2.5
Starting minisat-0.1.3
Building minisat-0.1.3
Completed minisat-0.1.3
Downloading satchmo-2.9.9.5
Downloaded satchmo-2.9.9.5
Starting satchmo-2.9.9.5
Building satchmo-2.9.9.5
Completed satchmo-2.9.9.5
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.6.3 -O0
In order, the following will be built (use -v for more details):
- microlens-0.4.14.0 (lib:microlens) (requires build)
- minisat-0.1.3 (lib:minisat) (requires build)
- microlens-th-0.4.3.16 (lib:microlens-th) (requires build)
- microlens-mtl-0.2.1.0 (lib:microlens-mtl) (requires build)
- satchmo-2.9.9.5 (first run)
Starting microlens-0.4.14.0 (all, legacy fallback)
Starting minisat-0.1.3 (all, legacy fallback)
Building minisat-0.1.3 (all, legacy fallback)
Building microlens-0.4.14.0 (all, legacy fallback)
Installing microlens-0.4.14.0 (all, legacy fallback)
Installing minisat-0.1.3 (all, legacy fallback)
Completed microlens-0.4.14.0 (all, legacy fallback)
Starting microlens-mtl-0.2.1.0 (all, legacy fallback)
Starting microlens-th-0.4.3.16 (all, legacy fallback)
Completed minisat-0.1.3 (all, legacy fallback)
Building microlens-th-0.4.3.16 (all, legacy fallback)
Building microlens-mtl-0.2.1.0 (all, legacy fallback)
Installing microlens-mtl-0.2.1.0 (all, legacy fallback)
Installing microlens-th-0.4.3.16 (all, legacy fallback)
Completed microlens-mtl-0.2.1.0 (all, legacy fallback)
Completed microlens-th-0.4.3.16 (all, legacy fallback)
Configuring satchmo-2.9.9.5...
Preprocessing library for satchmo-2.9.9.5..
Building library for satchmo-2.9.9.5..
[ 1 of 50] Compiling Satchmo.Data ( src/Satchmo/Data.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Data.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Data.dyn_o )
[ 2 of 50] Compiling Satchmo.Code ( src/Satchmo/Code.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Code.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Code.dyn_o )
[ 3 of 50] Compiling Satchmo.Array ( src/Satchmo/Array.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Array.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Array.dyn_o )
[ 4 of 50] Compiling Satchmo.MonadSAT ( src/Satchmo/MonadSAT.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/MonadSAT.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/MonadSAT.dyn_o )
src/Satchmo/MonadSAT.hs:51:21: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
51 | type Decoder m :: * -> *
| ^
src/Satchmo/MonadSAT.hs:51:26: warning: [GHC-39567] [-Wstar-is-type]
Using * (or its Unicode variant) to mean Data.Kind.Type
relies on the StarIsType extension, which will become
deprecated in the future.
Suggested fix: Use Type from Data.Kind instead.
|
51 | type Decoder m :: * -> *
| ^
src/Satchmo/MonadSAT.hs:79:1: warning: [GHC-08585] [-Wmissing-methods]
" No explicit associated type or default declaration for Decoder
" In the instance declaration for MonadSAT (ReaderT r m)
|
79 | instance (Monad m, MonadSAT m) => MonadSAT (ReaderT r m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Satchmo/MonadSAT.hs:79:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
decode_variable
" In the instance declaration for MonadSAT (ReaderT r m)
|
79 | instance (Monad m, MonadSAT m) => MonadSAT (ReaderT r m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Satchmo/MonadSAT.hs:86:1: warning: [GHC-08585] [-Wmissing-methods]
" No explicit associated type or default declaration for Decoder
" In the instance declaration for MonadSAT (Lazy.StateT s m)
|
86 | instance (Monad m, MonadSAT m) => MonadSAT (Lazy.StateT s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Satchmo/MonadSAT.hs:86:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
decode_variable
" In the instance declaration for MonadSAT (Lazy.StateT s m)
|
86 | instance (Monad m, MonadSAT m) => MonadSAT (Lazy.StateT s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Satchmo/MonadSAT.hs:93:1: warning: [GHC-08585] [-Wmissing-methods]
" No explicit associated type or default declaration for Decoder
" In the instance declaration for MonadSAT (Lazy.RWST r w s m)
|
93 | instance (Monad m, MonadSAT m, Monoid w) => MonadSAT (Lazy.RWST r w s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Satchmo/MonadSAT.hs:93:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
decode_variable
" In the instance declaration for MonadSAT (Lazy.RWST r w s m)
|
93 | instance (Monad m, MonadSAT m, Monoid w) => MonadSAT (Lazy.RWST r w s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Satchmo/MonadSAT.hs:100:1: warning: [GHC-08585] [-Wmissing-methods]
" No explicit associated type or default declaration for Decoder
" In the instance declaration for MonadSAT (Lazy.WriterT w m)
|
100 | instance (Monad m, MonadSAT m, Monoid w) => MonadSAT (Lazy.WriterT w m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Satchmo/MonadSAT.hs:100:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
decode_variable
" In the instance declaration for MonadSAT (Lazy.WriterT w m)
|
100 | instance (Monad m, MonadSAT m, Monoid w) => MonadSAT (Lazy.WriterT w m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Satchmo/MonadSAT.hs:107:1: warning: [GHC-08585] [-Wmissing-methods]
" No explicit associated type or default declaration for Decoder
" In the instance declaration for MonadSAT (Strict.StateT s m)
|
107 | instance (Monad m, MonadSAT m) => MonadSAT (Strict.StateT s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Satchmo/MonadSAT.hs:107:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
decode_variable
" In the instance declaration for MonadSAT (Strict.StateT s m)
|
107 | instance (Monad m, MonadSAT m) => MonadSAT (Strict.StateT s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Satchmo/MonadSAT.hs:114:1: warning: [GHC-08585] [-Wmissing-methods]
" No explicit associated type or default declaration for Decoder
" In the instance declaration for MonadSAT (Strict.RWST r w s m)
|
114 | instance (Monad m, MonadSAT m, Monoid w) => MonadSAT (Strict.RWST r w s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Satchmo/MonadSAT.hs:114:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
decode_variable
" In the instance declaration for MonadSAT (Strict.RWST r w s m)
|
114 | instance (Monad m, MonadSAT m, Monoid w) => MonadSAT (Strict.RWST r w s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Satchmo/MonadSAT.hs:121:1: warning: [GHC-08585] [-Wmissing-methods]
" No explicit associated type or default declaration for Decoder
" In the instance declaration for MonadSAT (Strict.WriterT w m)
|
121 | instance (Monad m, MonadSAT m, Monoid w) => MonadSAT (Strict.WriterT w m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Satchmo/MonadSAT.hs:121:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
decode_variable
" In the instance declaration for MonadSAT (Strict.WriterT w m)
|
121 | instance (Monad m, MonadSAT m, Monoid w) => MonadSAT (Strict.WriterT w m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Satchmo/MonadSAT.hs:128:1: warning: [GHC-08585] [-Wmissing-methods]
" No explicit associated type or default declaration for Decoder
" In the instance declaration for MonadSAT (ContT s m)
|
128 | instance (Monad m, MonadSAT m) => MonadSAT (ContT s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Satchmo/MonadSAT.hs:128:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
decode_variable
" In the instance declaration for MonadSAT (ContT s m)
|
128 | instance (Monad m, MonadSAT m) => MonadSAT (ContT s m) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 5 of 50] Compiling Satchmo.Boolean.Data ( src/Satchmo/Boolean/Data.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Boolean/Data.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Boolean/Data.dyn_o )
src/Satchmo/Boolean/Data.hs:10:26: warning: [GHC-47854] [-Wduplicate-exports]
encode is exported by encode and Boolean(..)
|
10 | ( Boolean(..), Booleans, encode
| ^^^^^^
[ 6 of 50] Compiling Satchmo.Boolean.Op ( src/Satchmo/Boolean/Op.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Boolean/Op.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Boolean/Op.dyn_o )
[ 7 of 50] Compiling Satchmo.Boolean ( src/Satchmo/Boolean.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Boolean.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Boolean.dyn_o )
[ 8 of 50] Compiling Satchmo.Counting.Direct ( src/Satchmo/Counting/Direct.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Counting/Direct.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Counting/Direct.dyn_o )
[ 9 of 50] Compiling Satchmo.Binary.Data ( src/Satchmo/Binary/Data.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Data.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Data.dyn_o )
[10 of 50] Compiling Satchmo.Binary.Op.Common ( src/Satchmo/Binary/Op/Common.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Op/Common.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Op/Common.dyn_o )
[11 of 50] Compiling Satchmo.Binary.Op.Times ( src/Satchmo/Binary/Op/Times.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Op/Times.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Op/Times.dyn_o )
[12 of 50] Compiling Satchmo.BinaryTwosComplement.Data ( src/Satchmo/BinaryTwosComplement/Data.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement/Data.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement/Data.dyn_o )
[13 of 50] Compiling Satchmo.BinaryTwosComplement.Op.Common ( src/Satchmo/BinaryTwosComplement/Op/Common.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement/Op/Common.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement/Op/Common.dyn_o )
[14 of 50] Compiling Satchmo.Numeric ( src/Satchmo/Numeric.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Numeric.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Numeric.dyn_o )
[15 of 50] Compiling Satchmo.Integer.Difference ( src/Satchmo/Integer/Difference.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Integer/Difference.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Integer/Difference.dyn_o )
[16 of 50] Compiling Satchmo.Polynomial.Numeric ( src/Satchmo/Polynomial/Numeric.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Polynomial/Numeric.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Polynomial/Numeric.dyn_o )
[17 of 50] Compiling Satchmo.SAT.External ( src/Satchmo/SAT/External.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/SAT/External.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/SAT/External.dyn_o )
src/Satchmo/SAT/External.hs:73:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
fresh_forall and decode_variable
" In the instance declaration for MonadSAT SAT
|
73 | instance MonadSAT SAT where
| ^^^^^^^^^^^^
[18 of 50] Compiling Satchmo.SAT.Mini ( src/Satchmo/SAT/Mini.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/SAT/Mini.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/SAT/Mini.dyn_o )
src/Satchmo/SAT/Mini.hs:52:5: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad SAT.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
52 | return x = SAT $ \ s -> return x
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Satchmo/SAT/Mini.hs:61:5: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative SAT.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
61 | pure = return
| ^^^^^^^^^^^^^
src/Satchmo/SAT/Mini.hs:67:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
fresh_forall
" In the instance declaration for MonadSAT SAT
|
67 | instance MonadSAT SAT where
| ^^^^^^^^^^^^
[19 of 50] Compiling Satchmo.SAT.Tmpfile ( src/Satchmo/SAT/Tmpfile.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/SAT/Tmpfile.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/SAT/Tmpfile.dyn_o )
src/Satchmo/SAT/Tmpfile.hs:48:10: warning: [GHC-06201] [-Wmissing-methods]
" No explicit implementation for
fresh_forall
" In the instance declaration for MonadSAT SAT
|
48 | instance MonadSAT SAT where
| ^^^^^^^^^^^^
[20 of 50] Compiling Satchmo.SAT ( src/Satchmo/SAT.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/SAT.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/SAT.dyn_o )
[21 of 50] Compiling Satchmo.Relation.Data ( src/Satchmo/Relation/Data.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Relation/Data.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Relation/Data.dyn_o )
[22 of 50] Compiling Satchmo.Map.Data ( src/Satchmo/Map/Data.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Map/Data.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Map/Data.dyn_o )
[23 of 50] Compiling Satchmo.Map ( src/Satchmo/Map.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Map.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Map.dyn_o )
[24 of 50] Compiling Satchmo.Counting.Unary ( src/Satchmo/Counting/Unary.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Counting/Unary.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Counting/Unary.dyn_o )
[25 of 50] Compiling Satchmo.Binary.Op.Flexible ( src/Satchmo/Binary/Op/Flexible.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Op/Flexible.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Op/Flexible.dyn_o )
[26 of 50] Compiling Satchmo.Binary ( src/Satchmo/Binary.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary.dyn_o )
[27 of 50] Compiling Satchmo.Counting.Binary ( src/Satchmo/Counting/Binary.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Counting/Binary.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Counting/Binary.dyn_o )
[28 of 50] Compiling Satchmo.Counting ( src/Satchmo/Counting.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Counting.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Counting.dyn_o )
[29 of 50] Compiling Satchmo.Relation.Op ( src/Satchmo/Relation/Op.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Relation/Op.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Relation/Op.dyn_o )
[30 of 50] Compiling Satchmo.Relation.Prop ( src/Satchmo/Relation/Prop.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Relation/Prop.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Relation/Prop.dyn_o )
[31 of 50] Compiling Satchmo.Relation ( src/Satchmo/Relation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Relation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Relation.dyn_o )
[32 of 50] Compiling Satchmo.Integer.Data ( src/Satchmo/Integer/Data.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Integer/Data.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Integer/Data.dyn_o )
src/Satchmo/Integer/Data.hs:25:1: warning: [GHC-94817] [-Wtabs]
Tab character found here, and in six further locations.
Suggested fix: Please use spaces instead.
|
25 | -- using two's complement
| ^^^^^^^^
[33 of 50] Compiling Satchmo.Integer.Op ( src/Satchmo/Integer/Op.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Integer/Op.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Integer/Op.dyn_o )
src/Satchmo/Integer/Op.hs:61:5: warning: [GHC-94817] [-Wtabs]
Tab character found here, and in 21 further locations.
Suggested fix: Please use spaces instead.
|
61 | $ error "Satchmo.Integer.Op.sub"
| ^^^^
[34 of 50] Compiling Satchmo.Integer ( src/Satchmo/Integer.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Integer.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Integer.dyn_o )
[35 of 50] Compiling Satchmo.Binary.Op.Fixed ( src/Satchmo/Binary/Op/Fixed.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Op/Fixed.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Op/Fixed.dyn_o )
[36 of 50] Compiling Satchmo.PolynomialN ( src/Satchmo/PolynomialN.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/PolynomialN.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/PolynomialN.dyn_o )
[37 of 50] Compiling Satchmo.BinaryTwosComplement.Op.Fixed ( src/Satchmo/BinaryTwosComplement/Op/Fixed.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement/Op/Fixed.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement/Op/Fixed.dyn_o )
[38 of 50] Compiling Satchmo.Polynomial ( src/Satchmo/Polynomial.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Polynomial.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Polynomial.dyn_o )
[39 of 50] Compiling Satchmo.PolynomialSOS ( src/Satchmo/PolynomialSOS.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/PolynomialSOS.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/PolynomialSOS.dyn_o )
[40 of 50] Compiling Satchmo.BinaryTwosComplement.Numeric ( src/Satchmo/BinaryTwosComplement/Numeric.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement/Numeric.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement/Numeric.dyn_o )
[41 of 50] Compiling Satchmo.BinaryTwosComplement ( src/Satchmo/BinaryTwosComplement.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/BinaryTwosComplement.dyn_o )
[42 of 50] Compiling Satchmo.Binary.Numeric ( src/Satchmo/Binary/Numeric.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Numeric.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Binary/Numeric.dyn_o )
[43 of 50] Compiling Satchmo.Set.Data ( src/Satchmo/Set/Data.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Set/Data.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Set/Data.dyn_o )
src/Satchmo/Set/Data.hs:7:26: warning: [GHC-47854] [-Wduplicate-exports]
keys is exported by keys and keys
|
7 | , member, keys, keysSet, keys, assocs, elems
| ^^^^
[44 of 50] Compiling Satchmo.Set.Op ( src/Satchmo/Set/Op.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Set/Op.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Set/Op.dyn_o )
[45 of 50] Compiling Satchmo.Set ( src/Satchmo/Set.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Set.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Set.dyn_o )
[46 of 50] Compiling Satchmo.Unary.Data ( src/Satchmo/Unary/Data.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary/Data.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary/Data.dyn_o )
[47 of 50] Compiling Satchmo.Unary.Op.Common ( src/Satchmo/Unary/Op/Common.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary/Op/Common.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary/Op/Common.dyn_o )
[48 of 50] Compiling Satchmo.Unary.Op.Fixed ( src/Satchmo/Unary/Op/Fixed.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary/Op/Fixed.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary/Op/Fixed.dyn_o )
[49 of 50] Compiling Satchmo.Unary.Op.Flexible ( src/Satchmo/Unary/Op/Flexible.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary/Op/Flexible.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary/Op/Flexible.dyn_o )
[50 of 50] Compiling Satchmo.Unary ( src/Satchmo/Unary.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Satchmo/Unary.dyn_o )
Preprocessing test suite 'AIS' for satchmo-2.9.9.5..
Building test suite 'AIS' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/AIS.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/AIS/AIS-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/AIS/AIS
Preprocessing test suite 'Hidoku' for satchmo-2.9.9.5..
Building test suite 'Hidoku' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/Hidoku.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Hidoku/Hidoku-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Hidoku/Hidoku
Preprocessing test suite 'Langford' for satchmo-2.9.9.5..
Building test suite 'Langford' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/Langford.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Langford/Langford-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Langford/Langford
Preprocessing test suite 'Moore' for satchmo-2.9.9.5..
Building test suite 'Moore' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/Moore.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Moore/Moore-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Moore/Moore
Preprocessing test suite 'Oscillator' for satchmo-2.9.9.5..
Building test suite 'Oscillator' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/Oscillator.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Oscillator/Oscillator-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Oscillator/Oscillator
Preprocessing test suite 'PP' for satchmo-2.9.9.5..
Building test suite 'PP' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/PP.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/PP/PP-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/PP/PP
Preprocessing test suite 'Pigeon' for satchmo-2.9.9.5..
Building test suite 'Pigeon' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/Pigeon.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Pigeon/Pigeon-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Pigeon/Pigeon
Preprocessing test suite 'Pythagoras' for satchmo-2.9.9.5..
Building test suite 'Pythagoras' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/Pythagoras.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Pythagoras/Pythagoras-tmp/Main.o )
examples/Pythagoras.hs:10:29: warning: [GHC-94817] [-Wtabs]
Tab character found here.
Suggested fix: Please use spaces instead.
|
10 | import Satchmo.Code (decode)
| ^^^^
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Pythagoras/Pythagoras
Preprocessing test suite 'Ramsey' for satchmo-2.9.9.5..
Building test suite 'Ramsey' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/Ramsey.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Ramsey/Ramsey-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Ramsey/Ramsey
Preprocessing test suite 'Spaceship' for satchmo-2.9.9.5..
Building test suite 'Spaceship' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/Spaceship.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Spaceship/Spaceship-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Spaceship/Spaceship
Preprocessing test suite 'Sudoku' for satchmo-2.9.9.5..
Building test suite 'Sudoku' for satchmo-2.9.9.5..
[1 of 1] Compiling Main ( examples/Sudoku.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Sudoku/Sudoku-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/build/Sudoku/Sudoku
Running 11 test suites...
Test suite AIS: RUNNING...
Test suite AIS: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Op.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Prop.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/AIS/hpc_index.html
Test suite Hidoku: RUNNING...
Test suite Hidoku: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Op.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Prop.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/Hidoku/hpc_index.html
Test suite Langford: RUNNING...
Test suite Langford: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Op.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Prop.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/Langford/hpc_index.html
Test suite Moore: RUNNING...
Test suite Moore: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Prop.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Op.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/Moore/hpc_index.html
Test suite Oscillator: RUNNING...
Test suite Oscillator: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Op.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Prop.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/Oscillator/hpc_index.html
Test suite PP: RUNNING...
Test suite PP: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Op.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/PP/hpc_index.html
Test suite Pigeon: RUNNING...
Test suite Pigeon: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/Pigeon/hpc_index.html
Test suite Pythagoras: RUNNING...
Test suite Pythagoras: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/Pythagoras/hpc_index.html
Test suite Ramsey: RUNNING...
Test suite Ramsey: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/Ramsey/hpc_index.html
Test suite Spaceship: RUNNING...
Test suite Spaceship: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/Spaceship/hpc_index.html
Test suite Sudoku: RUNNING...
Test suite Sudoku: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/satchmo-2.9.9.5.test
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Op.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Prop.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/Sudoku/hpc_index.html
11 of 11 test suites (11 of 11 test cases) passed.
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Common.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Flexible.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Binary.Op.Times.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Code.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Counting.Binary.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.MonadSAT.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Data.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Op.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.Relation.Prop.hs.html
Writing: satchmo-2.9.9.5-inplace/Satchmo.SAT.Mini.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/satchmo-2.9.9.5/noopt/hpc/vanilla/html/satchmo-2.9.9.5/hpc_index.html