[all reports]
| Package |
ghc-typelits-presburger-0.7.3.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-12-26 15:40:09.16579355 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, containers-0.6.5.1, ghc-9.2.4, ghc-tcplugins-extra-0.4.5, mtl-2.2.2, pretty-1.1.3.6, reflection-2.1.7, syb-0.7.2.4, transformers-0.5.6.2 |
| Flags |
-examples
|
Code Coverage
| expressions | 100% (0/0) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 100% (0/0) |
|---|
| local declarations | 100% (0/0) |
|---|
| top-level declarations | 100% (0/0) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting reflection-2.1.7
Starting syb-0.7.2.4
Starting ghc-tcplugins-extra-0.4.5
Building reflection-2.1.7
Building syb-0.7.2.4
Building ghc-tcplugins-extra-0.4.5
Completed syb-0.7.2.4
Completed reflection-2.1.7
Completed ghc-tcplugins-extra-0.4.5
Starting ghc-typelits-presburger-0.7.3.0
Building ghc-typelits-presburger-0.7.3.0
Completed ghc-typelits-presburger-0.7.3.0
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):
- tasty-discover-5.0.0 (lib:tasty-discover, exe:tasty-discover) (requires build)
- th-desugar-1.16 (lib:th-desugar) (requires build)
- equational-reasoning-0.7.0.2 (lib:equational-reasoning) (requires download & build)
- ghc-typelits-presburger-0.7.3.0 (first run)
Downloading equational-reasoning-0.7.0.2
Starting tasty-discover-5.0.0 (all, legacy fallback)
Starting th-desugar-1.16 (all, legacy fallback)
Downloaded equational-reasoning-0.7.0.2
Building tasty-discover-5.0.0 (all, legacy fallback)
Building th-desugar-1.16 (all, legacy fallback)
Installing tasty-discover-5.0.0 (all, legacy fallback)
Completed tasty-discover-5.0.0 (all, legacy fallback)
Installing th-desugar-1.16 (all, legacy fallback)
Completed th-desugar-1.16 (all, legacy fallback)
Starting equational-reasoning-0.7.0.2 (all, legacy fallback)
Building equational-reasoning-0.7.0.2 (all, legacy fallback)
Installing equational-reasoning-0.7.0.2 (all, legacy fallback)
Completed equational-reasoning-0.7.0.2 (all, legacy fallback)
Configuring ghc-typelits-presburger-0.7.3.0...
Preprocessing library for ghc-typelits-presburger-0.7.3.0..
Building library for ghc-typelits-presburger-0.7.3.0..
[1 of 6] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/Data/Integer/SAT.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/Data/Integer/SAT.dyn_o )
src/Data/Integer/SAT.hs:48:1: warning: [-Wunused-imports]
The import of <$>, Applicative
from module Control.Applicative is redundant
|
48 | import Control.Applicative (Alternative (..), Applicative (..), (<$>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 6] Compiling GHC.TypeLits.Presburger.Compat ( src/GHC/TypeLits/Presburger/Compat.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/GHC/TypeLits/Presburger/Compat.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/GHC/TypeLits/Presburger/Compat.dyn_o )
src/GHC/TypeLits/Presburger/Compat.hs:40:1: warning: [-Wunused-imports]
The qualified import of GHC.Builtin.Names is redundant
except perhaps to import instances from GHC.Builtin.Names
To import instances alone, use: import GHC.Builtin.Names()
|
40 | import qualified GHC.Builtin.Names as Old
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:152:1: warning: [-Wunused-imports]
The import of GHC.Tc.Types is redundant
except perhaps to import instances from GHC.Tc.Types
To import instances alone, use: import GHC.Tc.Types()
|
152 | import GHC.Tc.Types as GHC.TypeLits.Presburger.Compat (TcPlugin (..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:170:47: warning: [-Wunused-imports]
The import of toUnitId from module GHC.Unit.Types is redundant
|
170 | import GHC.Unit.Types (UnitId (..), fsToUnit, toUnitId)
| ^^^^^^^^
[3 of 6] Compiling GHC.TypeLits.Presburger.Flags ( src/GHC/TypeLits/Presburger/Flags.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/GHC/TypeLits/Presburger/Flags.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/GHC/TypeLits/Presburger/Flags.dyn_o )
[4 of 6] Compiling GHC.TypeLits.Presburger.Types ( src/GHC/TypeLits/Presburger/Types.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/GHC/TypeLits/Presburger/Types.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/GHC/TypeLits/Presburger/Types.dyn_o )
src/GHC/TypeLits/Presburger/Types.hs:41:1: warning: [-Wunused-imports]
The import of Data.Char is redundant
except perhaps to import instances from Data.Char
To import instances alone, use: import Data.Char()
|
41 | import Data.Char (isDigit)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Types.hs:49:1: warning: [-Wunused-imports]
The qualified import of Data.List is redundant
except perhaps to import instances from Data.List
To import instances alone, use: import Data.List()
|
49 | import qualified Data.List as L
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Types.hs:55:5: warning: [-Wunused-imports]
The import of listToMaybe from module Data.Maybe is redundant
|
55 | listToMaybe,
| ^^^^^^^^^^^
[5 of 6] Compiling GHC.TypeLits.Presburger ( src/GHC/TypeLits/Presburger.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/GHC/TypeLits/Presburger.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/GHC/TypeLits/Presburger.dyn_o )
[6 of 6] Compiling Paths_ghc_typelits_presburger ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/autogen/Paths_ghc_typelits_presburger.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/Paths_ghc_typelits_presburger.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/Paths_ghc_typelits_presburger.dyn_o )
Preprocessing test suite 'test-typeltis-presburger' for ghc-typelits-presburger-0.7.3.0..
Building test suite 'test-typeltis-presburger' for ghc-typelits-presburger-0.7.3.0..
[1 of 6] Compiling Paths_ghc_typelits_presburger ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/test-typeltis-presburger/autogen/Paths_ghc_typelits_presburger.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/Paths_ghc_typelits_presburger.o )
[2 of 6] Compiling Shared ( test/Shared.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/Shared.o )
[3 of 6] Compiling ErrorsWithPlugin ( test/ErrorsWithPlugin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/ErrorsWithPlugin.o )
test/ErrorsWithPlugin.hs:12:18: warning: [-Wunused-matches]
Defined but not used: as
|
12 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs
| ^^
test/ErrorsWithPlugin.hs:12:34: warning: [-Wdeferred-type-errors]
" Could not deduce: (n GHC.TypeNats.+ 1) ~ n
from the context: n ~ (n1 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsWithPlugin.hs:12:13-19
or from: n ~ (n2 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsWithPlugin.hs:12:23-29
Expected: Vec n (a, b)
Actual: Vec (n GHC.TypeNats.+ 1) (a, b)
n is a rigid type variable bound by
the type signature for:
zipMVec :: forall (n :: GHC.TypeNats.Nat) a b.
Vec n a -> Vec n b -> Vec n (a, b)
at test/ErrorsWithPlugin.hs:10:1-45
" In the expression: (a, b) :- zipMVec zs bs
In an equation for zipMVec:
zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs
" Relevant bindings include
zs :: Vec n a (bound at test/ErrorsWithPlugin.hs:12:9)
zipMVec :: Vec n a -> Vec n b -> Vec n (a, b)
(bound at test/ErrorsWithPlugin.hs:11:1)
|
12 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs
| ^^^^^^^^^^^^^^^^^^^^^^^
test/ErrorsWithPlugin.hs:12:55: warning: [-Wdeferred-type-errors]
" Could not deduce: n2 ~ n
from the context: n ~ (n1 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsWithPlugin.hs:12:13-19
or from: n ~ (n2 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsWithPlugin.hs:12:23-29
Expected: Vec n b
Actual: Vec n2 b
n2 is a rigid type variable bound by
a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsWithPlugin.hs:12:23-29
n is a rigid type variable bound by
the type signature for:
zipMVec :: forall (n :: GHC.TypeNats.Nat) a b.
Vec n a -> Vec n b -> Vec n (a, b)
at test/ErrorsWithPlugin.hs:10:1-45
" In the second argument of zipMVec, namely bs
In the second argument of (:-), namely zipMVec zs bs
In the expression: (a, b) :- zipMVec zs bs
" Relevant bindings include
bs :: Vec n2 b (bound at test/ErrorsWithPlugin.hs:12:28)
zs :: Vec n a (bound at test/ErrorsWithPlugin.hs:12:9)
zipMVec :: Vec n a -> Vec n b -> Vec n (a, b)
(bound at test/ErrorsWithPlugin.hs:11:1)
|
12 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs
| ^^
test/ErrorsWithPlugin.hs:19:31: warning: [-Wdeferred-type-errors]
" Could not deduce: n1 ~ n
from the context: n ~ (n1 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for unSpin
at test/ErrorsWithPlugin.hs:19:12-18
Expected: Vec n a
Actual: Vec n1 a
n1 is a rigid type variable bound by
a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for unSpin
at test/ErrorsWithPlugin.hs:19:12-18
n is a rigid type variable bound by
the type signature for:
unSpin :: forall (n :: GHC.TypeNats.Nat) a. Vec n a -> ()
at test/ErrorsWithPlugin.hs:17:1-23
" In the second argument of spin, namely ws
In the expression: spin zs ws
In an equation for unSpin: unSpin zs@(_ :- ws) = spin zs ws
" Relevant bindings include
ws :: Vec n1 a (bound at test/ErrorsWithPlugin.hs:19:17)
zs :: Vec n a (bound at test/ErrorsWithPlugin.hs:19:8)
unSpin :: Vec n a -> () (bound at test/ErrorsWithPlugin.hs:18:1)
|
19 | unSpin zs@(_ :- ws) = spin zs ws
| ^^
[4 of 6] Compiling ErrorsNoPlugin ( test/ErrorsNoPlugin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/ErrorsNoPlugin.o )
test/ErrorsNoPlugin.hs:11:18: warning: [-Wunused-matches]
Defined but not used: as
|
11 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs
| ^^
test/ErrorsNoPlugin.hs:11:34: warning: [-Wdeferred-type-errors]
" Could not deduce: (n GHC.TypeNats.+ 1) ~ n
from the context: n ~ (n1 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsNoPlugin.hs:11:13-19
or from: n ~ (n2 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsNoPlugin.hs:11:23-29
Expected: Vec n (a, b)
Actual: Vec (n GHC.TypeNats.+ 1) (a, b)
n is a rigid type variable bound by
the type signature for:
zipMVec :: forall (n :: GHC.TypeNats.Nat) a b.
Vec n a -> Vec n b -> Vec n (a, b)
at test/ErrorsNoPlugin.hs:9:1-45
" In the expression: (a, b) :- zipMVec zs bs
In an equation for zipMVec:
zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs
" Relevant bindings include
zs :: Vec n a (bound at test/ErrorsNoPlugin.hs:11:9)
zipMVec :: Vec n a -> Vec n b -> Vec n (a, b)
(bound at test/ErrorsNoPlugin.hs:10:1)
|
11 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs
| ^^^^^^^^^^^^^^^^^^^^^^^
test/ErrorsNoPlugin.hs:11:55: warning: [-Wdeferred-type-errors]
" Could not deduce: n2 ~ n
from the context: n ~ (n1 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsNoPlugin.hs:11:13-19
or from: n ~ (n2 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsNoPlugin.hs:11:23-29
Expected: Vec n b
Actual: Vec n2 b
n2 is a rigid type variable bound by
a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for zipMVec
at test/ErrorsNoPlugin.hs:11:23-29
n is a rigid type variable bound by
the type signature for:
zipMVec :: forall (n :: GHC.TypeNats.Nat) a b.
Vec n a -> Vec n b -> Vec n (a, b)
at test/ErrorsNoPlugin.hs:9:1-45
" In the second argument of zipMVec, namely bs
In the second argument of (:-), namely zipMVec zs bs
In the expression: (a, b) :- zipMVec zs bs
" Relevant bindings include
bs :: Vec n2 b (bound at test/ErrorsNoPlugin.hs:11:28)
zs :: Vec n a (bound at test/ErrorsNoPlugin.hs:11:9)
zipMVec :: Vec n a -> Vec n b -> Vec n (a, b)
(bound at test/ErrorsNoPlugin.hs:10:1)
|
11 | zipMVec zs@(a :- as) (b :- bs) = (a, b) :- zipMVec zs bs
| ^^
test/ErrorsNoPlugin.hs:18:31: warning: [-Wdeferred-type-errors]
" Could not deduce: n1 ~ n
from the context: n ~ (n1 GHC.TypeNats.+ 1)
bound by a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for unSpin
at test/ErrorsNoPlugin.hs:18:12-18
Expected: Vec n a
Actual: Vec n1 a
n1 is a rigid type variable bound by
a pattern with constructor:
:- :: forall a (n1 :: GHC.Num.Natural.Natural).
a -> Vec n1 a -> Vec (n1 GHC.TypeNats.+ 1) a,
in an equation for unSpin
at test/ErrorsNoPlugin.hs:18:12-18
n is a rigid type variable bound by
the type signature for:
unSpin :: forall (n :: GHC.TypeNats.Nat) a. Vec n a -> ()
at test/ErrorsNoPlugin.hs:16:1-23
" In the second argument of spin, namely ws
In the expression: spin zs ws
In an equation for unSpin: unSpin zs@(_ :- ws) = spin zs ws
" Relevant bindings include
ws :: Vec n1 a (bound at test/ErrorsNoPlugin.hs:18:17)
zs :: Vec n a (bound at test/ErrorsNoPlugin.hs:18:8)
unSpin :: Vec n a -> () (bound at test/ErrorsNoPlugin.hs:17:1)
|
18 | unSpin zs@(_ :- ws) = spin zs ws
| ^^
[5 of 6] Compiling GHC.TypeLits.PresburgerSpec ( test/GHC/TypeLits/PresburgerSpec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/GHC/TypeLits/PresburgerSpec.o )
[6 of 6] Compiling Main ( test/test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/ghc-typelits-presburger-0.7.3.0/noopt/build/test-typeltis-presburger/test-typeltis-presburger ...
Running 1 test suites...
Test suite test-typeltis-presburger: RUNNING...
Test suite test-typeltis-presburger: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/ghc-typelits-presburger-0.7.3.0.test
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/ghc-typelits-presburger-0.7.3.0/noopt/hpc/vanilla/html/test-typeltis-presburger/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
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/ghc-typelits-presburger-0.7.3.0/noopt/hpc/vanilla/html/ghc-typelits-presburger-0.7.3.0/hpc_index.html