Hackage :: [Package]

• Search 
• Browse
• What's new
• Upload
• User accounts

Build #1 for lattices-2.1

[all reports]

Package	lattices-2.1

Install	InstallOk
Docs	Ok
Tests	Ok

Time submitted	2023-01-28 19:14:01.764046508 UTC
Compiler	ghc-9.2.4
OS	linux
Arch	x86_64
Dependencies	QuickCheck-2.14.2, base-4.16.3.0, base-compat-0.12.2, containers-0.6.5.1, deepseq-1.4.6.1, hashable-1.4.2.0, integer-logarithms-1.0.3.1, semigroupoids-5.3.7, tagged-0.8.6.1, transformers-0.5.6.2, universe-base-1.1.3, universe-reverse-instances-1.1.1, unordered-containers-0.2.19.1
Flags	none

Code Coverage

expressions		64% (1378/2140)
boolean	guards	43% (17/39)
	conditions	100% (5/5)
	qualifiers	100% (5/5)
alternatives		72% (269/370)
local declarations		57% (20/35)
top-level declarations		39% (313/801)

Build log

[view raw]

Resolving dependencies...
Starting     StateVar-1.2.2
Starting     base-orphans-0.8.7
Starting     data-array-byte-0.1.0.1
Starting     indexed-traversable-0.1.2
Starting     integer-logarithms-1.0.3.1
Starting     tagged-0.8.6.1
Starting     splitmix-0.1.0.4
Starting     transformers-compat-0.7.2
Starting     th-abstraction-0.4.5.0
Starting     base-compat-0.12.2
Building     StateVar-1.2.2
Building     base-orphans-0.8.7
Building     th-abstraction-0.4.5.0
Building     base-compat-0.12.2
Building     integer-logarithms-1.0.3.1
Building     splitmix-0.1.0.4
Building     tagged-0.8.6.1
Building     data-array-byte-0.1.0.1
Building     indexed-traversable-0.1.2
Building     transformers-compat-0.7.2
Completed    base-orphans-0.8.7
Completed    StateVar-1.2.2
Starting     contravariant-1.5.5
Completed    integer-logarithms-1.0.3.1
Building     contravariant-1.5.5
Completed    splitmix-0.1.0.4
Starting     random-1.2.1.1
Completed    data-array-byte-0.1.0.1
Starting     hashable-1.4.2.0
Building     random-1.2.1.1
Building     hashable-1.4.2.0
Completed    tagged-0.8.6.1
Starting     distributive-0.6.2.1
Starting     universe-base-1.1.3
Completed    transformers-compat-0.7.2
Building     distributive-0.6.2.1
Building     universe-base-1.1.3
Completed    indexed-traversable-0.1.2
Completed    th-abstraction-0.4.5.0
Completed    base-compat-0.12.2
Completed    contravariant-1.5.5
Completed    distributive-0.6.2.1
Starting     comonad-5.0.8
Building     comonad-5.0.8
Completed    universe-base-1.1.3
Downloading  universe-reverse-instances-1.1.1
Downloaded   universe-reverse-instances-1.1.1
Starting     universe-reverse-instances-1.1.1
Building     universe-reverse-instances-1.1.1
Completed    hashable-1.4.2.0
Starting     unordered-containers-0.2.19.1
Building     unordered-containers-0.2.19.1
Completed    random-1.2.1.1
Starting     QuickCheck-2.14.2
Completed    universe-reverse-instances-1.1.1
Building     QuickCheck-2.14.2
Completed    comonad-5.0.8
Starting     bifunctors-5.5.14
Building     bifunctors-5.5.14
Completed    unordered-containers-0.2.19.1
Completed    bifunctors-5.5.14
Starting     semigroupoids-5.3.7
Building     semigroupoids-5.3.7
Completed    QuickCheck-2.14.2
Completed    semigroupoids-5.3.7
Downloading  lattices-2.1
Downloaded   lattices-2.1
Starting     lattices-2.1
Building     lattices-2.1
Completed    lattices-2.1

