[all reports]
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2023-03-15 16:34:02.601365253 UTC
|
Compiler |
ghc-9.2.4 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
QuickCheck-2.14.2, base-4.16.3.0, base-compat-0.13.0, containers-0.6.5.1, deepseq-1.4.6.1, foldable1-classes-compat-0.1, hashable-1.4.2.0, integer-logarithms-1.0.3.1, tagged-0.8.7, transformers-0.5.6.2, universe-base-1.1.3.1, 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 data-array-byte-0.1.0.1
Starting integer-logarithms-1.0.3.1
Starting tagged-0.8.7
Starting splitmix-0.1.0.4
Starting base-compat-0.13.0
Building integer-logarithms-1.0.3.1
Building data-array-byte-0.1.0.1
Building splitmix-0.1.0.4
Building tagged-0.8.7
Building base-compat-0.13.0
Completed integer-logarithms-1.0.3.1
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.7
Starting universe-base-1.1.3.1
Starting foldable1-classes-compat-0.1
Building foldable1-classes-compat-0.1
Building universe-base-1.1.3.1
Completed base-compat-0.13.0
Completed universe-base-1.1.3.1
Starting universe-reverse-instances-1.1.1
Completed foldable1-classes-compat-0.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 universe-reverse-instances-1.1.1
Completed random-1.2.1.1
Starting QuickCheck-2.14.2
Building QuickCheck-2.14.2
Completed unordered-containers-0.2.19.1
Completed QuickCheck-2.14.2
Downloading lattices-2.2
Downloaded lattices-2.2
Starting lattices-2.2
Building lattices-2.2
Completed lattices-2.2
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):
- these-1.2 (lib:these) (requires build)
- universe-base-1.1.3.1 (lib:universe-base) (requires build)
- strict-0.5 (lib:strict) (requires download & build)
- universe-reverse-instances-1.1.1 (lib:universe-reverse-instances) (requires build)
- quickcheck-instances-0.3.29.1 (lib:quickcheck-instances) (requires build)
- lattices-2.2 (first run)
Downloading strict-0.5
Starting these-1.2 (all, legacy fallback)
Starting universe-base-1.1.3.1 (all, legacy fallback)
Downloaded strict-0.5
Building these-1.2 (all, legacy fallback)
Building universe-base-1.1.3.1 (all, legacy fallback)
Installing universe-base-1.1.3.1 (all, legacy fallback)
Installing these-1.2 (all, legacy fallback)
Completed universe-base-1.1.3.1 (all, legacy fallback)
Starting universe-reverse-instances-1.1.1 (all, legacy fallback)
Completed these-1.2 (all, legacy fallback)
Starting strict-0.5 (all, legacy fallback)
Building universe-reverse-instances-1.1.1 (all, legacy fallback)
Building strict-0.5 (all, legacy fallback)
Installing universe-reverse-instances-1.1.1 (all, legacy fallback)
Completed universe-reverse-instances-1.1.1 (all, legacy fallback)
Installing strict-0.5 (all, legacy fallback)
Completed strict-0.5 (all, legacy fallback)
Starting quickcheck-instances-0.3.29.1 (all, legacy fallback)
Building quickcheck-instances-0.3.29.1 (all, legacy fallback)
Installing quickcheck-instances-0.3.29.1 (all, legacy fallback)
Completed quickcheck-instances-0.3.29.1 (all, legacy fallback)
Configuring lattices-2.2...
Preprocessing library for lattices-2.2..
Building library for lattices-2.2..
[ 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.2/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.2/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.2/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.2/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.2/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.2/noopt/build/Algebra/Lattice.dyn_o )
src/Algebra/Lattice.hs:55:62: warning: [-Wunused-imports]
The import of Semigroup from module Data.Semigroup is redundant
|
55 | import Data.Semigroup (All (..), Any (..), Endo (..), Semigroup (..))
| ^^^^^^^^^^^^^^
src/Algebra/Lattice.hs:368: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
|
368 | Join a `mappend` Join b = Join (a \/ b)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Algebra/Lattice.hs:404: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
|
404 | 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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/noopt/build/Algebra/Lattice/Free.dyn_o )
src/Algebra/Lattice/Free.hs:23:1: warning: [-Wunused-imports]
The import of Control.Applicative is redundant
except perhaps to import instances from Control.Applicative
To import instances alone, use: import Control.Applicative()
|
23 | import Control.Applicative (liftA2)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/noopt/build/Algebra/Heyting/Free.dyn_o )
src/Algebra/Heyting/Free.hs:24:1: warning: [-Wunused-imports]
The import of Control.Applicative is redundant
except perhaps to import instances from Control.Applicative
To import instances alone, use: import Control.Applicative()
|
24 | import Control.Applicative (liftA2)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[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.2/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.2/noopt/build/Algebra/PartialOrd/Instances.dyn_o )
Preprocessing test suite 'test' for lattices-2.2..
Building test suite 'test' for lattices-2.2..
[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.2/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.2/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.2.test
Writing: lattices-2.2-inplace/Algebra.PartialOrd.Instances.hs.html
Writing: lattices-2.2-inplace/Algebra.PartialOrd.hs.html
Writing: lattices-2.2-inplace/Algebra.Heyting.Free.Expr.hs.html
Writing: lattices-2.2-inplace/Algebra.Heyting.Free.hs.html
Writing: lattices-2.2-inplace/Algebra.Heyting.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.ZeroHalfOne.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Wide.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Ordered.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Op.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.N5.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.M3.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.M2.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Lifted.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Lexicographic.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Levitated.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Free.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Dropped.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Divisibility.hs.html
Writing: lattices-2.2-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.2/noopt/hpc/vanilla/html/test/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: lattices-2.2-inplace/Algebra.PartialOrd.Instances.hs.html
Writing: lattices-2.2-inplace/Algebra.PartialOrd.hs.html
Writing: lattices-2.2-inplace/Algebra.Heyting.Free.Expr.hs.html
Writing: lattices-2.2-inplace/Algebra.Heyting.Free.hs.html
Writing: lattices-2.2-inplace/Algebra.Heyting.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.ZeroHalfOne.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Wide.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Ordered.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Op.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.N5.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.M3.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.M2.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Lifted.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Lexicographic.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Levitated.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Free.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Dropped.hs.html
Writing: lattices-2.2-inplace/Algebra.Lattice.Divisibility.hs.html
Writing: lattices-2.2-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.2/noopt/hpc/vanilla/html/lattices-2.2/hpc_index.html