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