[all reports]
| Package |
ghc-typelits-presburger-0.7.4.2 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2025-07-20 12:32:02.511848604 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.19.2.0, containers-0.6.8, ghc-9.8.4, ghc-tcplugins-extra-0.5, mtl-2.3.1, pretty-1.1.3.6, reflection-2.1.9, syb-0.7.2.4, transformers-0.6.1.0 |
| 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...
Configuring ghc-tcplugins-extra-0.5...
Preprocessing library for ghc-tcplugins-extra-0.5..
Building library for ghc-tcplugins-extra-0.5..
[1 of 8] Compiling GhcApi.Constraint
[2 of 8] Compiling GhcApi.GhcPlugins
[3 of 8] Compiling GhcApi.Predicate
[4 of 8] Compiling Internal.Constraint
[5 of 8] Compiling Internal.Evidence
[6 of 8] Compiling Internal.Type
[7 of 8] Compiling Internal
[8 of 8] Compiling GHC.TcPluginM.Extra
Preprocessing library for ghc-tcplugins-extra-0.5..
Running Haddock on library for ghc-tcplugins-extra-0.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 8] Compiling GhcApi.Constraint
[2 of 8] Compiling GhcApi.GhcPlugins
[3 of 8] Compiling GhcApi.Predicate
[4 of 8] Compiling Internal.Constraint
[5 of 8] Compiling Internal.Evidence
[6 of 8] Compiling Internal.Type
[7 of 8] Compiling Internal
[8 of 8] Compiling GHC.TcPluginM.Extra
Haddock coverage:
Warning: 'tcPluginInit' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'tcPluginStop' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Module' is ambiguous. It is defined
* in GHC.Unit.Types
* in GHC.Unit.Types
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Unit.Types
100% ( 18 / 18) in 'GHC.TcPluginM.Extra'
Documentation created: dist/doc/html/ghc-tcplugins-extra/,
dist/doc/html/ghc-tcplugins-extra/ghc-tcplugins-extra.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ghc-tcplugins-extra-0.5-CBl5wTkzAV73I6RhV28rpX
Completed ghc-tcplugins-extra-0.5
Configuring reflection-2.1.9...
Preprocessing library for reflection-2.1.9..
Building library for reflection-2.1.9..
[1 of 1] Compiling Data.Reflection ( fast/Data/Reflection.hs, dist/build/Data/Reflection.o, dist/build/Data/Reflection.dyn_o )
Preprocessing library for reflection-2.1.9..
Running Haddock on library for reflection-2.1.9..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling Data.Reflection ( fast/Data/Reflection.hs, nothing )
Haddock coverage:
Warning: 'Proxy' is ambiguous. It is defined
* in Data.Proxy
* in Data.Proxy
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Proxy
Warning: 'fold' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
76% ( 23 / 30) in 'Data.Reflection'
Missing documentation for:
Reifies (fast/Data/Reflection.hs:152)
ReifiedMonoid (fast/Data/Reflection.hs:553)
ReflectedMonoid (fast/Data/Reflection.hs:567)
reifyMonoid (fast/Data/Reflection.hs:573)
ReifiedApplicative (fast/Data/Reflection.hs:601)
ReflectedApplicative (fast/Data/Reflection.hs:603)
reifyApplicative (fast/Data/Reflection.hs:619)
Documentation created: dist/doc/html/reflection/,
dist/doc/html/reflection/reflection.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/reflection-2.1.9-HzKzfktnLbfKL6cdV3D8Rq
Completed reflection-2.1.9
Configuring syb-0.7.2.4...
Preprocessing library for syb-0.7.2.4..
Building library for syb-0.7.2.4..
[ 1 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o, dist/build/Data/Generics/Aliases.dyn_o )
[ 2 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o, dist/build/Data/Generics/Basics.dyn_o )
[ 3 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o, dist/build/Data/Generics/Builders.dyn_o )
[ 4 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o, dist/build/Data/Generics/Instances.dyn_o )
[ 5 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o, dist/build/Data/Generics/Schemes.dyn_o )
[ 6 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o, dist/build/Data/Generics/Text.dyn_o )
[ 7 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o, dist/build/Data/Generics/Twins.dyn_o )
src/Data/Generics/Twins.hs:224:17: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
224 | perkid a d = (tail a, unGT (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:224:31: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
224 | perkid a d = (tail a, unGT (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:237:17: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
237 | perkid a d = (tail a, unGM (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:237:31: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
237 | perkid a d = (tail a, unGM (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:249:17: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
249 | perkid a d = (tail a, unGQ (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:249:31: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
249 | perkid a d = (tail a, unGQ (head a) d)
| ^^^^
[ 8 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o, dist/build/Data/Generics.dyn_o )
[ 9 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o, dist/build/Generics/SYB.dyn_o )
[10 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o, dist/build/Generics/SYB/Aliases.dyn_o )
[11 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o, dist/build/Generics/SYB/Basics.dyn_o )
[12 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o, dist/build/Generics/SYB/Builders.dyn_o )
[13 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o, dist/build/Generics/SYB/Instances.dyn_o )
[14 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o, dist/build/Generics/SYB/Schemes.dyn_o )
[15 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o, dist/build/Generics/SYB/Text.dyn_o )
[16 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o, dist/build/Generics/SYB/Twins.dyn_o )
Preprocessing library for syb-0.7.2.4..
Running Haddock on library for syb-0.7.2.4..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, nothing )
[ 2 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, nothing )
[ 3 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, nothing )
[ 4 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, nothing )
[ 5 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, nothing )
[ 6 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, nothing )
[ 7 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, nothing )
src/Data/Generics/Twins.hs:224:17: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
224 | perkid a d = (tail a, unGT (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:224:31: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
224 | perkid a d = (tail a, unGT (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:237:17: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
237 | perkid a d = (tail a, unGM (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:237:31: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
237 | perkid a d = (tail a, unGM (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:249:17: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
249 | perkid a d = (tail a, unGQ (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:249:31: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
249 | perkid a d = (tail a, unGQ (head a) d)
| ^^^^
[ 8 of 16] Compiling Data.Generics ( src/Data/Generics.hs, nothing )
[ 9 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, nothing )
[10 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, nothing )
[11 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, nothing )
[12 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, nothing )
[13 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, nothing )
[14 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, nothing )
[15 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, nothing )
[16 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, nothing )
Haddock coverage:
Warning: 'Generic'' is ambiguous. It is defined
* at src/Data/Generics/Aliases.hs:510:19
* at src/Data/Generics/Aliases.hs:510:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Data/Generics/Aliases.hs:510:1
100% ( 60 / 60) in 'Data.Generics.Aliases'
100% ( 2 / 2) in 'Data.Generics.Basics'
100% ( 3 / 3) in 'Data.Generics.Builders'
100% ( 1 / 1) in 'Data.Generics.Instances'
100% ( 19 / 19) in 'Data.Generics.Schemes'
100% ( 6 / 6) in 'Data.Generics.Text'
100% ( 17 / 17) in 'Data.Generics.Twins'
100% ( 8 / 8) in 'Data.Generics'
100% ( 2 / 2) in 'Generics.SYB'
100% ( 2 / 2) in 'Generics.SYB.Aliases'
100% ( 2 / 2) in 'Generics.SYB.Basics'
100% ( 2 / 2) in 'Generics.SYB.Builders'
100% ( 1 / 1) in 'Generics.SYB.Instances'
100% ( 2 / 2) in 'Generics.SYB.Schemes'
100% ( 2 / 2) in 'Generics.SYB.Text'
100% ( 2 / 2) in 'Generics.SYB.Twins'
Documentation created: dist/doc/html/syb/, dist/doc/html/syb/syb.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/syb-0.7.2.4-JKskBWXskz039r4NsqQZXJ
Completed syb-0.7.2.4
Downloading ghc-typelits-presburger-0.7.4.2
Downloaded ghc-typelits-presburger-0.7.4.2
Configuring ghc-typelits-presburger-0.7.4.2...
Preprocessing library for ghc-typelits-presburger-0.7.4.2..
Building library for ghc-typelits-presburger-0.7.4.2..
[1 of 6] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, dist/build/Data/Integer/SAT.o, dist/build/Data/Integer/SAT.dyn_o )
src/Data/Integer/SAT.hs:48:1: warning: [GHC-38856] [-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.Flags ( src/GHC/TypeLits/Presburger/Flags.hs, dist/build/GHC/TypeLits/Presburger/Flags.o, dist/build/GHC/TypeLits/Presburger/Flags.dyn_o )
[3 of 6] Compiling GHC.TypeLits.Presburger.Compat ( src/GHC/TypeLits/Presburger/Compat.hs, dist/build/GHC/TypeLits/Presburger/Compat.o, dist/build/GHC/TypeLits/Presburger/Compat.dyn_o )
src/GHC/TypeLits/Presburger/Compat.hs:18:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.TypeLits.Presburger.Flags is redundant
except perhaps to import instances from GHC.TypeLits.Presburger.Flags
To import instances alone, use: import GHC.TypeLits.Presburger.Flags()
|
18 | import GHC.TypeLits.Presburger.Flags
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:25:1: warning: [GHC-66111] [-Wunused-imports]
The 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()
|
25 | import GHC.Builtin.Names (gHC_TYPENATS)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:27:27: warning: [GHC-38856] [-Wunused-imports]
The import of gHC_TYPENATS
from module GHC.Builtin.Names is redundant
|
27 | import GHC.Builtin.Names (gHC_TYPENATS, gHC_TYPEERROR)
| ^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:42:65: warning: [GHC-38856] [-Wunused-imports]
The import of Role from module GHC.Plugins is redundant
|
42 | import GHC.Plugins as GHC.TypeLits.Presburger.Compat (mkUnivCo, Role(..))
| ^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:84:1: warning: [GHC-66111] [-Wunused-imports]
The 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()
|
84 | import GHC.Builtin.Names (mkBaseModule)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:135:3: warning: [GHC-38856] [-Wunused-imports]
The import of mkTyConTy from module GHC.Plugins is redundant
|
135 | mkTyConTy,
| ^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:171:1: warning: [GHC-66111] [-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()
|
171 | import GHC.Tc.Types as GHC.TypeLits.Presburger.Compat (TcPlugin (..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:172:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.Tc.Types.Constraint is redundant
except perhaps to import instances from GHC.Tc.Types.Constraint
To import instances alone, use: import GHC.Tc.Types.Constraint()
|
172 | import GHC.Tc.Types.Constraint as GHC.TypeLits.Presburger.Compat (
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/GHC/TypeLits/Presburger/Compat.hs:188:47: warning: [GHC-38856] [-Wunused-imports]
The import of toUnitId from module GHC.Unit.Types is redundant
|
188 | import GHC.Unit.Types (UnitId (..), fsToUnit, toUnitId)
| ^^^^^^^^
[4 of 6] Compiling GHC.TypeLits.Presburger.Types ( src/GHC/TypeLits/Presburger/Types.hs, dist/build/GHC/TypeLits/Presburger/Types.o, dist/build/GHC/TypeLits/Presburger/Types.dyn_o )
src/GHC/TypeLits/Presburger/Types.hs:41:1: warning: [GHC-66111] [-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: [GHC-66111] [-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: [GHC-38856] [-Wunused-imports]
The import of listToMaybe from module Data.Maybe is redundant
|
55 | listToMaybe,
| ^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Types.hs:62:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.TypeLits.Presburger.Flags is redundant
except perhaps to import instances from GHC.TypeLits.Presburger.Flags
To import instances alone, use: import GHC.TypeLits.Presburger.Flags()
|
62 | import GHC.TypeLits.Presburger.Flags
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[5 of 6] Compiling GHC.TypeLits.Presburger ( src/GHC/TypeLits/Presburger.hs, dist/build/GHC/TypeLits/Presburger.o, dist/build/GHC/TypeLits/Presburger.dyn_o )
[6 of 6] Compiling Paths_ghc_typelits_presburger ( dist/build/autogen/Paths_ghc_typelits_presburger.hs, dist/build/Paths_ghc_typelits_presburger.o, dist/build/Paths_ghc_typelits_presburger.dyn_o )
Preprocessing library for ghc-typelits-presburger-0.7.4.2..
Running Haddock on library for ghc-typelits-presburger-0.7.4.2..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 6] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, nothing )
src/Data/Integer/SAT.hs:48:1: warning: [GHC-38856] [-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.Flags ( src/GHC/TypeLits/Presburger/Flags.hs, nothing )
[3 of 6] Compiling GHC.TypeLits.Presburger.Compat ( src/GHC/TypeLits/Presburger/Compat.hs, nothing )
src/GHC/TypeLits/Presburger/Compat.hs:18:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.TypeLits.Presburger.Flags is redundant
except perhaps to import instances from GHC.TypeLits.Presburger.Flags
To import instances alone, use: import GHC.TypeLits.Presburger.Flags()
|
18 | import GHC.TypeLits.Presburger.Flags
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:25:1: warning: [GHC-66111] [-Wunused-imports]
The 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()
|
25 | import GHC.Builtin.Names (gHC_TYPENATS)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:27:27: warning: [GHC-38856] [-Wunused-imports]
The import of gHC_TYPENATS
from module GHC.Builtin.Names is redundant
|
27 | import GHC.Builtin.Names (gHC_TYPENATS, gHC_TYPEERROR)
| ^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:42:65: warning: [GHC-38856] [-Wunused-imports]
The import of Role from module GHC.Plugins is redundant
|
42 | import GHC.Plugins as GHC.TypeLits.Presburger.Compat (mkUnivCo, Role(..))
| ^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:84:1: warning: [GHC-66111] [-Wunused-imports]
The 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()
|
84 | import GHC.Builtin.Names (mkBaseModule)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:135:3: warning: [GHC-38856] [-Wunused-imports]
The import of mkTyConTy from module GHC.Plugins is redundant
|
135 | mkTyConTy,
| ^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:171:1: warning: [GHC-66111] [-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()
|
171 | import GHC.Tc.Types as GHC.TypeLits.Presburger.Compat (TcPlugin (..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:172:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.Tc.Types.Constraint is redundant
except perhaps to import instances from GHC.Tc.Types.Constraint
To import instances alone, use: import GHC.Tc.Types.Constraint()
|
172 | import GHC.Tc.Types.Constraint as GHC.TypeLits.Presburger.Compat (
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/GHC/TypeLits/Presburger/Compat.hs:188:47: warning: [GHC-38856] [-Wunused-imports]
The import of toUnitId from module GHC.Unit.Types is redundant
|
188 | import GHC.Unit.Types (UnitId (..), fsToUnit, toUnitId)
| ^^^^^^^^
[4 of 6] Compiling GHC.TypeLits.Presburger.Types ( src/GHC/TypeLits/Presburger/Types.hs, nothing )
src/GHC/TypeLits/Presburger/Types.hs:41:1: warning: [GHC-66111] [-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: [GHC-66111] [-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: [GHC-38856] [-Wunused-imports]
The import of listToMaybe from module Data.Maybe is redundant
|
55 | listToMaybe,
| ^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Types.hs:62:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.TypeLits.Presburger.Flags is redundant
except perhaps to import instances from GHC.TypeLits.Presburger.Flags
To import instances alone, use: import GHC.TypeLits.Presburger.Flags()
|
62 | import GHC.TypeLits.Presburger.Flags
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[5 of 6] Compiling GHC.TypeLits.Presburger ( src/GHC/TypeLits/Presburger.hs, nothing )
[6 of 6] Compiling Paths_ghc_typelits_presburger ( dist/build/autogen/Paths_ghc_typelits_presburger.hs, nothing )
Haddock coverage:
Warning: GHC.TypeLits.Presburger.Compat: Could not find documentation for exported module: GHC.TypeLits.Presburger.Compat
31% ( 49 /156) in 'GHC.TypeLits.Presburger.Compat'
Missing documentation for:
Module header
text
Type
fsLit
noExtField (src/GHC/TypeLits/Presburger/Compat.hs:399)
mkModuleName
CtOrigin
ppr
showSDocUnsafe
getUnique
getKey (src/GHC/TypeLits/Presburger/Compat.hs:538)
TyLit
mkUniqSet
elementOfUniqSet
mkModule
cTupleDataCon
mkTcOcc
emptyOccSet
typeKind
mkBaseModule
GhcPs
PackageName
className
classTyCon
mkTyVarTy
emptySubst
unionSubst
substTy (src/GHC/TypeLits/Presburger/Compat.hs:256)
tcUnifyTy (src/GHC/TypeLits/Presburger/Compat.hs:278)
classifyPredType (src/GHC/TypeLits/Presburger/Compat.hs:334)
isEqPred
lookupTyCon
eqTyConName
cTupleTyCon
boolTyCon
nilDataCon
consDataCon
promotedTrueDataCon
promotedFalseDataCon
promotedLTDataCon
promotedEQDataCon
promotedGTDataCon
classInstances
EvTerm
HsParsedModule
TcPlugin
purePlugin
getTopEnv
getCtLocM
lookupOrig
tcLookupClass
tcLookupTyCon
newFlexiTyVar
getInstEnvs
matchFam
mkUnivCo' (src/GHC/TypeLits/Presburger/Compat.hs:201)
dATA_TYPE_EQUALITY (src/GHC/TypeLits/Presburger/Compat.hs:209)
PredTree (src/GHC/TypeLits/Presburger/Compat.hs:223)
TvSubst (src/GHC/TypeLits/Presburger/Compat.hs:225)
TCvSubst (src/GHC/TypeLits/Presburger/Compat.hs:228)
unionTCvSubst (src/GHC/TypeLits/Presburger/Compat.hs:230)
emptyTCvSubst (src/GHC/TypeLits/Presburger/Compat.hs:233)
toTCv (src/GHC/TypeLits/Presburger/Compat.hs:250)
emptyTvSubst (src/GHC/TypeLits/Presburger/Compat.hs:241)
unionTvSubst (src/GHC/TypeLits/Presburger/Compat.hs:259)
fromTCv (src/GHC/TypeLits/Presburger/Compat.hs:264)
promotedBoolTyCon (src/GHC/TypeLits/Presburger/Compat.hs:270)
viewFunTy (src/GHC/TypeLits/Presburger/Compat.hs:273)
getEqTyCon (src/GHC/TypeLits/Presburger/Compat.hs:281)
getEqWitnessTyCon (src/GHC/TypeLits/Presburger/Compat.hs:285)
getEqBoolTyCon (src/GHC/TypeLits/Presburger/Compat.hs:289)
decompFunTy (src/GHC/TypeLits/Presburger/Compat.hs:293)
TypeEq (src/GHC/TypeLits/Presburger/Compat.hs:296)
isTrivial (src/GHC/TypeLits/Presburger/Compat.hs:305)
normaliseGivens (src/GHC/TypeLits/Presburger/Compat.hs:312)
Substitution (src/GHC/TypeLits/Presburger/Compat.hs:319)
subsCt (src/GHC/TypeLits/Presburger/Compat.hs:325)
subsType (src/GHC/TypeLits/Presburger/Compat.hs:328)
mkSubstitution (src/GHC/TypeLits/Presburger/Compat.hs:331)
fsToUnitId (src/GHC/TypeLits/Presburger/Compat.hs:342)
loadedPackageNames (src/GHC/TypeLits/Presburger/Compat.hs:348)
RawPackageName (src/GHC/TypeLits/Presburger/Compat.hs:353)
preloadedUnitsM (src/GHC/TypeLits/Presburger/Compat.hs:357)
ModuleUnit (src/GHC/TypeLits/Presburger/Compat.hs:393)
moduleUnit' (src/GHC/TypeLits/Presburger/Compat.hs:396)
HsModule' (src/GHC/TypeLits/Presburger/Compat.hs:401)
typeNatKind (src/GHC/TypeLits/Presburger/Compat.hs:405)
mtypeNatLeqTyCon (src/GHC/TypeLits/Presburger/Compat.hs:410)
dATA_TYPE_ORD (src/GHC/TypeLits/Presburger/Compat.hs:419)
lookupTyNatPredLeq (src/GHC/TypeLits/Presburger/Compat.hs:424)
lookupTyNatBoolLeq (src/GHC/TypeLits/Presburger/Compat.hs:432)
lookupAssertTyCon (src/GHC/TypeLits/Presburger/Compat.hs:440)
lookupTyNatPredLt (src/GHC/TypeLits/Presburger/Compat.hs:451)
lookupTyNatBoolLt (src/GHC/TypeLits/Presburger/Compat.hs:459)
lookupTyNatPredGt (src/GHC/TypeLits/Presburger/Compat.hs:467)
lookupTyNatBoolGt (src/GHC/TypeLits/Presburger/Compat.hs:475)
lookupTyNatPredGeq (src/GHC/TypeLits/Presburger/Compat.hs:483)
lookupTyNatBoolGeq (src/GHC/TypeLits/Presburger/Compat.hs:491)
mOrdCondTyCon (src/GHC/TypeLits/Presburger/Compat.hs:499)
lookupTyGenericCompare (src/GHC/TypeLits/Presburger/Compat.hs:507)
lookupBool47 (src/GHC/TypeLits/Presburger/Compat.hs:518)
lookupTyNot (src/GHC/TypeLits/Presburger/Compat.hs:525)
lookupTyIf (src/GHC/TypeLits/Presburger/Compat.hs:526)
lookupTyAnd (src/GHC/TypeLits/Presburger/Compat.hs:527)
lookupTyOr (src/GHC/TypeLits/Presburger/Compat.hs:528)
matchFam' (src/GHC/TypeLits/Presburger/Compat.hs:532)
getVoidTyCon (src/GHC/TypeLits/Presburger/Compat.hs:541)
53% ( 7 / 13) in 'GHC.TypeLits.Presburger.Types'
Missing documentation for:
pluginWith (src/GHC/TypeLits/Presburger/Types.hs:107)
defaultTranslation (src/GHC/TypeLits/Presburger/Types.hs:377)
Translation (src/GHC/TypeLits/Presburger/Types.hs:181)
ParseEnv (src/GHC/TypeLits/Presburger/Types.hs:753)
Machine (src/GHC/TypeLits/Presburger/Types.hs:755)
toName (src/Data/Integer/SAT.hs:855)
50% ( 1 / 2) in 'GHC.TypeLits.Presburger'
Missing documentation for:
plugin (src/GHC/TypeLits/Presburger.hs:12)
Warning: GHC.TypeLits.Presburger.Compat: could not find link destinations for:
- GHC.Tc.Types.Origin.ScDepth
- GHC.Iface.Ext.Ast.ToHie
- GHC.Iface.Ext.Ast.IEContext
- GHC.Unit.Database.FilePathST
- GHC.Driver.Plugins.HoleFitPlugin
- GHC.Iface.Ext.Ast.HieM
- GHC.Iface.Ext.Ast.Context
- GHC.Iface.Ext.Ast.toHie
- GHC.Parser.PostProcess.Haddock.HdkA
- GHC.Parser.PostProcess.Haddock.HasHaddock
- GHC.Parser.PostProcess.Haddock.addHaddock
Warning: GHC.TypeLits.Presburger.Types: could not find link destinations for:
- Data.Integer.SAT.Name
Documentation created: dist/doc/html/ghc-typelits-presburger/,
dist/doc/html/ghc-typelits-presburger/ghc-typelits-presburger.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ghc-typelits-presburger-0.7.4.2-AMVFdm968WYTgqZDrCV7m
Completed ghc-typelits-presburger-0.7.4.2
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
- call-stack-0.4.0 (lib:call-stack) (requires build)
- colour-2.3.6 (lib:colour) (requires build)
- dlist-1.0 (lib:dlist) (requires build)
- ghc-tcplugins-extra-0.5 (lib:ghc-tcplugins-extra) (requires build)
- os-string-2.0.7 (lib:os-string) (requires build)
- prettyprinter-1.7.1 (lib:prettyprinter) (requires build)
- reflection-2.1.9 (lib:reflection) (requires build)
- safe-0.3.21 (lib:safe) (requires build)
- syb-0.7.2.4 (lib:syb) (requires build)
- tagged-0.8.9 (lib:tagged) (requires build)
- th-abstraction-0.7.1.0 (lib:th-abstraction) (requires build)
- th-compat-0.1.6 (lib:th-compat) (requires build)
- transformers-compat-0.7.2 (lib:transformers-compat) (requires build)
- unbounded-delays-0.1.1.1 (lib:unbounded-delays) (requires build)
- void-0.7.3 (lib:void) (requires build)
- ansi-terminal-types-1.1.3 (lib:ansi-terminal-types) (requires build)
- hashable-1.5.0.0 (lib:hashable) (requires build)
- th-lift-0.8.6 (lib:th-lift) (requires build)
- th-expand-syns-0.4.12.0 (lib:th-expand-syns) (requires build)
- Glob-0.10.2 (lib:Glob) (requires build)
- ansi-terminal-1.1.3 (lib:ansi-terminal) (requires build)
- ordered-containers-0.2.4 (lib:ordered-containers) (requires build)
- th-reify-many-0.1.10 (lib:th-reify-many) (requires build)
- prettyprinter-ansi-terminal-1.1.3 (lib:prettyprinter-ansi-terminal) (requires build)
- th-orphans-0.13.16 (lib:th-orphans) (requires build)
- optparse-applicative-0.19.0.0 (lib:optparse-applicative) (requires build)
- th-desugar-1.18 (lib:th-desugar) (requires download & build)
- tasty-1.5.3 (lib:tasty) (requires build)
- equational-reasoning-0.7.1.0 (lib:equational-reasoning) (requires download & build)
- tasty-hunit-0.10.2 (lib:tasty-hunit) (requires build)
- tasty-expected-failure-0.12.3 (lib:tasty-expected-failure) (requires build)
- tasty-discover-5.0.2 (lib:tasty-discover, exe:tasty-discover) (requires build)
- ghc-typelits-presburger-0.7.4.2 (first run)
Downloading th-desugar-1.18
Configuring call-stack-0.4.0...
Downloaded th-desugar-1.18
Downloading equational-reasoning-0.7.1.0
Downloaded equational-reasoning-0.7.1.0
Preprocessing library for call-stack-0.4.0..
Building library for call-stack-0.4.0..
[1 of 3] Compiling Data.SrcLoc ( src/Data/SrcLoc.hs, dist/build/Data/SrcLoc.o, dist/build/Data/SrcLoc.dyn_o )
[2 of 3] Compiling Data.CallStack ( src/Data/CallStack.hs, dist/build/Data/CallStack.o, dist/build/Data/CallStack.dyn_o )
[3 of 3] Compiling Paths_call_stack ( dist/build/autogen/Paths_call_stack.hs, dist/build/Paths_call_stack.o, dist/build/Paths_call_stack.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/call-stack-0.4.0-31951dc4e9db177e2ea89098d1122ced7b6da41fd279273945130bdfc91e7098/lib
Configuring colour-2.3.6...
Preprocessing library for colour-2.3.6..
Building library for colour-2.3.6..
[ 1 of 14] Compiling Data.Colour.CIE.Chromaticity ( Data/Colour/CIE/Chromaticity.hs, dist/build/Data/Colour/CIE/Chromaticity.o, dist/build/Data/Colour/CIE/Chromaticity.dyn_o )
[ 2 of 14] Compiling Data.Colour.CIE.Illuminant ( Data/Colour/CIE/Illuminant.hs, dist/build/Data/Colour/CIE/Illuminant.o, dist/build/Data/Colour/CIE/Illuminant.dyn_o )
[ 3 of 14] Compiling Data.Colour.Chan ( Data/Colour/Chan.hs, dist/build/Data/Colour/Chan.o, dist/build/Data/Colour/Chan.dyn_o )
[ 4 of 14] Compiling Data.Colour.Internal ( Data/Colour/Internal.hs, dist/build/Data/Colour/Internal.o, dist/build/Data/Colour/Internal.dyn_o )
[ 5 of 14] Compiling Data.Colour.Matrix ( Data/Colour/Matrix.hs, dist/build/Data/Colour/Matrix.o, dist/build/Data/Colour/Matrix.dyn_o )
[ 6 of 14] Compiling Data.Colour.RGB ( Data/Colour/RGB.hs, dist/build/Data/Colour/RGB.o, dist/build/Data/Colour/RGB.dyn_o )
[ 7 of 14] Compiling Data.Colour.RGBSpace.HSL ( Data/Colour/RGBSpace/HSL.hs, dist/build/Data/Colour/RGBSpace/HSL.o, dist/build/Data/Colour/RGBSpace/HSL.dyn_o )
[ 8 of 14] Compiling Data.Colour.RGBSpace.HSV ( Data/Colour/RGBSpace/HSV.hs, dist/build/Data/Colour/RGBSpace/HSV.o, dist/build/Data/Colour/RGBSpace/HSV.dyn_o )
[ 9 of 14] Compiling Data.Colour.SRGB.Linear ( Data/Colour/SRGB/Linear.hs, dist/build/Data/Colour/SRGB/Linear.o, dist/build/Data/Colour/SRGB/Linear.dyn_o )
[10 of 14] Compiling Data.Colour.RGBSpace ( Data/Colour/RGBSpace.hs, dist/build/Data/Colour/RGBSpace.o, dist/build/Data/Colour/RGBSpace.dyn_o )
[11 of 14] Compiling Data.Colour.SRGB ( Data/Colour/SRGB.hs, dist/build/Data/Colour/SRGB.o, dist/build/Data/Colour/SRGB.dyn_o )
Data/Colour/SRGB.hs:117:8: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:117:24: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
117 | x' | head x == '#' = tail x
| ^^^^
Data/Colour/SRGB.hs:127:50: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
127 | sRGB24read x | length rx /= 1 || not (null (snd (head rx))) =
| ^^^^
Data/Colour/SRGB.hs:129:33: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
129 | | otherwise = fst (head rx)
| ^^^^
[12 of 14] Compiling Data.Colour ( Data/Colour.hs, dist/build/Data/Colour.o, dist/build/Data/Colour.dyn_o )
[13 of 14] Compiling Data.Colour.Names ( Data/Colour/Names.hs, dist/build/Data/Colour/Names.o, dist/build/Data/Colour/Names.dyn_o )
[14 of 14] Compiling Data.Colour.CIE ( Data/Colour/CIE.hs, dist/build/Data/Colour/CIE.o, dist/build/Data/Colour/CIE.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/colour-2.3.6-1bc3273789052b388bc71f53ac10a073cc4a30f03a6584dc6f830ef26e23fa37/lib
Configuring dlist-1.0...
Preprocessing library for dlist-1.0..
Building library for dlist-1.0..
[1 of 5] Compiling Data.DList.Internal ( Data/DList/Internal.hs, dist/build/Data/DList/Internal.o, dist/build/Data/DList/Internal.dyn_o )
Data/DList/Internal.hs:642:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
642 | instance a ~ Char => IsString (DList a) where
| ^
[2 of 5] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o, dist/build/Data/DList.dyn_o )
[3 of 5] Compiling Data.DList.DNonEmpty.Internal ( Data/DList/DNonEmpty/Internal.hs, dist/build/Data/DList/DNonEmpty/Internal.o, dist/build/Data/DList/DNonEmpty/Internal.dyn_o )
Data/DList/DNonEmpty/Internal.hs:459:12: warning: [GHC-58520] [-Wtype-equality-requires-operators]
The use of ~ without TypeOperators
will become an error in a future GHC release.
Suggested fix: Perhaps you intended to use TypeOperators
|
459 | instance a ~ Char => IsString (DNonEmpty a) where
| ^
[4 of 5] Compiling Data.DList.DNonEmpty ( Data/DList/DNonEmpty.hs, dist/build/Data/DList/DNonEmpty.o, dist/build/Data/DList/DNonEmpty.dyn_o )
[5 of 5] Compiling Data.DList.Unsafe ( Data/DList/Unsafe.hs, dist/build/Data/DList/Unsafe.o, dist/build/Data/DList/Unsafe.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/dlist-1.0-86f33801414c0473ae1fd4662f02a4312e631e921d989de4c3a2796798483375/lib
Configuring ghc-tcplugins-extra-0.5...
Preprocessing library for ghc-tcplugins-extra-0.5..
Building library for ghc-tcplugins-extra-0.5..
[1 of 8] Compiling GhcApi.Constraint
[2 of 8] Compiling GhcApi.GhcPlugins
[3 of 8] Compiling GhcApi.Predicate
[4 of 8] Compiling Internal.Constraint
[5 of 8] Compiling Internal.Evidence
[6 of 8] Compiling Internal.Type
[7 of 8] Compiling Internal
[8 of 8] Compiling GHC.TcPluginM.Extra
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ghc-tcplugins-extra-0.5-310b5d62e192abf22f4e880316382b2c7eed98a748b23ca585317d555342ce16/lib
Configuring os-string-2.0.7...
Preprocessing library for os-string-2.0.7..
Building library for os-string-2.0.7..
[ 1 of 11] Compiling System.OsString.Data.ByteString.Short.Internal ( System/OsString/Data/ByteString/Short/Internal.hs, dist/build/System/OsString/Data/ByteString/Short/Internal.o, dist/build/System/OsString/Data/ByteString/Short/Internal.dyn_o )
[ 2 of 11] Compiling System.OsString.Data.ByteString.Short ( System/OsString/Data/ByteString/Short.hs, dist/build/System/OsString/Data/ByteString/Short.o, dist/build/System/OsString/Data/ByteString/Short.dyn_o )
[ 3 of 11] Compiling System.OsString.Data.ByteString.Short.Word16 ( System/OsString/Data/ByteString/Short/Word16.hs, dist/build/System/OsString/Data/ByteString/Short/Word16.o, dist/build/System/OsString/Data/ByteString/Short/Word16.dyn_o )
[ 4 of 11] Compiling System.OsString.Internal.Exception ( System/OsString/Internal/Exception.hs, dist/build/System/OsString/Internal/Exception.o, dist/build/System/OsString/Internal/Exception.dyn_o )
[ 5 of 11] Compiling System.OsString.Encoding.Internal ( System/OsString/Encoding/Internal.hs, dist/build/System/OsString/Encoding/Internal.o, dist/build/System/OsString/Encoding/Internal.dyn_o )
System/OsString/Encoding/Internal.hs:23:42: warning: [GHC-38856] [-Wunused-imports]
The import of try from module Control.Exception is redundant
|
23 | import Control.Exception (SomeException, try, Exception (displayException), evaluate)
| ^^^
[ 6 of 11] Compiling System.OsString.Encoding ( System/OsString/Encoding.hs, dist/build/System/OsString/Encoding.o, dist/build/System/OsString/Encoding.dyn_o )
[ 7 of 11] Compiling System.OsString.Internal.Types ( System/OsString/Internal/Types.hs, dist/build/System/OsString/Internal/Types.o, dist/build/System/OsString/Internal/Types.dyn_o )
[ 8 of 11] Compiling System.OsString.Posix ( System/OsString/Posix.hs, dist/build/System/OsString/Posix.o, dist/build/System/OsString/Posix.dyn_o )
[ 9 of 11] Compiling System.OsString.Internal ( System/OsString/Internal.hs, dist/build/System/OsString/Internal.o, dist/build/System/OsString/Internal.dyn_o )
[10 of 11] Compiling System.OsString ( System/OsString.hs, dist/build/System/OsString.o, dist/build/System/OsString.dyn_o )
[11 of 11] Compiling System.OsString.Windows ( System/OsString/Windows.hs, dist/build/System/OsString/Windows.o, dist/build/System/OsString/Windows.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/os-string-2.0.7-1c61ed339b340ff4f82bc6e9bda242958d07330032a8a37fb2616fbcbe717db5/lib
Configuring prettyprinter-1.7.1...
Preprocessing library for prettyprinter-1.7.1..
Building library for prettyprinter-1.7.1..
[ 1 of 28] Compiling Prettyprinter.Render.Util.Panic ( src/Prettyprinter/Render/Util/Panic.hs, dist/build/Prettyprinter/Render/Util/Panic.o, dist/build/Prettyprinter/Render/Util/Panic.dyn_o )
[ 2 of 28] Compiling Prettyprinter.Internal ( src/Prettyprinter/Internal.hs, dist/build/Prettyprinter/Internal.o, dist/build/Prettyprinter/Internal.dyn_o )
[ 3 of 28] Compiling Prettyprinter.Render.String ( src/Prettyprinter/Render/String.hs, dist/build/Prettyprinter/Render/String.o, dist/build/Prettyprinter/Render/String.dyn_o )
[ 4 of 28] Compiling Data.Text.Prettyprint.Doc.Render.String ( src/Data/Text/Prettyprint/Doc/Render/String.hs, dist/build/Data/Text/Prettyprint/Doc/Render/String.o, dist/build/Data/Text/Prettyprint/Doc/Render/String.dyn_o )
[ 5 of 28] Compiling Prettyprinter.Internal.Type ( src/Prettyprinter/Internal/Type.hs, dist/build/Prettyprinter/Internal/Type.o, dist/build/Prettyprinter/Internal/Type.dyn_o )
[ 6 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Type ( src/Data/Text/Prettyprint/Doc/Internal/Type.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Type.dyn_o )
[ 7 of 28] Compiling Prettyprinter.Internal.Debug ( src/Prettyprinter/Internal/Debug.hs, dist/build/Prettyprinter/Internal/Debug.o, dist/build/Prettyprinter/Internal/Debug.dyn_o )
[ 8 of 28] Compiling Data.Text.Prettyprint.Doc.Internal.Debug ( src/Data/Text/Prettyprint/Doc/Internal/Debug.hs, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.o, dist/build/Data/Text/Prettyprint/Doc/Internal/Debug.dyn_o )
[ 9 of 28] Compiling Data.Text.Prettyprint.Doc.Internal ( src/Data/Text/Prettyprint/Doc/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Internal.dyn_o )
[10 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.Panic ( src/Data/Text/Prettyprint/Doc/Render/Util/Panic.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/Panic.dyn_o )
[11 of 28] Compiling Prettyprinter.Render.Util.StackMachine ( src/Prettyprinter/Render/Util/StackMachine.hs, dist/build/Prettyprinter/Render/Util/StackMachine.o, dist/build/Prettyprinter/Render/Util/StackMachine.dyn_o )
src/Prettyprinter/Render/Util/StackMachine.hs:34:1: warning: [GHC-66111] [-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()
|
34 | import Control.Applicative
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.StackMachine ( src/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/StackMachine.dyn_o )
[13 of 28] Compiling Prettyprinter.Symbols.Ascii ( src/Prettyprinter/Symbols/Ascii.hs, dist/build/Prettyprinter/Symbols/Ascii.o, dist/build/Prettyprinter/Symbols/Ascii.dyn_o )
[14 of 28] Compiling Prettyprinter ( src/Prettyprinter.hs, dist/build/Prettyprinter.o, dist/build/Prettyprinter.dyn_o )
[15 of 28] Compiling Prettyprinter.Render.Util.SimpleDocTree ( src/Prettyprinter/Render/Util/SimpleDocTree.hs, dist/build/Prettyprinter/Render/Util/SimpleDocTree.o, dist/build/Prettyprinter/Render/Util/SimpleDocTree.dyn_o )
[16 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Util.SimpleDocTree ( src/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.o, dist/build/Data/Text/Prettyprint/Doc/Render/Util/SimpleDocTree.dyn_o )
[17 of 28] Compiling Prettyprinter.Render.Tutorials.TreeRenderingTutorial ( src/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Prettyprinter/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[18 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.TreeRenderingTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/TreeRenderingTutorial.dyn_o )
[19 of 28] Compiling Prettyprinter.Render.Tutorials.StackMachineTutorial ( src/Prettyprinter/Render/Tutorials/StackMachineTutorial.hs, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.o, dist/build/Prettyprinter/Render/Tutorials/StackMachineTutorial.dyn_o )
[20 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Tutorials.StackMachineTutorial ( src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.o, dist/build/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.dyn_o )
src/Data/Text/Prettyprint/Doc/Render/Tutorials/StackMachineTutorial.hs:7:1: warning: [GHC-15328] [-Wdeprecations]
Module Prettyprinter.Render.Tutorials.StackMachineTutorial is deprecated:
"Writing your own stack machine is probably more efficient and customizable; also consider using �renderSimplyDecorated(A)� instead"
|
7 | import Prettyprinter.Render.Tutorials.StackMachineTutorial
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[21 of 28] Compiling Prettyprinter.Render.Text ( src/Prettyprinter/Render/Text.hs, dist/build/Prettyprinter/Render/Text.o, dist/build/Prettyprinter/Render/Text.dyn_o )
[22 of 28] Compiling Data.Text.Prettyprint.Doc.Render.Text ( src/Data/Text/Prettyprint/Doc/Render/Text.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Text.o, dist/build/Data/Text/Prettyprint/Doc/Render/Text.dyn_o )
[23 of 28] Compiling Data.Text.Prettyprint.Doc ( src/Data/Text/Prettyprint/Doc.hs, dist/build/Data/Text/Prettyprint/Doc.o, dist/build/Data/Text/Prettyprint/Doc.dyn_o )
[24 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Ascii ( src/Data/Text/Prettyprint/Doc/Symbols/Ascii.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Ascii.dyn_o )
[25 of 28] Compiling Prettyprinter.Symbols.Unicode ( src/Prettyprinter/Symbols/Unicode.hs, dist/build/Prettyprinter/Symbols/Unicode.o, dist/build/Prettyprinter/Symbols/Unicode.dyn_o )
[26 of 28] Compiling Data.Text.Prettyprint.Doc.Symbols.Unicode ( src/Data/Text/Prettyprint/Doc/Symbols/Unicode.hs, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.o, dist/build/Data/Text/Prettyprint/Doc/Symbols/Unicode.dyn_o )
[27 of 28] Compiling Prettyprinter.Util ( src/Prettyprinter/Util.hs, dist/build/Prettyprinter/Util.o, dist/build/Prettyprinter/Util.dyn_o )
[28 of 28] Compiling Data.Text.Prettyprint.Doc.Util ( src/Data/Text/Prettyprint/Doc/Util.hs, dist/build/Data/Text/Prettyprint/Doc/Util.o, dist/build/Data/Text/Prettyprint/Doc/Util.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-1.7.1-698f6d27ba9dc4afb698ee24b5b7298b328c15147c4c3170a4fd72165e2b9672/lib
Configuring reflection-2.1.9...
Preprocessing library for reflection-2.1.9..
Building library for reflection-2.1.9..
[1 of 1] Compiling Data.Reflection ( fast/Data/Reflection.hs, dist/build/Data/Reflection.o, dist/build/Data/Reflection.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/reflection-2.1.9-22795e3ec414c8ec2a50c0f8f09b279f2c4b8dd7b669b126730f67260107bfb5/lib
Configuring safe-0.3.21...
Preprocessing library for safe-0.3.21..
Building library for safe-0.3.21..
[1 of 5] Compiling Safe.Partial ( Safe/Partial.hs, dist/build/Safe/Partial.o, dist/build/Safe/Partial.dyn_o )
[2 of 5] Compiling Safe.Util ( Safe/Util.hs, dist/build/Safe/Util.o, dist/build/Safe/Util.dyn_o )
[3 of 5] Compiling Safe.Foldable ( Safe/Foldable.hs, dist/build/Safe/Foldable.o, dist/build/Safe/Foldable.dyn_o )
[4 of 5] Compiling Safe.Exact ( Safe/Exact.hs, dist/build/Safe/Exact.o, dist/build/Safe/Exact.dyn_o )
[5 of 5] Compiling Safe ( Safe.hs, dist/build/Safe.o, dist/build/Safe.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/safe-0.3.21-0172eeadb3f5f7afe48d9811be5a09a55289381d033ec70ced05c631dc4b62a3/lib
Configuring syb-0.7.2.4...
Preprocessing library for syb-0.7.2.4..
Building library for syb-0.7.2.4..
[ 1 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o, dist/build/Data/Generics/Aliases.dyn_o )
[ 2 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o, dist/build/Data/Generics/Basics.dyn_o )
[ 3 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o, dist/build/Data/Generics/Builders.dyn_o )
[ 4 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o, dist/build/Data/Generics/Instances.dyn_o )
[ 5 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o, dist/build/Data/Generics/Schemes.dyn_o )
[ 6 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o, dist/build/Data/Generics/Text.dyn_o )
[ 7 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o, dist/build/Data/Generics/Twins.dyn_o )
src/Data/Generics/Twins.hs:224:17: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
224 | perkid a d = (tail a, unGT (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:224:31: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
224 | perkid a d = (tail a, unGT (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:237:17: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
237 | perkid a d = (tail a, unGM (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:237:31: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
237 | perkid a d = (tail a, unGM (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:249:17: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
249 | perkid a d = (tail a, unGQ (head a) d)
| ^^^^
src/Data/Generics/Twins.hs:249:31: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
249 | perkid a d = (tail a, unGQ (head a) d)
| ^^^^
[ 8 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o, dist/build/Data/Generics.dyn_o )
[ 9 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o, dist/build/Generics/SYB.dyn_o )
[10 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o, dist/build/Generics/SYB/Aliases.dyn_o )
[11 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o, dist/build/Generics/SYB/Basics.dyn_o )
[12 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o, dist/build/Generics/SYB/Builders.dyn_o )
[13 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o, dist/build/Generics/SYB/Instances.dyn_o )
[14 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o, dist/build/Generics/SYB/Schemes.dyn_o )
[15 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o, dist/build/Generics/SYB/Text.dyn_o )
[16 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o, dist/build/Generics/SYB/Twins.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/syb-0.7.2.4-bf248d17d9089b2cef30528f3895dc9cdc229611358d9ad0f85581275de5e328/lib
Configuring tagged-0.8.9...
Preprocessing library for tagged-0.8.9..
Building library for tagged-0.8.9..
[1 of 2] Compiling Data.Proxy.TH ( src/Data/Proxy/TH.hs, dist/build/Data/Proxy/TH.o, dist/build/Data/Proxy/TH.dyn_o )
[2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o, dist/build/Data/Tagged.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tagged-0.8.9-7bf04732d97f4bf5340c0e45b3bc6b1c39f9910c71a0e6a1205150fdfbcfdf08/lib
Configuring th-abstraction-0.7.1.0...
Preprocessing library for th-abstraction-0.7.1.0..
Building library for th-abstraction-0.7.1.0..
[1 of 3] Compiling Language.Haskell.TH.Datatype.Internal ( src/Language/Haskell/TH/Datatype/Internal.hs, dist/build/Language/Haskell/TH/Datatype/Internal.o, dist/build/Language/Haskell/TH/Datatype/Internal.dyn_o )
[2 of 3] Compiling Language.Haskell.TH.Datatype.TyVarBndr ( src/Language/Haskell/TH/Datatype/TyVarBndr.hs, dist/build/Language/Haskell/TH/Datatype/TyVarBndr.o, dist/build/Language/Haskell/TH/Datatype/TyVarBndr.dyn_o )
[3 of 3] Compiling Language.Haskell.TH.Datatype ( src/Language/Haskell/TH/Datatype.hs, dist/build/Language/Haskell/TH/Datatype.o, dist/build/Language/Haskell/TH/Datatype.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/th-abstraction-0.7.1.0-82ad9a68afecf5fb65bcfd2dfbc618b4e18b686df813b9753a56ca9567944f60/lib
Configuring th-compat-0.1.6...
Preprocessing library for th-compat-0.1.6..
Building library for th-compat-0.1.6..
[1 of 1] Compiling Language.Haskell.TH.Syntax.Compat ( src/Language/Haskell/TH/Syntax/Compat.hs, dist/build/Language/Haskell/TH/Syntax/Compat.o, dist/build/Language/Haskell/TH/Syntax/Compat.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/th-compat-0.1.6-766a4c5cc49a66f429c66c15b3cbdef4b7bccbb8d2d0b600cbaa7ac24c0b7bf1/lib
Configuring transformers-compat-0.7.2...
Preprocessing library for transformers-compat-0.7.2..
Building library for transformers-compat-0.7.2..
[1 of 4] Compiling Control.Monad.Trans.Instances ( src/Control/Monad/Trans/Instances.hs, dist/build/Control/Monad/Trans/Instances.o, dist/build/Control/Monad/Trans/Instances.dyn_o )
[2 of 4] Compiling Data.Functor.Classes.Generic.Internal ( generics/Data/Functor/Classes/Generic/Internal.hs, dist/build/Data/Functor/Classes/Generic/Internal.o, dist/build/Data/Functor/Classes/Generic/Internal.dyn_o )
[3 of 4] Compiling Data.Functor.Classes.Generic ( generics/Data/Functor/Classes/Generic.hs, dist/build/Data/Functor/Classes/Generic.o, dist/build/Data/Functor/Classes/Generic.dyn_o )
[4 of 4] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o, dist/build/Paths_transformers_compat.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/transformers-compat-0.7.2-65d516b6721ab8908b52a1ef34487530b87dfa82cc1e5a2dde390735d4f89fdd/lib
Configuring unbounded-delays-0.1.1.1...
Preprocessing library for unbounded-delays-0.1.1.1..
Building library for unbounded-delays-0.1.1.1..
[1 of 2] Compiling Control.Concurrent.Thread.Delay ( Control/Concurrent/Thread/Delay.hs, dist/build/Control/Concurrent/Thread/Delay.o, dist/build/Control/Concurrent/Thread/Delay.dyn_o )
[2 of 2] Compiling Control.Concurrent.Timeout ( Control/Concurrent/Timeout.hs, dist/build/Control/Concurrent/Timeout.o, dist/build/Control/Concurrent/Timeout.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/unbounded-delays-0.1.1.1-acf6ee3d5795c6d2b333bf9f9b29b01d47af7308eba9d934f960036a025123da/lib
Configuring void-0.7.3...
Preprocessing library for void-0.7.3..
Building library for void-0.7.3..
[1 of 1] Compiling Data.Void.Unsafe ( src/Data/Void/Unsafe.hs, dist/build/Data/Void/Unsafe.o, dist/build/Data/Void/Unsafe.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/void-0.7.3-5136f8724ccf5ca4cf7d26bad70cf4f113fb0770ee0b6d3319e2696a8d988480/lib
Configuring ansi-terminal-types-1.1.3...
Preprocessing library for ansi-terminal-types-1.1.3..
Building library for ansi-terminal-types-1.1.3..
[1 of 2] Compiling System.Console.ANSI.Types ( src/System/Console/ANSI/Types.hs, dist/build/System/Console/ANSI/Types.o, dist/build/System/Console/ANSI/Types.dyn_o )
[2 of 2] Compiling System.Console.ANSI.Codes ( src/System/Console/ANSI/Codes.hs, dist/build/System/Console/ANSI/Codes.o, dist/build/System/Console/ANSI/Codes.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-types-1.1.3-c12c865b524456654e5c4f96ba48bd4de2b3c32e05f6a73c62f9e7fb6779ef8a/lib
Configuring hashable-1.5.0.0...
Preprocessing library for hashable-1.5.0.0..
Building library for hashable-1.5.0.0..
[ 1 of 10] Compiling Data.Hashable.FFI ( src/Data/Hashable/FFI.hs, dist/build/Data/Hashable/FFI.o, dist/build/Data/Hashable/FFI.dyn_o )
[ 2 of 10] Compiling Data.Hashable.Imports ( src/Data/Hashable/Imports.hs, dist/build/Data/Hashable/Imports.o, dist/build/Data/Hashable/Imports.dyn_o )
[ 3 of 10] Compiling Data.Hashable.Mix ( src/Data/Hashable/Mix.hs, dist/build/Data/Hashable/Mix.o, dist/build/Data/Hashable/Mix.dyn_o )
[ 4 of 10] Compiling Data.Hashable.XXH3 ( src/Data/Hashable/XXH3.hs, dist/build/Data/Hashable/XXH3.o, dist/build/Data/Hashable/XXH3.dyn_o )
[ 5 of 10] Compiling Data.Hashable.LowLevel ( src/Data/Hashable/LowLevel.hs, dist/build/Data/Hashable/LowLevel.o, dist/build/Data/Hashable/LowLevel.dyn_o )
[ 6 of 10] Compiling Data.Hashable.Class ( src/Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o, dist/build/Data/Hashable/Class.dyn_o )
[ 7 of 10] Compiling Data.Hashable.Lifted ( src/Data/Hashable/Lifted.hs, dist/build/Data/Hashable/Lifted.o, dist/build/Data/Hashable/Lifted.dyn_o )
[ 8 of 10] Compiling Data.Hashable.Generic.Instances ( src/Data/Hashable/Generic/Instances.hs, dist/build/Data/Hashable/Generic/Instances.o, dist/build/Data/Hashable/Generic/Instances.dyn_o )
src/Data/Hashable/Generic/Instances.hs:5:14: warning: [GHC-19244] [-Wtrustworthy-safe]
Data.Hashable.Generic.Instances is marked as Trustworthy but has been inferred as safe!
|
5 | {-# LANGUAGE Trustworthy #-}
| ^^^^^^^^^^^
[ 9 of 10] Compiling Data.Hashable.Generic ( src/Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o, dist/build/Data/Hashable/Generic.dyn_o )
[10 of 10] Compiling Data.Hashable ( src/Data/Hashable.hs, dist/build/Data/Hashable.o, dist/build/Data/Hashable.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hashable-1.5.0.0-efb45a086b0710222c4002b9a13d79044e722f784809e4028b830f570c510ac8/lib
Configuring th-lift-0.8.6...
Preprocessing library for th-lift-0.8.6..
Building library for th-lift-0.8.6..
[1 of 2] Compiling Language.Haskell.TH.Lift.Internal ( src/Language/Haskell/TH/Lift/Internal.hs, dist/build/Language/Haskell/TH/Lift/Internal.o, dist/build/Language/Haskell/TH/Lift/Internal.dyn_o )
[2 of 2] Compiling Language.Haskell.TH.Lift ( src/Language/Haskell/TH/Lift.hs, dist/build/Language/Haskell/TH/Lift.o, dist/build/Language/Haskell/TH/Lift.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/th-lift-0.8.6-108735b7e3f2f75555819f9b8a63752cf0394e8f53fd66231b999c072d1262ef/lib
Configuring th-expand-syns-0.4.12.0...
Preprocessing library for th-expand-syns-0.4.12.0..
Building library for th-expand-syns-0.4.12.0..
[1 of 1] Compiling Language.Haskell.TH.ExpandSyns ( Language/Haskell/TH/ExpandSyns.hs, dist/build/Language/Haskell/TH/ExpandSyns.o, dist/build/Language/Haskell/TH/ExpandSyns.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/th-expand-syns-0.4.12.0-d3c85e7ac09f212158682f8d54b902cfa4377b2f28614cefdcdca759a60828f9/lib
Configuring Glob-0.10.2...
Preprocessing library for Glob-0.10.2..
Building library for Glob-0.10.2..
[1 of 7] Compiling System.FilePath.Glob.Utils ( System/FilePath/Glob/Utils.hs, dist/build/System/FilePath/Glob/Utils.o, dist/build/System/FilePath/Glob/Utils.dyn_o )
[2 of 7] Compiling System.FilePath.Glob.Base ( System/FilePath/Glob/Base.hs, dist/build/System/FilePath/Glob/Base.o, dist/build/System/FilePath/Glob/Base.dyn_o )
System/FilePath/Glob/Base.hs:415:42: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
415 | r -> r : go (tail rest)
| ^^^^
System/FilePath/Glob/Base.hs:567:42: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
567 | fin (LongLiteral 1 s : xs) = Literal (head s) : fin xs
| ^^^^
System/FilePath/Glob/Base.hs:656:45: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
656 | range = (c, head catable)
| ^^^^
System/FilePath/Glob/Base.hs:659:47: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
659 | if null catable || null (tail catable)
| ^^^^
[3 of 7] Compiling System.FilePath.Glob.Simplify ( System/FilePath/Glob/Simplify.hs, dist/build/System/FilePath/Glob/Simplify.o, dist/build/System/FilePath/Glob/Simplify.dyn_o )
[4 of 7] Compiling System.FilePath.Glob.Primitive ( System/FilePath/Glob/Primitive.hs, dist/build/System/FilePath/Glob/Primitive.o, dist/build/System/FilePath/Glob/Primitive.dyn_o )
[5 of 7] Compiling System.FilePath.Glob.Match ( System/FilePath/Glob/Match.hs, dist/build/System/FilePath/Glob/Match.o, dist/build/System/FilePath/Glob/Match.dyn_o )
System/FilePath/Glob/Match.hs:99:11: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
99 | tail . takeWhile (not.null.snd) . map (`splitAt` n) $ [0..]
| ^^^^
System/FilePath/Glob/Match.hs:132:48: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
132 | else hasMatch && all (not.isExtSeparator.head) matchedDirs
| ^^^^
[6 of 7] Compiling System.FilePath.Glob.Directory ( System/FilePath/Glob/Directory.hs, dist/build/System/FilePath/Glob/Directory.o, dist/build/System/FilePath/Glob/Directory.dyn_o )
System/FilePath/Glob/Directory.hs:151:19: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
151 | globDir1 p = fmap head . globDir [p]
| ^^^^
System/FilePath/Glob/Directory.hs:213:61: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
213 | null (unPattern p) && not (isExtSeparator $ head path)
| ^^^^
System/FilePath/Glob/Directory.hs:350:26: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
350 | | isPathSeparator (head rest) = (Pattern ps, Just "")
| ^^^^
[7 of 7] Compiling System.FilePath.Glob ( System/FilePath/Glob.hs, dist/build/System/FilePath/Glob.o, dist/build/System/FilePath/Glob.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/Glob-0.10.2-5a502c769822665056c972c3ce6a98d6426100ac266c31a447c116f016f607ca/lib
Configuring ansi-terminal-1.1.3...
Preprocessing library for ansi-terminal-1.1.3..
Building library for ansi-terminal-1.1.3..
[1 of 2] Compiling System.Console.ANSI.Internal ( unix/System/Console/ANSI/Internal.hs, dist/build/System/Console/ANSI/Internal.o, dist/build/System/Console/ANSI/Internal.dyn_o )
[2 of 2] Compiling System.Console.ANSI ( src/System/Console/ANSI.hs, dist/build/System/Console/ANSI.o, dist/build/System/Console/ANSI.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-1.1.3-14b2658f53d58bdc6b1e220208a01ef343967e3559df1bab546e449015575dfa/lib
Configuring ordered-containers-0.2.4...
Preprocessing library for ordered-containers-0.2.4..
Building library for ordered-containers-0.2.4..
[1 of 5] Compiling Data.Map.Util ( Data/Map/Util.hs, dist/build/Data/Map/Util.o, dist/build/Data/Map/Util.dyn_o )
[2 of 5] Compiling Data.Map.Ordered.Internal ( Data/Map/Ordered/Internal.hs, dist/build/Data/Map/Ordered/Internal.o, dist/build/Data/Map/Ordered/Internal.dyn_o )
Data/Map/Ordered/Internal.hs:94:9: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid (Bias L (OMap k v)).
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
94 | mappend (Bias o) (Bias o') = Bias (unionWithL (const mappend) o o')
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Map/Ordered/Internal.hs:105:9: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid (Bias R (OMap k v)).
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
105 | mappend (Bias o) (Bias o') = Bias (unionWithR (const mappend) o o')
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[3 of 5] Compiling Data.Map.Ordered.Strict ( Data/Map/Ordered/Strict.hs, dist/build/Data/Map/Ordered/Strict.o, dist/build/Data/Map/Ordered/Strict.dyn_o )
[4 of 5] Compiling Data.Map.Ordered ( Data/Map/Ordered.hs, dist/build/Data/Map/Ordered.o, dist/build/Data/Map/Ordered.dyn_o )
[5 of 5] Compiling Data.Set.Ordered ( Data/Set/Ordered.hs, dist/build/Data/Set/Ordered.o, dist/build/Data/Set/Ordered.dyn_o )
Data/Set/Ordered.hs:106:9: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid (Bias L (OSet a)).
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
106 | mappend (Bias o) (Bias o') = Bias (o |<> o')
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Set/Ordered.hs:116:9: warning: [GHC-50928] [-Wnoncanonical-monoid-instances]
Noncanonical mappend definition detected
in the instance declaration for Monoid (Bias R (OSet a)).
mappend will eventually be removed in favour of (<>)
Suggested fix:
Either remove definition for mappend (recommended) or define as mappend = (<>)
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
|
116 | mappend (Bias o) (Bias o') = Bias (o <>| o')
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ordered-containers-0.2.4-a525526e3e4731e1e2bb50df07d3c56a93a31f59699b9ad2a97f132848f85104/lib
Configuring th-reify-many-0.1.10...
Preprocessing library for th-reify-many-0.1.10..
Building library for th-reify-many-0.1.10..
[1 of 2] Compiling Language.Haskell.TH.ReifyMany.Internal ( src/Language/Haskell/TH/ReifyMany/Internal.hs, dist/build/Language/Haskell/TH/ReifyMany/Internal.o, dist/build/Language/Haskell/TH/ReifyMany/Internal.dyn_o )
[2 of 2] Compiling Language.Haskell.TH.ReifyMany ( src/Language/Haskell/TH/ReifyMany.hs, dist/build/Language/Haskell/TH/ReifyMany.o, dist/build/Language/Haskell/TH/ReifyMany.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/th-reify-many-0.1.10-14de47363b1bc04c85ecc47e0f9f257187c52502e78db4aa010794e93e771e8e/lib
Configuring prettyprinter-ansi-terminal-1.1.3...
Preprocessing library for prettyprinter-ansi-terminal-1.1.3..
Building library for prettyprinter-ansi-terminal-1.1.3..
[1 of 4] Compiling Prettyprinter.Render.Terminal.Internal ( src/Prettyprinter/Render/Terminal/Internal.hs, dist/build/Prettyprinter/Render/Terminal/Internal.o, dist/build/Prettyprinter/Render/Terminal/Internal.dyn_o )
[2 of 4] Compiling Prettyprinter.Render.Terminal ( src/Prettyprinter/Render/Terminal.hs, dist/build/Prettyprinter/Render/Terminal.o, dist/build/Prettyprinter/Render/Terminal.dyn_o )
[3 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal ( src/Data/Text/Prettyprint/Doc/Render/Terminal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal.dyn_o )
[4 of 4] Compiling Data.Text.Prettyprint.Doc.Render.Terminal.Internal ( src/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.hs, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.o, dist/build/Data/Text/Prettyprint/Doc/Render/Terminal/Internal.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-ansi-terminal-1.1.3-01540a51e8a8aa8c5a6b1ac67f23916984b5a09c8a144aa6d471451eafceaef3/lib
Configuring th-orphans-0.13.16...
Preprocessing library for th-orphans-0.13.16..
Building library for th-orphans-0.13.16..
[1 of 2] Compiling Language.Haskell.TH.Instances.Internal ( src/Language/Haskell/TH/Instances/Internal.hs, dist/build/Language/Haskell/TH/Instances/Internal.o, dist/build/Language/Haskell/TH/Instances/Internal.dyn_o )
[2 of 2] Compiling Language.Haskell.TH.Instances ( src/Language/Haskell/TH/Instances.hs, dist/build/Language/Haskell/TH/Instances.o, dist/build/Language/Haskell/TH/Instances.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/th-orphans-0.13.16-c0c6a95e85633ff6de0c5dabeda6549a393c0e54e932bbd6075d0e38a7fa841d/lib
Configuring optparse-applicative-0.19.0.0...
Preprocessing library for optparse-applicative-0.19.0.0..
Building library for optparse-applicative-0.19.0.0..
[ 1 of 17] Compiling Options.Applicative.Help.Levenshtein ( src/Options/Applicative/Help/Levenshtein.hs, dist/build/Options/Applicative/Help/Levenshtein.o, dist/build/Options/Applicative/Help/Levenshtein.dyn_o )
src/Options/Applicative/Help/Levenshtein.hs:24:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:24:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
24 | oneDiag a b (head uppers) (-1 : head lowers)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:53: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:40:62: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
40 | = nw : doDiag (ach' : as) (bch' : bs) nw (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:27: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:48:39: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
48 | 1 + min3 (head w) nw (head n)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50:35: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:50:44: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
50 | me : doDiag as bs me (tail n) (tail w)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:52:24: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
52 | firstelt = 1 + head diagBelow
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:53:64: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
53 | thisdiag = firstelt : doDiag a' b' firstelt diagAbove (tail diagBelow)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:20: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
59 | nextDiag = head (tail diags)
| ^^^^
src/Options/Applicative/Help/Levenshtein.hs:59:26: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
59 | nextDiag = head (tail diags)
| ^^^^
[ 2 of 17] Compiling Options.Applicative.Help.Pretty ( src/Options/Applicative/Help/Pretty.hs, dist/build/Options/Applicative/Help/Pretty.o, dist/build/Options/Applicative/Help/Pretty.dyn_o )
[ 3 of 17] Compiling Options.Applicative.Help.Chunk ( src/Options/Applicative/Help/Chunk.hs, dist/build/Options/Applicative/Help/Chunk.o, dist/build/Options/Applicative/Help/Chunk.dyn_o )
[ 4 of 17] Compiling Options.Applicative.Help.Types ( src/Options/Applicative/Help/Types.hs, dist/build/Options/Applicative/Help/Types.o, dist/build/Options/Applicative/Help/Types.dyn_o )
[ 5 of 17] Compiling Options.Applicative.Types ( src/Options/Applicative/Types.hs, dist/build/Options/Applicative/Types.o, dist/build/Options/Applicative/Types.dyn_o )
src/Options/Applicative/Types.hs:59:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
59 | import Data.Semigroup hiding (Option)
| ^^^^^^
[ 6 of 17] Compiling Options.Applicative.NonEmpty ( src/Options/Applicative/NonEmpty.hs, dist/build/Options/Applicative/NonEmpty.o, dist/build/Options/Applicative/NonEmpty.dyn_o )
[ 7 of 17] Compiling Options.Applicative.Internal ( src/Options/Applicative/Internal.hs, dist/build/Options/Applicative/Internal.o, dist/build/Options/Applicative/Internal.dyn_o )
[ 8 of 17] Compiling Options.Applicative.Common ( src/Options/Applicative/Common.hs, dist/build/Options/Applicative/Common.o, dist/build/Options/Applicative/Common.dyn_o )
[ 9 of 17] Compiling Options.Applicative.Help.Core ( src/Options/Applicative/Help/Core.hs, dist/build/Options/Applicative/Help/Core.o, dist/build/Options/Applicative/Help/Core.dyn_o )
[10 of 17] Compiling Options.Applicative.Help ( src/Options/Applicative/Help.hs, dist/build/Options/Applicative/Help.o, dist/build/Options/Applicative/Help.dyn_o )
[11 of 17] Compiling Options.Applicative.Builder.Internal ( src/Options/Applicative/Builder/Internal.hs, dist/build/Options/Applicative/Builder/Internal.o, dist/build/Options/Applicative/Builder/Internal.dyn_o )
src/Options/Applicative/Builder/Internal.hs:29:31: warning: [GHC-61689] [-Wdodgy-imports]
Module Data.Semigroup does not export Option.
|
29 | import Data.Semigroup hiding (Option)
| ^^^^^^
[12 of 17] Compiling Options.Applicative.Builder.Completer ( src/Options/Applicative/Builder/Completer.hs, dist/build/Options/Applicative/Builder/Completer.o, dist/build/Options/Applicative/Builder/Completer.dyn_o )
[13 of 17] Compiling Options.Applicative.Builder ( src/Options/Applicative/Builder.hs, dist/build/Options/Applicative/Builder.o, dist/build/Options/Applicative/Builder.dyn_o )
[14 of 17] Compiling Options.Applicative.BashCompletion ( src/Options/Applicative/BashCompletion.hs, dist/build/Options/Applicative/BashCompletion.o, dist/build/Options/Applicative/BashCompletion.dyn_o )
src/Options/Applicative/BashCompletion.hs:16:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Foldable is redundant
except perhaps to import instances from Data.Foldable
To import instances alone, use: import Data.Foldable()
|
16 | import Data.Foldable ( asum )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[15 of 17] Compiling Options.Applicative.Extra ( src/Options/Applicative/Extra.hs, dist/build/Options/Applicative/Extra.o, dist/build/Options/Applicative/Extra.dyn_o )
[16 of 17] Compiling Options.Applicative ( src/Options/Applicative.hs, dist/build/Options/Applicative.o, dist/build/Options/Applicative.dyn_o )
[17 of 17] Compiling Options.Applicative.Arrows ( src/Options/Applicative/Arrows.hs, dist/build/Options/Applicative/Arrows.o, dist/build/Options/Applicative/Arrows.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/optparse-applicative-0.19.0.0-823a74f1e68cb17f12b84de1378c1d30e0d720149ea58c5dffff82fd8500244a/lib
Configuring th-desugar-1.18...
Preprocessing library for th-desugar-1.18..
Building library for th-desugar-1.18..
[ 1 of 15] Compiling Language.Haskell.TH.Desugar.OMap ( Language/Haskell/TH/Desugar/OMap.hs, dist/build/Language/Haskell/TH/Desugar/OMap.o, dist/build/Language/Haskell/TH/Desugar/OMap.dyn_o )
[ 2 of 15] Compiling Language.Haskell.TH.Desugar.OMap.Strict ( Language/Haskell/TH/Desugar/OMap/Strict.hs, dist/build/Language/Haskell/TH/Desugar/OMap/Strict.o, dist/build/Language/Haskell/TH/Desugar/OMap/Strict.dyn_o )
[ 3 of 15] Compiling Language.Haskell.TH.Desugar.OSet ( Language/Haskell/TH/Desugar/OSet.hs, dist/build/Language/Haskell/TH/Desugar/OSet.o, dist/build/Language/Haskell/TH/Desugar/OSet.dyn_o )
[ 4 of 15] Compiling Language.Haskell.TH.Desugar.Util ( Language/Haskell/TH/Desugar/Util.hs, dist/build/Language/Haskell/TH/Desugar/Util.o, dist/build/Language/Haskell/TH/Desugar/Util.dyn_o )
[ 5 of 15] Compiling Language.Haskell.TH.Desugar.Reify ( Language/Haskell/TH/Desugar/Reify.hs, dist/build/Language/Haskell/TH/Desugar/Reify.o, dist/build/Language/Haskell/TH/Desugar/Reify.dyn_o )
[ 6 of 15] Compiling Language.Haskell.TH.Desugar.AST ( Language/Haskell/TH/Desugar/AST.hs, dist/build/Language/Haskell/TH/Desugar/AST.o, dist/build/Language/Haskell/TH/Desugar/AST.dyn_o )
[ 7 of 15] Compiling Language.Haskell.TH.Desugar.Subst ( Language/Haskell/TH/Desugar/Subst.hs, dist/build/Language/Haskell/TH/Desugar/Subst.o, dist/build/Language/Haskell/TH/Desugar/Subst.dyn_o )
[ 8 of 15] Compiling Language.Haskell.TH.Desugar.Subst.Capturing ( Language/Haskell/TH/Desugar/Subst/Capturing.hs, dist/build/Language/Haskell/TH/Desugar/Subst/Capturing.o, dist/build/Language/Haskell/TH/Desugar/Subst/Capturing.dyn_o )
[ 9 of 15] Compiling Language.Haskell.TH.Desugar.FV ( Language/Haskell/TH/Desugar/FV.hs, dist/build/Language/Haskell/TH/Desugar/FV.o, dist/build/Language/Haskell/TH/Desugar/FV.dyn_o )
[10 of 15] Compiling Language.Haskell.TH.Desugar.Core ( Language/Haskell/TH/Desugar/Core.hs, dist/build/Language/Haskell/TH/Desugar/Core.o, dist/build/Language/Haskell/TH/Desugar/Core.dyn_o )
[11 of 15] Compiling Language.Haskell.TH.Desugar.Sweeten ( Language/Haskell/TH/Desugar/Sweeten.hs, dist/build/Language/Haskell/TH/Desugar/Sweeten.o, dist/build/Language/Haskell/TH/Desugar/Sweeten.dyn_o )
[12 of 15] Compiling Language.Haskell.TH.Desugar.Match ( Language/Haskell/TH/Desugar/Match.hs, dist/build/Language/Haskell/TH/Desugar/Match.o, dist/build/Language/Haskell/TH/Desugar/Match.dyn_o )
[13 of 15] Compiling Language.Haskell.TH.Desugar.Expand ( Language/Haskell/TH/Desugar/Expand.hs, dist/build/Language/Haskell/TH/Desugar/Expand.o, dist/build/Language/Haskell/TH/Desugar/Expand.dyn_o )
[14 of 15] Compiling Language.Haskell.TH.Desugar ( Language/Haskell/TH/Desugar.hs, dist/build/Language/Haskell/TH/Desugar.o, dist/build/Language/Haskell/TH/Desugar.dyn_o )
[15 of 15] Compiling Language.Haskell.TH.Desugar.Lift ( Language/Haskell/TH/Desugar/Lift.hs, dist/build/Language/Haskell/TH/Desugar/Lift.o, dist/build/Language/Haskell/TH/Desugar/Lift.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/th-desugar-1.18-7ab6d462dd9b4d359672a34fdbb6604ece91779021ea8f05a8137c4dd7db44a4/lib
Configuring tasty-1.5.3...
Preprocessing library for tasty-1.5.3..
Building library for tasty-1.5.3..
[ 1 of 25] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o )
[ 2 of 25] Compiling Test.Tasty.Options ( Test/Tasty/Options.hs, dist/build/Test/Tasty/Options.o, dist/build/Test/Tasty/Options.dyn_o )
[ 3 of 25] Compiling Test.Tasty.Parallel ( Test/Tasty/Parallel.hs, dist/build/Test/Tasty/Parallel.o, dist/build/Test/Tasty/Parallel.dyn_o )
[ 4 of 25] Compiling Test.Tasty.Patterns.Expr ( Test/Tasty/Patterns/Expr.hs, dist/build/Test/Tasty/Patterns/Expr.o, dist/build/Test/Tasty/Patterns/Expr.dyn_o )
[ 5 of 25] Compiling Test.Tasty.Patterns.Types ( Test/Tasty/Patterns/Types.hs, dist/build/Test/Tasty/Patterns/Types.o, dist/build/Test/Tasty/Patterns/Types.dyn_o )
[ 6 of 25] Compiling Test.Tasty.Patterns.Printer ( Test/Tasty/Patterns/Printer.hs, dist/build/Test/Tasty/Patterns/Printer.o, dist/build/Test/Tasty/Patterns/Printer.dyn_o )
[ 7 of 25] Compiling Test.Tasty.Patterns.Parser ( Test/Tasty/Patterns/Parser.hs, dist/build/Test/Tasty/Patterns/Parser.o, dist/build/Test/Tasty/Patterns/Parser.dyn_o )
[ 8 of 25] Compiling Test.Tasty.Patterns.Eval ( Test/Tasty/Patterns/Eval.hs, dist/build/Test/Tasty/Patterns/Eval.o, dist/build/Test/Tasty/Patterns/Eval.dyn_o )
[ 9 of 25] Compiling Test.Tasty.Patterns ( Test/Tasty/Patterns.hs, dist/build/Test/Tasty/Patterns.o, dist/build/Test/Tasty/Patterns.dyn_o )
[10 of 25] Compiling Test.Tasty.Options.Core ( Test/Tasty/Options/Core.hs, dist/build/Test/Tasty/Options/Core.o, dist/build/Test/Tasty/Options/Core.dyn_o )
[11 of 25] Compiling Test.Tasty.Providers.ConsoleFormat ( Test/Tasty/Providers/ConsoleFormat.hs, dist/build/Test/Tasty/Providers/ConsoleFormat.o, dist/build/Test/Tasty/Providers/ConsoleFormat.dyn_o )
[12 of 25] Compiling Test.Tasty.Core ( Test/Tasty/Core.hs, dist/build/Test/Tasty/Core.o, dist/build/Test/Tasty/Core.dyn_o )
[13 of 25] Compiling Test.Tasty.Providers ( Test/Tasty/Providers.hs, dist/build/Test/Tasty/Providers.o, dist/build/Test/Tasty/Providers.dyn_o )
[14 of 25] Compiling Test.Tasty.Runners.Reducers ( Test/Tasty/Runners/Reducers.hs, dist/build/Test/Tasty/Runners/Reducers.o, dist/build/Test/Tasty/Runners/Reducers.dyn_o )
[15 of 25] Compiling Test.Tasty.Runners.Utils ( Test/Tasty/Runners/Utils.hs, dist/build/Test/Tasty/Runners/Utils.o, dist/build/Test/Tasty/Runners/Utils.dyn_o )
[16 of 25] Compiling Test.Tasty.Run ( Test/Tasty/Run.hs, dist/build/Test/Tasty/Run.o, dist/build/Test/Tasty/Run.dyn_o )
[17 of 25] Compiling Test.Tasty.Ingredients ( Test/Tasty/Ingredients.hs, dist/build/Test/Tasty/Ingredients.o, dist/build/Test/Tasty/Ingredients.dyn_o )
[18 of 25] Compiling Test.Tasty.Options.Env ( Test/Tasty/Options/Env.hs, dist/build/Test/Tasty/Options/Env.o, dist/build/Test/Tasty/Options/Env.dyn_o )
[19 of 25] Compiling Test.Tasty.Ingredients.ListTests ( Test/Tasty/Ingredients/ListTests.hs, dist/build/Test/Tasty/Ingredients/ListTests.o, dist/build/Test/Tasty/Ingredients/ListTests.dyn_o )
[20 of 25] Compiling Test.Tasty.Ingredients.IncludingOptions ( Test/Tasty/Ingredients/IncludingOptions.hs, dist/build/Test/Tasty/Ingredients/IncludingOptions.o, dist/build/Test/Tasty/Ingredients/IncludingOptions.dyn_o )
[21 of 25] Compiling Test.Tasty.Ingredients.ConsoleReporter ( Test/Tasty/Ingredients/ConsoleReporter.hs, dist/build/Test/Tasty/Ingredients/ConsoleReporter.o, dist/build/Test/Tasty/Ingredients/ConsoleReporter.dyn_o )
[22 of 25] Compiling Test.Tasty.Ingredients.Basic ( Test/Tasty/Ingredients/Basic.hs, dist/build/Test/Tasty/Ingredients/Basic.o, dist/build/Test/Tasty/Ingredients/Basic.dyn_o )
[23 of 25] Compiling Test.Tasty.CmdLine ( Test/Tasty/CmdLine.hs, dist/build/Test/Tasty/CmdLine.o, dist/build/Test/Tasty/CmdLine.dyn_o )
[24 of 25] Compiling Test.Tasty.Runners ( Test/Tasty/Runners.hs, dist/build/Test/Tasty/Runners.o, dist/build/Test/Tasty/Runners.dyn_o )
[25 of 25] Compiling Test.Tasty ( Test/Tasty.hs, dist/build/Test/Tasty.o, dist/build/Test/Tasty.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-1.5.3-6d6256628aef3db6d34ac66079203261272f165e678b4329157903de2d40faf6/lib
Configuring equational-reasoning-0.7.1.0...
Preprocessing library for equational-reasoning-0.7.1.0..
Building library for equational-reasoning-0.7.1.0..
[1 of 5] Compiling Proof.Equational ( Proof/Equational.hs, dist/build/Proof/Equational.o, dist/build/Proof/Equational.dyn_o )
[2 of 5] Compiling Proof.Propositional.Empty ( Proof/Propositional/Empty.hs, dist/build/Proof/Propositional/Empty.o, dist/build/Proof/Propositional/Empty.dyn_o )
[3 of 5] Compiling Proof.Propositional.Inhabited ( Proof/Propositional/Inhabited.hs, dist/build/Proof/Propositional/Inhabited.o, dist/build/Proof/Propositional/Inhabited.dyn_o )
[4 of 5] Compiling Proof.Propositional.TH ( Proof/Propositional/TH.hs, dist/build/Proof/Propositional/TH.o, dist/build/Proof/Propositional/TH.dyn_o )
Proof/Propositional/TH.hs:53:7: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe ([Name], Name, [DType]) not matched:
Nothing
|
53 | let Just (_, tyName, args) = splitType tp
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Proof/Propositional/TH.hs:65:11: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type [DType] not matched:
[]
[_]
(_:_:_:_)
|
65 | let [l, r] = args
| ^^^^^^^^^^^^^
Proof/Propositional/TH.hs:100:7: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type Maybe ([Name], Name, [DType]) not matched:
Nothing
|
100 | let Just (_, tyName, args) = splitType tp
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Proof/Propositional/TH.hs:116:13: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type [DType] not matched:
[]
[_]
(_:_:_:_)
|
116 | let [l, r] = args
| ^^^^^^^^^^^^^
[5 of 5] Compiling Proof.Propositional ( Proof/Propositional.hs, dist/build/Proof/Propositional.o, dist/build/Proof/Propositional.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/equational-reasoning-0.7.1.0-47b1483cbc1b851e6084b9b9731dfbda9aac1ef08cbb29acc5e8435ab1e6acdd/lib
Configuring tasty-hunit-0.10.2...
Preprocessing library for tasty-hunit-0.10.2..
Building library for tasty-hunit-0.10.2..
[1 of 3] Compiling Test.Tasty.HUnit.Orig ( Test/Tasty/HUnit/Orig.hs, dist/build/Test/Tasty/HUnit/Orig.o, dist/build/Test/Tasty/HUnit/Orig.dyn_o )
[2 of 3] Compiling Test.Tasty.HUnit.Steps ( Test/Tasty/HUnit/Steps.hs, dist/build/Test/Tasty/HUnit/Steps.o, dist/build/Test/Tasty/HUnit/Steps.dyn_o )
[3 of 3] Compiling Test.Tasty.HUnit ( Test/Tasty/HUnit.hs, dist/build/Test/Tasty/HUnit.o, dist/build/Test/Tasty/HUnit.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-hunit-0.10.2-2d3a9e07773bbd6d7a92338540c11605f7cb1a0fa57d77d402ebb4966b46ef21/lib
Configuring tasty-expected-failure-0.12.3...
Preprocessing library for tasty-expected-failure-0.12.3..
Building library for tasty-expected-failure-0.12.3..
[1 of 1] Compiling Test.Tasty.ExpectedFailure ( Test/Tasty/ExpectedFailure.hs, dist/build/Test/Tasty/ExpectedFailure.o, dist/build/Test/Tasty/ExpectedFailure.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-expected-failure-0.12.3-570c20168c7877ae1986458394191b68b891ead120bbf08031de463ad1212e0e/lib
Configuring tasty-discover-5.0.2...
Preprocessing library for tasty-discover-5.0.2..
Building library for tasty-discover-5.0.2..
[1 of 7] Compiling Paths_tasty_discover ( dist/build/autogen/Paths_tasty_discover.hs, dist/build/Paths_tasty_discover.o, dist/build/Paths_tasty_discover.dyn_o )
[2 of 7] Compiling Test.Tasty.Discover.Internal.Config ( src/Test/Tasty/Discover/Internal/Config.hs, dist/build/Test/Tasty/Discover/Internal/Config.o, dist/build/Test/Tasty/Discover/Internal/Config.dyn_o )
[3 of 7] Compiling Test.Tasty.Discover.Internal.Generator ( src/Test/Tasty/Discover/Internal/Generator.hs, dist/build/Test/Tasty/Discover/Internal/Generator.o, dist/build/Test/Tasty/Discover/Internal/Generator.dyn_o )
src/Test/Tasty/Discover/Internal/Generator.hs:48:5: warning: [GHC-55631] [-Wmissing-deriving-strategies]
No deriving strategy specified. Did you want stock, newtype, or anyclass?
|
48 | } deriving (Generic)
| ^^^^^^^^^^^^^^^^^^
src/Test/Tasty/Discover/Internal/Generator.hs:56:26: warning: [GHC-63394] [-Wx-partial]
In the use of tail
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
56 | name = chooser '_' ' ' . tail . dropWhile (/= '_') . testFunction
| ^^^^
src/Test/Tasty/Discover/Internal/Generator.hs:67:7: warning: [GHC-63394] [-Wx-partial]
In the use of head
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
|
67 | map head .
| ^^^^
[4 of 7] Compiling Test.Tasty.Discover.Internal.Driver ( src/Test/Tasty/Discover/Internal/Driver.hs, dist/build/Test/Tasty/Discover/Internal/Driver.o, dist/build/Test/Tasty/Discover/Internal/Driver.dyn_o )
[5 of 7] Compiling Test.Tasty.Discover.TastyInfo ( src/Test/Tasty/Discover/TastyInfo.hs, dist/build/Test/Tasty/Discover/TastyInfo.o, dist/build/Test/Tasty/Discover/TastyInfo.dyn_o )
[6 of 7] Compiling Test.Tasty.Discover ( src/Test/Tasty/Discover.hs, dist/build/Test/Tasty/Discover.o, dist/build/Test/Tasty/Discover.dyn_o )
[7 of 7] Compiling Test.Tasty.Discover.Version ( src/Test/Tasty/Discover/Version.hs, dist/build/Test/Tasty/Discover/Version.o, dist/build/Test/Tasty/Discover/Version.dyn_o )
Preprocessing executable 'tasty-discover' for tasty-discover-5.0.2..
Building executable 'tasty-discover' for tasty-discover-5.0.2..
[1 of 2] Compiling Main ( app/Main.hs, dist/build/tasty-discover/tasty-discover-tmp/Main.o )
[2 of 2] Compiling Paths_tasty_discover ( dist/build/tasty-discover/autogen/Paths_tasty_discover.hs, dist/build/tasty-discover/tasty-discover-tmp/Paths_tasty_discover.o )
[3 of 3] Linking dist/build/tasty-discover/tasty-discover
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-discover-5.0.2-0b69799c5c2336b11813fed1c65caf41d2acb428d538f9ed2b96f1258c21b56c/lib
Installing executable tasty-discover in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-discover-5.0.2-0b69799c5c2336b11813fed1c65caf41d2acb428d538f9ed2b96f1258c21b56c/bin
Warning: The directory
/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-3517395/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-discover-5.0.2-0b69799c5c2336b11813fed1c65caf41d2acb428d538f9ed2b96f1258c21b56c/bin
is not in the system search path.
Configuring ghc-typelits-presburger-0.7.4.2...
Preprocessing library for ghc-typelits-presburger-0.7.4.2..
Building library for ghc-typelits-presburger-0.7.4.2..
[1 of 6] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/Data/Integer/SAT.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/Data/Integer/SAT.dyn_o )
src/Data/Integer/SAT.hs:48:1: warning: [GHC-38856] [-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.Flags ( src/GHC/TypeLits/Presburger/Flags.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/GHC/TypeLits/Presburger/Flags.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/GHC/TypeLits/Presburger/Flags.dyn_o )
[3 of 6] Compiling GHC.TypeLits.Presburger.Compat ( src/GHC/TypeLits/Presburger/Compat.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/GHC/TypeLits/Presburger/Compat.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/GHC/TypeLits/Presburger/Compat.dyn_o )
src/GHC/TypeLits/Presburger/Compat.hs:18:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.TypeLits.Presburger.Flags is redundant
except perhaps to import instances from GHC.TypeLits.Presburger.Flags
To import instances alone, use: import GHC.TypeLits.Presburger.Flags()
|
18 | import GHC.TypeLits.Presburger.Flags
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:25:1: warning: [GHC-66111] [-Wunused-imports]
The 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()
|
25 | import GHC.Builtin.Names (gHC_TYPENATS)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:27:27: warning: [GHC-38856] [-Wunused-imports]
The import of gHC_TYPENATS
from module GHC.Builtin.Names is redundant
|
27 | import GHC.Builtin.Names (gHC_TYPENATS, gHC_TYPEERROR)
| ^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:42:65: warning: [GHC-38856] [-Wunused-imports]
The import of Role from module GHC.Plugins is redundant
|
42 | import GHC.Plugins as GHC.TypeLits.Presburger.Compat (mkUnivCo, Role(..))
| ^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:84:1: warning: [GHC-66111] [-Wunused-imports]
The 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()
|
84 | import GHC.Builtin.Names (mkBaseModule)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:135:3: warning: [GHC-38856] [-Wunused-imports]
The import of mkTyConTy from module GHC.Plugins is redundant
|
135 | mkTyConTy,
| ^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:171:1: warning: [GHC-66111] [-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()
|
171 | import GHC.Tc.Types as GHC.TypeLits.Presburger.Compat (TcPlugin (..))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Compat.hs:172:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.Tc.Types.Constraint is redundant
except perhaps to import instances from GHC.Tc.Types.Constraint
To import instances alone, use: import GHC.Tc.Types.Constraint()
|
172 | import GHC.Tc.Types.Constraint as GHC.TypeLits.Presburger.Compat (
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/GHC/TypeLits/Presburger/Compat.hs:188:47: warning: [GHC-38856] [-Wunused-imports]
The import of toUnitId from module GHC.Unit.Types is redundant
|
188 | import GHC.Unit.Types (UnitId (..), fsToUnit, toUnitId)
| ^^^^^^^^
[4 of 6] Compiling GHC.TypeLits.Presburger.Types ( src/GHC/TypeLits/Presburger/Types.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/GHC/TypeLits/Presburger/Types.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/GHC/TypeLits/Presburger/Types.dyn_o )
src/GHC/TypeLits/Presburger/Types.hs:41:1: warning: [GHC-66111] [-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: [GHC-66111] [-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: [GHC-38856] [-Wunused-imports]
The import of listToMaybe from module Data.Maybe is redundant
|
55 | listToMaybe,
| ^^^^^^^^^^^
src/GHC/TypeLits/Presburger/Types.hs:62:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.TypeLits.Presburger.Flags is redundant
except perhaps to import instances from GHC.TypeLits.Presburger.Flags
To import instances alone, use: import GHC.TypeLits.Presburger.Flags()
|
62 | import GHC.TypeLits.Presburger.Flags
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[5 of 6] Compiling GHC.TypeLits.Presburger ( src/GHC/TypeLits/Presburger.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/GHC/TypeLits/Presburger.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/GHC/TypeLits/Presburger.dyn_o )
[6 of 6] Compiling Paths_ghc_typelits_presburger ( /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/autogen/Paths_ghc_typelits_presburger.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/Paths_ghc_typelits_presburger.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/Paths_ghc_typelits_presburger.dyn_o )
Preprocessing test suite 'test-typeltis-presburger' for ghc-typelits-presburger-0.7.4.2..
Building test suite 'test-typeltis-presburger' for ghc-typelits-presburger-0.7.4.2..
<no location info>: warning: [GHC-42258] [-Wunused-packages]
The following packages were specified via -package or -package-id flags,
but were not needed for compilation:
- equational-reasoning-0.7.1.0 (exposed by flag -package-id equational-reasoning-0.7.1.0-47b1483cbc1b851e6084b9b9731dfbda9aac1ef08cbb29acc5e8435ab1e6acdd)
- tasty-discover-5.0.2 (exposed by flag -package-id tasty-discover-5.0.2-0b69799c5c2336b11813fed1c65caf41d2acb428d538f9ed2b96f1258c21b56c)
- tasty-expected-failure-0.12.3 (exposed by flag -package-id tasty-expected-failure-0.12.3-570c20168c7877ae1986458394191b68b891ead120bbf08031de463ad1212e0e)
[1 of 6] Compiling Paths_ghc_typelits_presburger ( /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/test-typeltis-presburger/autogen/Paths_ghc_typelits_presburger.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/Paths_ghc_typelits_presburger.o )
[2 of 6] Compiling Shared ( test/Shared.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/Shared.o )
[3 of 6] Compiling ErrorsWithPlugin ( test/ErrorsWithPlugin.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/ErrorsWithPlugin.o )
test/ErrorsWithPlugin.hs:1:1: warning: [GHC-85401] [-Wmissing-export-lists]
The export item module ErrorsWithPlugin is missing an export list
|
1 | {-# LANGUAGE DataKinds #-}
| ^
test/ErrorsWithPlugin.hs:11:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for zipMVec:
Patterns of type Vec n a, Vec n b not matched:
Nil (_ :- _)
(_ :- _) Nil
|
11 | zipMVec Nil Nil = Nil
| ^^^^^^^^^^^^^^^^^^^^^...
test/ErrorsWithPlugin.hs:12:18: warning: [GHC-40910] [-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: [GHC-25897] [-Wdeferred-type-errors]
" Could not deduce n1 ~ n
arising from reasoning about an injective type family using constraints:
(n GHC.TypeNats.+ 1) ~ n
arising from a type equality
Vec (n GHC.TypeNats.+ 1) (a, b)
~
Vec n (a, b) at test/ErrorsWithPlugin.hs:12:34-56
(n1 GHC.TypeNats.+ 1) ~ n
arising from 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
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
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 zipMVec
at test/ErrorsWithPlugin.hs:12:13-19
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
as :: Vec n1 a (bound at test/ErrorsWithPlugin.hs:12:18)
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:34: warning: [GHC-25897] [-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:19:31: warning: [GHC-25897] [-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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/ErrorsNoPlugin.o )
test/ErrorsNoPlugin.hs:1:1: warning: [GHC-85401] [-Wmissing-export-lists]
The export item module ErrorsNoPlugin is missing an export list
|
1 | {-# LANGUAGE DataKinds #-}
| ^
test/ErrorsNoPlugin.hs:10:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for zipMVec:
Patterns of type Vec n a, Vec n b not matched:
Nil (_ :- _)
(_ :- _) Nil
|
10 | zipMVec Nil Nil = Nil
| ^^^^^^^^^^^^^^^^^^^^^...
test/ErrorsNoPlugin.hs:11:18: warning: [GHC-40910] [-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: [GHC-25897] [-Wdeferred-type-errors]
" Could not deduce n1 ~ n
arising from reasoning about an injective type family using constraints:
(n GHC.TypeNats.+ 1) ~ n
arising from a type equality
Vec (n GHC.TypeNats.+ 1) (a, b)
~
Vec n (a, b) at test/ErrorsNoPlugin.hs:11:34-56
(n1 GHC.TypeNats.+ 1) ~ n
arising from 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
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
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 zipMVec
at test/ErrorsNoPlugin.hs:11:13-19
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
as :: Vec n1 a (bound at test/ErrorsNoPlugin.hs:11:18)
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:34: warning: [GHC-25897] [-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:18:31: warning: [GHC-25897] [-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, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/GHC/TypeLits/PresburgerSpec.o )
test/GHC/TypeLits/PresburgerSpec.hs:1:1: warning: [GHC-85401] [-Wmissing-export-lists]
The export item module GHC.TypeLits.PresburgerSpec is missing an export list
|
1 | {-# LANGUAGE OverloadedStrings #-}
| ^
[6 of 6] Compiling Main ( test/test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/build/test-typeltis-presburger/test-typeltis-presburger-tmp/Main.o )
<no location info>: warning: [GHC-42258] [-Wunused-packages]
The following packages were specified via -package or -package-id flags,
but were not needed for compilation:
- equational-reasoning-0.7.1.0 (exposed by flag -package-id equational-reasoning-0.7.1.0-47b1483cbc1b851e6084b9b9731dfbda9aac1ef08cbb29acc5e8435ab1e6acdd)
- tasty-discover-5.0.2 (exposed by flag -package-id tasty-discover-5.0.2-0b69799c5c2336b11813fed1c65caf41d2acb428d538f9ed2b96f1258c21b56c)
- tasty-expected-failure-0.12.3 (exposed by flag -package-id tasty-expected-failure-0.12.3-570c20168c7877ae1986458394191b68b891ead120bbf08031de463ad1212e0e)
[7 of 7] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/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:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/ghc-typelits-presburger-0.7.4.2.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
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/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
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-presburger-0.7.4.2/noopt/hpc/vanilla/html/ghc-typelits-presburger-0.7.4.2/hpc_index.html