Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - quickcheck-instances-0.3.30 (lib:quickcheck-instances) (requires build) - type-natural-1.3.0.1 (first run) Starting quickcheck-instances-0.3.30 (all, legacy fallback) Building quickcheck-instances-0.3.30 (all, legacy fallback) Installing quickcheck-instances-0.3.30 (all, legacy fallback) Completed quickcheck-instances-0.3.30 (all, legacy fallback) Configuring type-natural-1.3.0.1... Preprocessing library for type-natural-1.3.0.1.. Building library for type-natural-1.3.0.1.. [ 1 of 10] Compiling Data.Type.Natural.Core ( src/Data/Type/Natural/Core.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Core.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Core.dyn_o ) src/Data/Type/Natural/Core.hs:70:5: warning: [-Wduplicate-exports] Natural is exported by module GHC.TypeNats and Natural | 70 | module GHC.TypeNats, | ^^^^^^^^^^^^^^^^^^^ src/Data/Type/Natural/Core.hs:74:1: warning: [-Wunused-imports] The import of Data.Type.Equality is redundant except perhaps to import instances from Data.Type.Equality To import instances alone, use: import Data.Type.Equality() | 74 | import Data.Type.Equality | ^^^^^^^^^^^^^^^^^^^^^^^^^... src/Data/Type/Natural/Core.hs:82:1: warning: [-Wunused-imports] The import of Numeric.Natural is redundant except perhaps to import instances from Numeric.Natural To import instances alone, use: import Numeric.Natural() | 82 | import Numeric.Natural | ^^^^^^^^^^^^^^^^^^^^^^ src/Data/Type/Natural/Core.hs:118:1: warning: [-Wunused-top-binds] Defined but not used: data constructor SNat | 118 | pattern SNat <- (knownNatInstance -> KnownNatInstance) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 2 of 10] Compiling Data.Type.Natural.Lemma.Presburger ( src/Data/Type/Natural/Lemma/Presburger.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Lemma/Presburger.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Lemma/Presburger.dyn_o ) src/Data/Type/Natural/Lemma/Presburger.hs:37:1: warning: [-Woverlapping-patterns] Pattern match has inaccessible right hand side In an equation for succNonCyclic: succNonCyclic (Succ n) Refl = ... | 37 | succNonCyclic (Succ n) Refl = succNonCyclic n Refl | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/Type/Natural/Lemma/Presburger.hs:37:24: warning: [-Winaccessible-code] " Could not deduce: 1 ~ 0 from the context: n ~ Succ n1 bound by a pattern with pattern synonym: Succ :: forall (n :: Natural). () => forall (n1 :: Natural). (n ~ Succ n1) => SNat n1 -> SNat n, in an equation for succNonCyclic at src/Data/Type/Natural/Lemma/Presburger.hs:37:16-21 or from: 0 ~ Succ n bound by a pattern with constructor: Refl :: forall {k} (a :: k). a :~: a, in an equation for succNonCyclic at src/Data/Type/Natural/Lemma/Presburger.hs:37:24-27 Inaccessible code in a pattern with constructor: Refl :: forall {k} (a :: k). a :~: a, in an equation for succNonCyclic " In the pattern: Refl In an equation for succNonCyclic: succNonCyclic (Succ n) Refl = succNonCyclic n Refl | 37 | succNonCyclic (Succ n) Refl = succNonCyclic n Refl | ^^^^ [ 3 of 10] Compiling Data.Type.Natural.Lemma.Arithmetic ( src/Data/Type/Natural/Lemma/Arithmetic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Lemma/Arithmetic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Lemma/Arithmetic.dyn_o ) src/Data/Type/Natural/Lemma/Arithmetic.hs:291:1: warning: [-Woverlapping-patterns] Pattern match has inaccessible right hand side In an equation for multEqSuccElimL: multEqSuccElimL Zero _ l Refl = ... | 291 | multEqSuccElimL Zero _ l Refl = absurd $ succNonCyclic l Refl | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/Type/Natural/Lemma/Arithmetic.hs:291:26: warning: [-Winaccessible-code] " Could not deduce: 1 ~ 0 from the context: n ~ 0 bound by a pattern with pattern synonym: Zero :: forall (n :: Natural). () => (n ~ 0) => SNat n, in an equation for multEqSuccElimL at src/Data/Type/Natural/Lemma/Arithmetic.hs:291:17-20 or from: Succ l ~ (n * m) bound by a pattern with constructor: Refl :: forall {k} (a :: k). a :~: a, in an equation for multEqSuccElimL at src/Data/Type/Natural/Lemma/Arithmetic.hs:291:26-29 Inaccessible code in a pattern with constructor: Refl :: forall {k} (a :: k). a :~: a, in an equation for multEqSuccElimL " In the pattern: Refl In an equation for multEqSuccElimL: multEqSuccElimL Zero _ l Refl = absurd $ succNonCyclic l Refl | 291 | multEqSuccElimL Zero _ l Refl = absurd $ succNonCyclic l Refl | ^^^^ src/Data/Type/Natural/Lemma/Arithmetic.hs:295:1: warning: [-Woverlapping-patterns] Pattern match has inaccessible right hand side In an equation for multEqSuccElimR: multEqSuccElimR _ Zero l Refl = ... | 295 | multEqSuccElimR _ Zero l Refl = absurd $ succNonCyclic l Refl | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/Type/Natural/Lemma/Arithmetic.hs:295:26: warning: [-Winaccessible-code] " Could not deduce: 1 ~ 0 from the context: m ~ 0 bound by a pattern with pattern synonym: Zero :: forall (n :: Natural). () => (n ~ 0) => SNat n, in an equation for multEqSuccElimR at src/Data/Type/Natural/Lemma/Arithmetic.hs:295:19-22 or from: Succ l ~ (n * m) bound by a pattern with constructor: Refl :: forall {k} (a :: k). a :~: a, in an equation for multEqSuccElimR at src/Data/Type/Natural/Lemma/Arithmetic.hs:295:26-29 Inaccessible code in a pattern with constructor: Refl :: forall {k} (a :: k). a :~: a, in an equation for multEqSuccElimR " In the pattern: Refl In an equation for multEqSuccElimR: multEqSuccElimR _ Zero l Refl = absurd $ succNonCyclic l Refl | 295 | multEqSuccElimR _ Zero l Refl = absurd $ succNonCyclic l Refl | ^^^^ [ 4 of 10] Compiling Data.Type.Natural.Lemma.Order ( src/Data/Type/Natural/Lemma/Order.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Lemma/Order.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Lemma/Order.dyn_o ) [ 5 of 10] Compiling Data.Type.Natural ( src/Data/Type/Natural.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural.dyn_o ) [ 6 of 10] Compiling Data.Type.Natural.Builtin ( src/Data/Type/Natural/Builtin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Builtin.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Builtin.dyn_o ) [ 7 of 10] Compiling Data.Type.Natural.Presburger.MinMaxSolver ( src/Data/Type/Natural/Presburger/MinMaxSolver.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Presburger/MinMaxSolver.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Presburger/MinMaxSolver.dyn_o ) src/Data/Type/Natural/Presburger/MinMaxSolver.hs:13:1: warning: [-Wunused-imports] The import of GHC.Plugins is redundant except perhaps to import instances from GHC.Plugins To import instances alone, use: import GHC.Plugins() | 13 | import GHC.Plugins | ^^^^^^^^^^^^^^^^^^... src/Data/Type/Natural/Presburger/MinMaxSolver.hs:20:1: warning: [-Wunused-imports] The import of GHC.Tc.Plugin is redundant except perhaps to import instances from GHC.Tc.Plugin To import instances alone, use: import GHC.Tc.Plugin() | 20 | import GHC.Tc.Plugin | ^^^^^^^^^^^^^^^^^^^^ [ 8 of 10] Compiling Data.Type.Natural.Utils ( src/Data/Type/Natural/Utils.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Utils.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Natural/Utils.dyn_o ) [ 9 of 10] Compiling Data.Type.Ordinal ( src/Data/Type/Ordinal.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Ordinal.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Ordinal.dyn_o ) [10 of 10] Compiling Data.Type.Ordinal.Builtin ( src/Data/Type/Ordinal/Builtin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Ordinal/Builtin.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/Data/Type/Ordinal/Builtin.dyn_o ) Preprocessing test suite 'type-natural-test' for type-natural-1.3.0.1.. Building test suite 'type-natural-test' for type-natural-1.3.0.1.. [1 of 8] Compiling Data.Type.Natural.Presburger.Cases ( tests/Data/Type/Natural/Presburger/Cases.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/Natural/Presburger/Cases.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/Natural/Presburger/Cases.dyn_o ) tests/Data/Type/Natural/Presburger/Cases.hs:9:1: warning: [-Wunused-imports] The import of Data.Proxy is redundant except perhaps to import instances from Data.Proxy To import instances alone, use: import Data.Proxy() | 9 | import Data.Proxy (Proxy (Proxy)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Data/Type/Natural/Presburger/Cases.hs:12:1: warning: [-Wunused-imports] The import of GHC.TypeNats is redundant except perhaps to import instances from GHC.TypeNats To import instances alone, use: import GHC.TypeNats() | 12 | import GHC.TypeNats | ^^^^^^^^^^^^^^^^^^^ tests/Data/Type/Natural/Presburger/Cases.hs:27:16: warning: [-Wdeferred-type-errors] " Could not deduce: Data.Type.Ord.OrdCond (CmpNat n m) n n m ~ m from the context: n <= m bound by the type signature for: falsity :: forall (n :: Nat) (m :: Nat) (p :: Nat -> Type) (q :: Nat -> Type). (n <= m) => p n -> q m -> Min n m :~: m at tests/Data/Type/Natural/Presburger/Cases.hs:26:1-48 Expected: Min n m :~: m Actual: m :~: m m is a rigid type variable bound by the type signature for: falsity :: forall (n :: Nat) (m :: Nat) (p :: Nat -> Type) (q :: Nat -> Type). (n <= m) => p n -> q m -> Min n m :~: m at tests/Data/Type/Natural/Presburger/Cases.hs:26:1-48 " In the expression: Refl In an equation for falsity: falsity _ _ = Refl " Relevant bindings include falsity :: p n -> q m -> Min n m :~: m (bound at tests/Data/Type/Natural/Presburger/Cases.hs:27:1) | 27 | falsity _ _ = Refl | ^^^^ [2 of 8] Compiling Data.Type.OrdinalSpec ( tests/Data/Type/OrdinalSpec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/OrdinalSpec.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/OrdinalSpec.dyn_o ) [3 of 8] Compiling Shared ( tests/Shared.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Shared.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Shared.dyn_o ) tests/Shared.hs:20:1: warning: [-Wunused-imports] The import of Numeric.Natural is redundant except perhaps to import instances from Numeric.Natural To import instances alone, use: import Numeric.Natural() | 20 | import Numeric.Natural | ^^^^^^^^^^^^^^^^^^^^^^ [4 of 8] Compiling Data.Type.NaturalSpec.TH ( tests/Data/Type/NaturalSpec/TH.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/NaturalSpec/TH.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/NaturalSpec/TH.dyn_o ) tests/Data/Type/NaturalSpec/TH.hs:11:1: warning: [-Wunused-imports] The import of Numeric.Natural is redundant except perhaps to import instances from Numeric.Natural To import instances alone, use: import Numeric.Natural() | 11 | import Numeric.Natural | ^^^^^^^^^^^^^^^^^^^^^^ tests/Data/Type/NaturalSpec/TH.hs:13:1: warning: [-Wunused-imports] The import of Test.Tasty is redundant except perhaps to import instances from Test.Tasty To import instances alone, use: import Test.Tasty() | 13 | import Test.Tasty | ^^^^^^^^^^^^^^^^^ [5 of 8] Compiling Data.Type.NaturalSpec ( tests/Data/Type/NaturalSpec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/NaturalSpec.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/NaturalSpec.dyn_o ) tests/Data/Type/NaturalSpec.hs:13:1: warning: [-Wunused-imports] The import of GHC.TypeNats is redundant except perhaps to import instances from GHC.TypeNats To import instances alone, use: import GHC.TypeNats() | 13 | import GHC.TypeNats | ^^^^^^^^^^^^^^^^^^^ tests/Data/Type/NaturalSpec.hs:14:1: warning: [-Wunused-imports] The import of Shared is redundant except perhaps to import instances from Shared To import instances alone, use: import Shared() | 14 | import Shared | ^^^^^^^^^^^^^ tests/Data/Type/NaturalSpec.hs:17:1: warning: [-Wunused-imports] The import of Test.QuickCheck is redundant except perhaps to import instances from Test.QuickCheck To import instances alone, use: import Test.QuickCheck() | 17 | import Test.QuickCheck | ^^^^^^^^^^^^^^^^^^^^^^ tests/Data/Type/NaturalSpec.hs:18:1: warning: [-Wunused-imports] The import of Control.Monad is redundant except perhaps to import instances from Control.Monad To import instances alone, use: import Control.Monad() | 18 | import Control.Monad (join) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [6 of 8] Compiling Data.Type.Natural.Presburger.MinMaxSolverSpec ( tests/Data/Type/Natural/Presburger/MinMaxSolverSpec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/Natural/Presburger/MinMaxSolverSpec.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/Natural/Presburger/MinMaxSolverSpec.dyn_o ) tests/Data/Type/Natural/Presburger/MinMaxSolverSpec.hs:16:1: warning: [-Wunused-imports] The import of Shared is redundant except perhaps to import instances from Shared To import instances alone, use: import Shared() | 16 | import Shared | ^^^^^^^^^^^^^ tests/Data/Type/Natural/Presburger/MinMaxSolverSpec.hs:17:1: warning: [-Wunused-imports] The import of Test.QuickCheck is redundant except perhaps to import instances from Test.QuickCheck To import instances alone, use: import Test.QuickCheck() | 17 | import Test.QuickCheck (ioProperty) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Data/Type/Natural/Presburger/MinMaxSolverSpec.hs:19:1: warning: [-Wunused-imports] The import of Test.Tasty.HUnit is redundant except perhaps to import instances from Test.Tasty.HUnit To import instances alone, use: import Test.Tasty.HUnit() | 19 | import Test.Tasty.HUnit | ^^^^^^^^^^^^^^^^^^^^^^^ [7 of 8] Compiling Data.Type.Natural.Lemma.OrderSpec ( tests/Data/Type/Natural/Lemma/OrderSpec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/Natural/Lemma/OrderSpec.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Data/Type/Natural/Lemma/OrderSpec.dyn_o ) tests/Data/Type/Natural/Lemma/OrderSpec.hs:135:11: warning: [-Wunused-matches] Defined but not used: v | 135 | Right v -> | ^ tests/Data/Type/Natural/Lemma/OrderSpec.hs:353:13: warning: [-Winaccessible-code] " Couldn't match type 'False with 'True Inaccessible code in a pattern with constructor: STrue :: SBool 'True, in a case alternative " In the pattern: STrue In a case alternative: STrue -> error "impossible!" In the expression: case n %<=? m of STrue -> error "impossible!" SFalse -> totalWitness $ notLeqToLeq n m | 353 | STrue -> error "impossible!" | ^^^^^ tests/Data/Type/Natural/Lemma/OrderSpec.hs:353:13: warning: [-Woverlapping-patterns] Pattern match has inaccessible right hand side In a case alternative: STrue -> ... | 353 | STrue -> error "impossible!" | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [8 of 8] Compiling Main ( tests/test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Main.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test-tmp/Main.dyn_o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/type-natural-1.3.0.1/noopt/build/type-natural-test/type-natural-test ... Running 1 test suites... Test suite type-natural-test: RUNNING... Test suite type-natural-test: FAIL Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/type-natural-1.3.0.1.test Writing: type-natural-1.3.0.1-inplace/Data.Type.Natural.Lemma.Arithmetic.hs.html Writing: type-natural-1.3.0.1-inplace/Data.Type.Ordinal.hs.html Writing: type-natural-1.3.0.1-inplace/Data.Type.Natural.Lemma.Order.hs.html Writing: type-natural-1.3.0.1-inplace/Data.Type.Natural.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/type-natural-1.3.0.1/noopt/hpc/vanilla/html/type-natural-test/hpc_index.html 0 of 1 test suites (0 of 1 test cases) passed. Writing: type-natural-1.3.0.1-inplace/Data.Type.Natural.Lemma.Arithmetic.hs.html Writing: type-natural-1.3.0.1-inplace/Data.Type.Ordinal.hs.html Writing: type-natural-1.3.0.1-inplace/Data.Type.Natural.Lemma.Order.hs.html Writing: type-natural-1.3.0.1-inplace/Data.Type.Natural.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/type-natural-1.3.0.1/noopt/hpc/vanilla/html/type-natural-1.3.0.1/hpc_index.html Error: cabal: Tests failed for type-natural-1.3.0.1.