Build #1 for satchmo-2.9.9.5

[all reports]

Package satchmo-2.9.9.5
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

expressions44% (1080/2424)
booleanguards0% (0/1)
conditions 42% (6/14)
qualifiers100% (1/1)
alternatives39% (38/96)
local declarations70% (12/17)
top-level declarations37% (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