Test log

[view raw]

Resolving dependencies...
Build profile: -w ghc-9.2.4 -O0
In order, the following will be built (use -v for more details):
 - universe-base-1.1.3 (lib:universe-base) (requires build)
 - universe-reverse-instances-1.1.1 (lib:universe-reverse-instances) (requires build)
 - lattices-2.1 (first run)
Starting     universe-base-1.1.3 (all, legacy fallback)
Building     universe-base-1.1.3 (all, legacy fallback)
Installing   universe-base-1.1.3 (all, legacy fallback)
Completed    universe-base-1.1.3 (all, legacy fallback)
Starting     universe-reverse-instances-1.1.1 (all, legacy fallback)
Building     universe-reverse-instances-1.1.1 (all, legacy fallback)
Installing   universe-reverse-instances-1.1.1 (all, legacy fallback)
Completed    universe-reverse-instances-1.1.1 (all, legacy fallback)
Configuring lattices-2.1...
Preprocessing library for lattices-2.1..
Building library for lattices-2.1..
[ 1 of 21] Compiling Algebra.Heyting.Free.Expr ( src/Algebra/Heyting/Free/Expr.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Heyting/Free/Expr.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Heyting/Free/Expr.dyn_o )
[ 2 of 21] Compiling Algebra.PartialOrd ( src/Algebra/PartialOrd.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/PartialOrd.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/PartialOrd.dyn_o )
[ 3 of 21] Compiling Algebra.Lattice  ( src/Algebra/Lattice.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice.dyn_o )

src/Algebra/Lattice.hs:54:64: warning: [-Wunused-imports]
    The import of Semigroup from module Data.Semigroup is redundant
   |
54 | import Data.Semigroup          (All (..), Any (..), Endo (..), Semigroup (..))
   |                                                                ^^^^^^^^^^^^^^

src/Algebra/Lattice.hs:364:3: warning: [-Wnoncanonical-monoid-instances]
    Noncanonical mappend definition detected
    in the instance declaration for Monoid (Join a).
    mappend will eventually be removed in favour of (<>)
    Either remove definition for mappend (recommended) or define as mappend = (<>)
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
    |
364 |   Join a `mappend` Join b = Join (a \/ b)
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Algebra/Lattice.hs:400:3: warning: [-Wnoncanonical-monoid-instances]
    Noncanonical mappend definition detected
    in the instance declaration for Monoid (Meet a).
    mappend will eventually be removed in favour of (<>)
    Either remove definition for mappend (recommended) or define as mappend = (<>)
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
    |
400 |   Meet a `mappend` Meet b = Meet (a /\ b)
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 21] Compiling Algebra.Lattice.Wide ( src/Algebra/Lattice/Wide.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Wide.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Wide.dyn_o )

src/Algebra/Lattice/Wide.hs:58:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical pure = return definition detected
    in the instance declaration for Applicative Wide.
    Move definition from return to pure
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
58 |   pure = return
   |   ^^^^^^^^^^^^^

src/Algebra/Lattice/Wide.hs:62:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad Wide.
    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
   |
62 |   return       = Middle
   |   ^^^^^^^^^^^^^^^^^^^^^
[ 5 of 21] Compiling Algebra.Lattice.Op ( src/Algebra/Lattice/Op.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Op.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Op.dyn_o )

src/Algebra/Lattice/Op.hs:52:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical pure = return definition detected
    in the instance declaration for Applicative Op.
    Move definition from return to pure
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
52 |   pure = return
   |   ^^^^^^^^^^^^^

src/Algebra/Lattice/Op.hs:56:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad Op.
    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
   |
56 |   return      = Op
   |   ^^^^^^^^^^^^^^^^
