[all reports]
| Package |
type-natural-1.3.0.1 |
| Install |
InstallOk |
| Docs |
Failed |
| Tests |
Failed |
| Time submitted |
2023-12-27 18:16:27.878029525 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, constraints-0.14, equational-reasoning-0.7.0.2, ghc-9.2.4, ghc-typelits-knownnat-0.7.10, ghc-typelits-natnormalise-0.7.9, ghc-typelits-presburger-0.7.3.0, integer-logarithms-1.0.3.1, template-haskell-2.18.0.0 |
| Flags |
none
|
Code Coverage
| expressions | 45% (793/1728) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (2/2) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 56% (63/111) |
|---|
| local declarations | 85% (12/14) |
|---|
| top-level declarations | 55% (139/251) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting data-array-byte-0.1.0.1
Starting integer-logarithms-1.0.3.1
Starting ordered-containers-0.2.3
Starting safe-0.3.19
Starting reflection-2.1.7
Starting tagged-0.8.8
Starting th-abstraction-0.6.0.0
Starting th-compat-0.1.4
Starting type-equality-1
Starting void-0.7.3
Starting syb-0.7.2.4
Starting transformers-compat-0.7.2
Starting ghc-tcplugins-extra-0.4.5
Building data-array-byte-0.1.0.1
Building ordered-containers-0.2.3
Building th-compat-0.1.4
Building integer-logarithms-1.0.3.1
Building safe-0.3.19
Building reflection-2.1.7
Building void-0.7.3
Building transformers-compat-0.7.2
Building th-abstraction-0.6.0.0
Building ghc-tcplugins-extra-0.4.5
Building syb-0.7.2.4
Building type-equality-1
Building tagged-0.8.8
Completed void-0.7.3
Completed type-equality-1
Completed integer-logarithms-1.0.3.1
Completed data-array-byte-0.1.0.1
Starting hashable-1.4.3.0
Completed th-compat-0.1.4
Completed safe-0.3.19
Building hashable-1.4.3.0
Completed tagged-0.8.8
Starting boring-0.2.1
Building boring-0.2.1
Completed syb-0.7.2.4
Completed ordered-containers-0.2.3
Completed transformers-compat-0.7.2
Completed reflection-2.1.7
Completed th-abstraction-0.6.0.0
Starting th-lift-0.8.4
Starting th-expand-syns-0.4.11.0
Building th-lift-0.8.4
Building th-expand-syns-0.4.11.0
Completed boring-0.2.1
Completed hashable-1.4.3.0
Starting constraints-0.14
Building constraints-0.14
Completed th-expand-syns-0.4.11.0
Starting th-reify-many-0.1.10
Completed th-lift-0.8.4
Building th-reify-many-0.1.10
Completed ghc-tcplugins-extra-0.4.5
Starting ghc-typelits-natnormalise-0.7.9
Starting ghc-typelits-presburger-0.7.3.0
Building ghc-typelits-natnormalise-0.7.9
Building ghc-typelits-presburger-0.7.3.0
Completed th-reify-many-0.1.10
Starting th-orphans-0.13.14
Building th-orphans-0.13.14
Completed constraints-0.14
Completed ghc-typelits-natnormalise-0.7.9
Starting ghc-typelits-knownnat-0.7.10
Building ghc-typelits-knownnat-0.7.10
Completed th-orphans-0.13.14
Starting th-desugar-1.16
Building th-desugar-1.16
Completed ghc-typelits-presburger-0.7.3.0
Completed ghc-typelits-knownnat-0.7.10
Completed th-desugar-1.16
Starting equational-reasoning-0.7.0.2
Building equational-reasoning-0.7.0.2
Completed equational-reasoning-0.7.0.2
Starting type-natural-1.3.0.1
Building type-natural-1.3.0.1
Completed type-natural-1.3.0.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):
- 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.