[all reports]
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