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