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) - ghc-tcplugins-extra-0.5 (lib:ghc-tcplugins-extra) (requires build) - prettyprinter-1.7.1 (lib:prettyprinter) (requires build) - tagged-0.8.9 (lib:tagged) (requires build) - ansi-terminal-types-1.1.3 (lib:ansi-terminal-types) (requires build) - ansi-terminal-1.1.3 (lib:ansi-terminal) (requires build) - prettyprinter-ansi-terminal-1.1.3 (lib:prettyprinter-ansi-terminal) (requires build) - optparse-applicative-0.19.0.0 (lib:optparse-applicative) (requires build) - tasty-1.5.3 (lib:tasty) (requires build) - tasty-hunit-0.10.2 (lib:tasty-hunit) (requires build) - ghc-typelits-natnormalise-0.7.12 (first run) Configuring call-stack-0.4.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-3647327/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/colour-2.3.6-1bc3273789052b388bc71f53ac10a073cc4a30f03a6584dc6f830ef26e23fa37/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ghc-tcplugins-extra-0.5-310b5d62e192abf22f4e880316382b2c7eed98a748b23ca585317d555342ce16/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-1.7.1-698f6d27ba9dc4afb698ee24b5b7298b328c15147c4c3170a4fd72165e2b9672/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tagged-0.8.9-7bf04732d97f4bf5340c0e45b3bc6b1c39f9910c71a0e6a1205150fdfbcfdf08/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-types-1.1.3-c12c865b524456654e5c4f96ba48bd4de2b3c32e05f6a73c62f9e7fb6779ef8a/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-1.1.3-14b2658f53d58bdc6b1e220208a01ef343967e3559df1bab546e449015575dfa/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/prettyprinter-ansi-terminal-1.1.3-01540a51e8a8aa8c5a6b1ac67f23916984b5a09c8a144aa6d471451eafceaef3/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/optparse-applicative-0.19.0.0-823a74f1e68cb17f12b84de1378c1d30e0d720149ea58c5dffff82fd8500244a/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-1.5.3-6d6256628aef3db6d34ac66079203261272f165e678b4329157903de2d40faf6/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-3647327/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/tasty-hunit-0.10.2-2d3a9e07773bbd6d7a92338540c11605f7cb1a0fa57d77d402ebb4966b46ef21/lib Configuring ghc-typelits-natnormalise-0.7.12... Preprocessing library for ghc-typelits-natnormalise-0.7.12.. Building library for ghc-typelits-natnormalise-0.7.12.. [1 of 3] Compiling GHC.TypeLits.Normalise.SOP ( src/GHC/TypeLits/Normalise/SOP.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/GHC/TypeLits/Normalise/SOP.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/GHC/TypeLits/Normalise/SOP.dyn_o ) [2 of 3] Compiling GHC.TypeLits.Normalise.Unify ( src/GHC/TypeLits/Normalise/Unify.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/GHC/TypeLits/Normalise/Unify.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/GHC/TypeLits/Normalise/Unify.dyn_o ) [3 of 3] Compiling GHC.TypeLits.Normalise ( src-ghc-9.4/GHC/TypeLits/Normalise.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/GHC/TypeLits/Normalise.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/GHC/TypeLits/Normalise.dyn_o ) Preprocessing test suite 'unit-tests' for ghc-typelits-natnormalise-0.7.12.. Building test suite 'unit-tests' for ghc-typelits-natnormalise-0.7.12.. [1 of 2] Compiling ErrorTests ( tests/ErrorTests.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/unit-tests/unit-tests-tmp/ErrorTests.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/unit-tests/unit-tests-tmp/ErrorTests.dyn_o ) tests/ErrorTests.hs:36:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type: x + 1 with: 2 + x Expected: Proxy (x + 1) -> Proxy (2 + x) Actual: Proxy (x + 1) -> Proxy (x + 1) NB: + is a non-injective type family " In the expression: id In an equation for testProxy1: testProxy1 = id " Relevant bindings include testProxy1 :: Proxy (x + 1) -> Proxy (2 + x) (bound at tests/ErrorTests.hs:36:1) | 36 | testProxy1 = id | ^^ tests/ErrorTests.hs:54:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type: 2 + x with: x + 3 Expected: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 9 6) Actual: Proxy (2 + x) -> Proxy (2 + x) NB: + is a non-injective type family " In the expression: id In an equation for testProxy2: testProxy2 = id " Relevant bindings include testProxy2 :: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 9 6) (bound at tests/ErrorTests.hs:54:1) | 54 | testProxy2 = id | ^^ tests/ErrorTests.hs:71:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type (x0 + x0) + x0 with 8 Expected: Proxy 8 -> () Actual: Proxy ((x0 + x0) + x0) -> () The type variable x0 is ambiguous " In the expression: proxyFun3 In an equation for testProxy3: testProxy3 = proxyFun3 | 71 | testProxy3 = proxyFun3 | ^^^^^^^^^ tests/ErrorTests.hs:88:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type (2 * y0) + 4 with 2 Expected: Proxy 2 -> () Actual: Proxy ((2 * y0) + 4) -> () The type variable y0 is ambiguous " In the expression: proxyFun4 In an equation for testProxy4: testProxy4 = proxyFun4 | 88 | testProxy4 = proxyFun4 | ^^^^^^^^^ tests/ErrorTests.hs:102:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type 2 * y1 with 3 Expected: Proxy 7 -> () Actual: Proxy ((2 * y1) + 4) -> () The type variable y1 is ambiguous " In the expression: proxyFun4 In an equation for testProxy5: testProxy5 = proxyFun4 | 102 | testProxy5 = proxyFun4 | ^^^^^^^^^ tests/ErrorTests.hs:119:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type 2 ^ k0 with 7 Expected: Proxy 7 Actual: Proxy (2 ^ k0) The type variable k0 is ambiguous " In the expression: proxyFun6 (Proxy :: Proxy 7) In an equation for testProxy6: testProxy6 = proxyFun6 (Proxy :: Proxy 7) | 119 | testProxy6 = proxyFun6 (Proxy :: Proxy 7) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/ErrorTests.hs:140:14: warning: [GHC-25897] [-Wdeferred-type-errors] " Couldn't match type x with y + x Expected: Proxy x -> Proxy (y + x) Actual: Proxy x -> Proxy x x is a rigid type variable bound by the type signature for: testProxy8 :: forall (x :: Natural) (y :: Natural). Proxy x -> Proxy (y + x) at tests/ErrorTests.hs:139:1-38 " In the expression: id In an equation for testProxy8: testProxy8 = id " Relevant bindings include testProxy8 :: Proxy x -> Proxy (y + x) (bound at tests/ErrorTests.hs:140:1) | 140 | testProxy8 = id | ^^ tests/ErrorTests.hs:164:14: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: a + 1 <= a " In the expression: proxyInEq In an equation for testProxy9: testProxy9 = proxyInEq | 164 | testProxy9 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:195:15: warning: [GHC-18872] [-Wdeferred-type-errors] " Couldn't match type Data.Type.Ord.OrdCond (CmpNat a (a + 2)) True True False with False arising from a use of proxyInEq' " In the expression: proxyInEq' In an equation for testProxy10: testProxy10 = proxyInEq' " Relevant bindings include testProxy10 :: Proxy a -> Proxy (a + 2) -> () (bound at tests/ErrorTests.hs:195:1) | 195 | testProxy10 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:258:15: warning: [GHC-18872] [-Wdeferred-type-errors] " Couldn't match type True with False arising from a use of proxyInEq' " In the expression: proxyInEq' In an equation for testProxy11: testProxy11 = proxyInEq' | 258 | testProxy11 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:275:16: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type: a0 + b0 with: a + b Expected: Proxy (a + b) -> Proxy (a + c) -> () Actual: Proxy (a0 + b0) -> Proxy (a0 + c0) -> () NB: + is a non-injective type family The type variables a0, b0 are ambiguous " In the ambiguity check for testProxy12 To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature: testProxy12 :: Proxy (a + b) -> Proxy (a + c) -> () | 275 | testProxy12 :: Proxy (a + b) -> Proxy (a + c) -> () | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/ErrorTests.hs:276:15: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: a + b <= a + c " In the expression: proxyInEq In an equation for testProxy12: testProxy12 = proxyInEq | 276 | testProxy12 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:307:15: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 4 * a <= 2 * a " In the expression: proxyInEq In an equation for testProxy13: testProxy13 = proxyInEq | 307 | testProxy13 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:338:15: warning: [GHC-18872] [-Wdeferred-type-errors] " Couldn't match type Data.Type.Ord.OrdCond (CmpNat (2 * a) (4 * a)) True True False with False arising from a use of proxyInEq' " In the expression: proxyInEq' In an equation for testProxy14: testProxy14 = proxyInEq' " Relevant bindings include testProxy14 :: Proxy (2 * a) -> Proxy (4 * a) -> () (bound at tests/ErrorTests.hs:338:1) | 338 | testProxy14 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:404:15: warning: [GHC-25897] [-Wdeferred-type-errors] " Could not deduce (n + d) ~ n from the context: (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ True) bound by the type signature for: testProxy15 :: forall (n :: Natural) (d :: Natural). (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ True) => Proxy n -> Proxy (n + d) at tests/ErrorTests.hs:403:1-79 Expected: Proxy n -> Proxy (n + d) Actual: Proxy n -> Proxy n n is a rigid type variable bound by the type signature for: testProxy15 :: forall (n :: Natural) (d :: Natural). (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ True) => Proxy n -> Proxy (n + d) at tests/ErrorTests.hs:403:1-79 " In the expression: id In an equation for testProxy15: testProxy15 = id " Relevant bindings include testProxy15 :: Proxy n -> Proxy (n + d) (bound at tests/ErrorTests.hs:404:1) | 404 | testProxy15 = id | ^^ tests/ErrorTests.hs:423:8: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 1 <= n " In the expression: FZ In a case alternative: 0 -> FZ In the expression: case n of 0 -> FZ x -> FS (test16 @(n - 1) (x - 1)) | 423 | 0 -> FZ | ^^ tests/ErrorTests.hs:460:16: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 1 <= n " In the first argument of const, namely show In the expression: const show In an equation for test17: test17 = const show | 460 | test17 = const show | ^^^^ tests/ErrorTests.hs:480:19: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 1 <= rp - m " In the expression: test19f In an equation for testProxy19: testProxy19 _ _ = test19f | 480 | testProxy19 _ _ = test19f | ^^^^^^^ tests/ErrorTests.hs:495:15: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 1 <= m ^ 2 " In the expression: proxyInEq In an equation for testProxy20: testProxy20 = proxyInEq | 495 | testProxy20 = proxyInEq | ^^^^^^^^^ [2 of 2] Compiling Main ( tests/Tests.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/unit-tests/unit-tests-tmp/Main.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/unit-tests/unit-tests-tmp/Main.dyn_o ) [1 of 3] Compiling ErrorTests ( tests/ErrorTests.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/unit-tests/unit-tests-tmp/ErrorTests.o ) [HPC flags changed] tests/ErrorTests.hs:36:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type: x + 1 with: 2 + x Expected: Proxy (x + 1) -> Proxy (2 + x) Actual: Proxy (x + 1) -> Proxy (x + 1) NB: + is a non-injective type family " In the expression: id In an equation for testProxy1: testProxy1 = id " Relevant bindings include testProxy1 :: Proxy (x + 1) -> Proxy (2 + x) (bound at tests/ErrorTests.hs:36:1) | 36 | testProxy1 = id | ^^ tests/ErrorTests.hs:54:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type: 2 + x with: x + 3 Expected: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 9 6) Actual: Proxy (2 + x) -> Proxy (2 + x) NB: + is a non-injective type family " In the expression: id In an equation for testProxy2: testProxy2 = id " Relevant bindings include testProxy2 :: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 9 6) (bound at tests/ErrorTests.hs:54:1) | 54 | testProxy2 = id | ^^ tests/ErrorTests.hs:71:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type (x0 + x0) + x0 with 8 Expected: Proxy 8 -> () Actual: Proxy ((x0 + x0) + x0) -> () The type variable x0 is ambiguous " In the expression: proxyFun3 In an equation for testProxy3: testProxy3 = proxyFun3 | 71 | testProxy3 = proxyFun3 | ^^^^^^^^^ tests/ErrorTests.hs:88:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type (2 * y0) + 4 with 2 Expected: Proxy 2 -> () Actual: Proxy ((2 * y0) + 4) -> () The type variable y0 is ambiguous " In the expression: proxyFun4 In an equation for testProxy4: testProxy4 = proxyFun4 | 88 | testProxy4 = proxyFun4 | ^^^^^^^^^ tests/ErrorTests.hs:102:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type 2 * y1 with 3 Expected: Proxy 7 -> () Actual: Proxy ((2 * y1) + 4) -> () The type variable y1 is ambiguous " In the expression: proxyFun4 In an equation for testProxy5: testProxy5 = proxyFun4 | 102 | testProxy5 = proxyFun4 | ^^^^^^^^^ tests/ErrorTests.hs:119:14: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type 2 ^ k0 with 7 Expected: Proxy 7 Actual: Proxy (2 ^ k0) The type variable k0 is ambiguous " In the expression: proxyFun6 (Proxy :: Proxy 7) In an equation for testProxy6: testProxy6 = proxyFun6 (Proxy :: Proxy 7) | 119 | testProxy6 = proxyFun6 (Proxy :: Proxy 7) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/ErrorTests.hs:140:14: warning: [GHC-25897] [-Wdeferred-type-errors] " Couldn't match type x with y + x Expected: Proxy x -> Proxy (y + x) Actual: Proxy x -> Proxy x x is a rigid type variable bound by the type signature for: testProxy8 :: forall (x :: Natural) (y :: Natural). Proxy x -> Proxy (y + x) at tests/ErrorTests.hs:139:1-38 " In the expression: id In an equation for testProxy8: testProxy8 = id " Relevant bindings include testProxy8 :: Proxy x -> Proxy (y + x) (bound at tests/ErrorTests.hs:140:1) | 140 | testProxy8 = id | ^^ tests/ErrorTests.hs:164:14: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: a + 1 <= a " In the expression: proxyInEq In an equation for testProxy9: testProxy9 = proxyInEq | 164 | testProxy9 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:195:15: warning: [GHC-18872] [-Wdeferred-type-errors] " Couldn't match type Data.Type.Ord.OrdCond (CmpNat a (a + 2)) True True False with False arising from a use of proxyInEq' " In the expression: proxyInEq' In an equation for testProxy10: testProxy10 = proxyInEq' " Relevant bindings include testProxy10 :: Proxy a -> Proxy (a + 2) -> () (bound at tests/ErrorTests.hs:195:1) | 195 | testProxy10 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:258:15: warning: [GHC-18872] [-Wdeferred-type-errors] " Couldn't match type True with False arising from a use of proxyInEq' " In the expression: proxyInEq' In an equation for testProxy11: testProxy11 = proxyInEq' | 258 | testProxy11 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:275:16: warning: [GHC-83865] [-Wdeferred-type-errors] " Couldn't match type: a0 + b0 with: a + b Expected: Proxy (a + b) -> Proxy (a + c) -> () Actual: Proxy (a0 + b0) -> Proxy (a0 + c0) -> () NB: + is a non-injective type family The type variables a0, b0 are ambiguous " In the ambiguity check for testProxy12 To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature: testProxy12 :: Proxy (a + b) -> Proxy (a + c) -> () | 275 | testProxy12 :: Proxy (a + b) -> Proxy (a + c) -> () | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/ErrorTests.hs:276:15: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: a + b <= a + c " In the expression: proxyInEq In an equation for testProxy12: testProxy12 = proxyInEq | 276 | testProxy12 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:307:15: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 4 * a <= 2 * a " In the expression: proxyInEq In an equation for testProxy13: testProxy13 = proxyInEq | 307 | testProxy13 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:338:15: warning: [GHC-18872] [-Wdeferred-type-errors] " Couldn't match type Data.Type.Ord.OrdCond (CmpNat (2 * a) (4 * a)) True True False with False arising from a use of proxyInEq' " In the expression: proxyInEq' In an equation for testProxy14: testProxy14 = proxyInEq' " Relevant bindings include testProxy14 :: Proxy (2 * a) -> Proxy (4 * a) -> () (bound at tests/ErrorTests.hs:338:1) | 338 | testProxy14 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:404:15: warning: [GHC-25897] [-Wdeferred-type-errors] " Could not deduce (n + d) ~ n from the context: (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ True) bound by the type signature for: testProxy15 :: forall (n :: Natural) (d :: Natural). (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ True) => Proxy n -> Proxy (n + d) at tests/ErrorTests.hs:403:1-79 Expected: Proxy n -> Proxy (n + d) Actual: Proxy n -> Proxy n n is a rigid type variable bound by the type signature for: testProxy15 :: forall (n :: Natural) (d :: Natural). (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ True) => Proxy n -> Proxy (n + d) at tests/ErrorTests.hs:403:1-79 " In the expression: id In an equation for testProxy15: testProxy15 = id " Relevant bindings include testProxy15 :: Proxy n -> Proxy (n + d) (bound at tests/ErrorTests.hs:404:1) | 404 | testProxy15 = id | ^^ tests/ErrorTests.hs:423:8: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 1 <= n " In the expression: FZ In a case alternative: 0 -> FZ In the expression: case n of 0 -> FZ x -> FS (test16 @(n - 1) (x - 1)) | 423 | 0 -> FZ | ^^ tests/ErrorTests.hs:460:16: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 1 <= n " In the first argument of const, namely show In the expression: const show In an equation for test17: test17 = const show | 460 | test17 = const show | ^^^^ tests/ErrorTests.hs:480:19: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 1 <= rp - m " In the expression: test19f In an equation for testProxy19: testProxy19 _ _ = test19f | 480 | testProxy19 _ _ = test19f | ^^^^^^^ tests/ErrorTests.hs:495:15: warning: [GHC-64725] [-Wdeferred-type-errors] " Cannot satisfy: 1 <= m ^ 2 " In the expression: proxyInEq In an equation for testProxy20: testProxy20 = proxyInEq | 495 | testProxy20 = proxyInEq | ^^^^^^^^^ [2 of 3] Compiling Main ( tests/Tests.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/unit-tests/unit-tests-tmp/Main.o ) [HPC flags changed] [3 of 3] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/ghc-typelits-natnormalise-0.7.12/noopt/build/unit-tests/unit-tests Running 1 test suites... Test suite unit-tests: RUNNING... Test suite unit-tests: PASS Test suite logged to: /var/lib/hackage-doc-builder/build-cache/tmp-install/reports/ghc-typelits-natnormalise-0.7.12.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-natnormalise-0.7.12/noopt/hpc/vanilla/html/unit-tests/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-natnormalise-0.7.12/noopt/hpc/vanilla/html/ghc-typelits-natnormalise-0.7.12/hpc_index.html