[ 6 of 21] Compiling Algebra.Lattice.N5 ( src/Algebra/Lattice/N5.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/N5.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/N5.dyn_o )
[ 7 of 21] Compiling Algebra.Lattice.M3 ( src/Algebra/Lattice/M3.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/M3.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/M3.dyn_o )
[ 8 of 21] Compiling Algebra.Lattice.Lifted ( src/Algebra/Lattice/Lifted.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Lifted.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Lifted.dyn_o )

src/Algebra/Lattice/Lifted.hs:54:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical pure = return definition detected
    in the instance declaration for Applicative Lifted.
    Move definition from return to pure
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
54 |   pure = return
   |   ^^^^^^^^^^^^^

src/Algebra/Lattice/Lifted.hs:58:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad Lifted.
    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
   |
58 |   return        = Lift
   |   ^^^^^^^^^^^^^^^^^^^^
[ 9 of 21] Compiling Algebra.Lattice.Lexicographic ( src/Algebra/Lattice/Lexicographic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Lexicographic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Lexicographic.dyn_o )

src/Algebra/Lattice/Lexicographic.hs:62:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical pure = return definition detected
    in the instance declaration for Applicative (Lexicographic k).
    Move definition from return to pure
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
62 |   pure = return
   |   ^^^^^^^^^^^^^

src/Algebra/Lattice/Lexicographic.hs:67:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad (Lexicographic k).
    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
   |
67 |   return                   =  Lexicographic bottom
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[10 of 21] Compiling Algebra.Lattice.Levitated ( src/Algebra/Lattice/Levitated.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Levitated.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Levitated.dyn_o )

src/Algebra/Lattice/Levitated.hs:56:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical pure = return definition detected
    in the instance declaration for Applicative Levitated.
    Move definition from return to pure
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
56 |   pure = return
   |   ^^^^^^^^^^^^^

src/Algebra/Lattice/Levitated.hs:60:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad Levitated.
    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
   |
60 |   return            = Levitate
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[11 of 21] Compiling Algebra.Lattice.Free.Final ( src/Algebra/Lattice/Free/Final.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Free/Final.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Free/Final.dyn_o )
[12 of 21] Compiling Algebra.Lattice.Free ( src/Algebra/Lattice/Free.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Free.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Free.dyn_o )
[13 of 21] Compiling Algebra.Lattice.Dropped ( src/Algebra/Lattice/Dropped.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Dropped.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Dropped.dyn_o )

src/Algebra/Lattice/Dropped.hs:54:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical pure = return definition detected
    in the instance declaration for Applicative Dropped.
    Move definition from return to pure
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
54 |   pure = return
   |   ^^^^^^^^^^^^^

src/Algebra/Lattice/Dropped.hs:58:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad Dropped.
    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
   |
58 |   return        = Drop
   |   ^^^^^^^^^^^^^^^^^^^^
[14 of 21] Compiling Algebra.Lattice.Divisibility ( src/Algebra/Lattice/Divisibility.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Divisibility.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Divisibility.dyn_o )

src/Algebra/Lattice/Divisibility.hs:50:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical pure = return definition detected
    in the instance declaration for Applicative Divisibility.
    Move definition from return to pure
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
50 |   pure = return
   |   ^^^^^^^^^^^^^

src/Algebra/Lattice/Divisibility.hs:54:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad Divisibility.
    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
   |
54 |   return           = Divisibility
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[15 of 21] Compiling Algebra.Heyting  ( src/Algebra/Heyting.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Heyting.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Heyting.dyn_o )
[16 of 21] Compiling Algebra.Lattice.ZeroHalfOne ( src/Algebra/Lattice/ZeroHalfOne.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/ZeroHalfOne.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/ZeroHalfOne.dyn_o )
[17 of 21] Compiling Algebra.Lattice.Unicode ( src/Algebra/Lattice/Unicode.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Unicode.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Unicode.dyn_o )
[18 of 21] Compiling Algebra.Lattice.Ordered ( src/Algebra/Lattice/Ordered.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Ordered.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/Ordered.dyn_o )

src/Algebra/Lattice/Ordered.hs:52:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical pure = return definition detected
    in the instance declaration for Applicative Ordered.
    Move definition from return to pure
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
   |
52 |   pure = return
   |   ^^^^^^^^^^^^^

src/Algebra/Lattice/Ordered.hs:56:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical return definition detected
    in the instance declaration for Monad Ordered.
    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
   |
56 |   return           = Ordered
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[19 of 21] Compiling Algebra.Lattice.M2 ( src/Algebra/Lattice/M2.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/M2.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Lattice/M2.dyn_o )
[20 of 21] Compiling Algebra.Heyting.Free ( src/Algebra/Heyting/Free.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Heyting/Free.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/Heyting/Free.dyn_o )
[21 of 21] Compiling Algebra.PartialOrd.Instances ( src/Algebra/PartialOrd/Instances.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/PartialOrd/Instances.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/Algebra/PartialOrd/Instances.dyn_o )
Preprocessing test suite 'test' for lattices-2.1..
Building test suite 'test' for lattices-2.1..
[1 of 1] Compiling Main             ( test/Tests.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/test/test-tmp/Main.o )

test/Tests.hs:17:55: warning: [-Wunused-imports]
    The import of <> from module Data.Semigroup is redundant
   |
17 | import Data.Semigroup           (All, Any, Endo (..), (<>))
   |                                                       ^^^^

test/Tests.hs:63:18: warning: [-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.
   |
63 | data Proxy (a :: *) = Proxy
   |                  ^

test/Tests.hs:64:19: warning: [-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.
   |
64 | data Proxy1 (a :: * -> *) = Proxy1
   |                   ^

test/Tests.hs:64:24: warning: [-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.
   |
64 | data Proxy1 (a :: * -> *) = Proxy1
   |                        ^

test/Tests.hs:149:27: warning: [-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.
    |
149 | monadLaws :: forall (m :: * -> *). ( Monad m
    |                           ^

test/Tests.hs:149:32: warning: [-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.
    |
149 | monadLaws :: forall (m :: * -> *). ( Monad m
    |                                ^
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/lattices-2.1/noopt/build/test/test ...
Running 1 test suites...
Test suite test: RUNNING...
Test suite test: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/lattices-2.1.test
Writing: lattices-2.1-inplace/Algebra.PartialOrd.Instances.hs.html
Writing: lattices-2.1-inplace/Algebra.PartialOrd.hs.html
Writing: lattices-2.1-inplace/Algebra.Heyting.Free.Expr.hs.html
Writing: lattices-2.1-inplace/Algebra.Heyting.Free.hs.html
Writing: lattices-2.1-inplace/Algebra.Heyting.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.ZeroHalfOne.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Wide.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Ordered.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Op.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.N5.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.M3.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.M2.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Lifted.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Lexicographic.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Levitated.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Free.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Dropped.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Divisibility.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.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.2.4/lattices-2.1/noopt/hpc/vanilla/html/test/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: lattices-2.1-inplace/Algebra.PartialOrd.Instances.hs.html
Writing: lattices-2.1-inplace/Algebra.PartialOrd.hs.html
Writing: lattices-2.1-inplace/Algebra.Heyting.Free.Expr.hs.html
Writing: lattices-2.1-inplace/Algebra.Heyting.Free.hs.html
Writing: lattices-2.1-inplace/Algebra.Heyting.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.ZeroHalfOne.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Wide.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Ordered.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Op.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.N5.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.M3.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.M2.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Lifted.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Lexicographic.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Levitated.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Free.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Dropped.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.Divisibility.hs.html
Writing: lattices-2.1-inplace/Algebra.Lattice.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.2.4/lattices-2.1/noopt/hpc/vanilla/html/lattices-2.1/hpc_index.html