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-paths-0.1.0.12 (lib:ghc-paths) (requires build) - haskell-lexer-1.2.1 (lib:haskell-lexer) (requires build) - hsc2hs-0.68.10 (exe:hsc2hs) (requires build) - hspec-discover-2.11.16 (lib:hspec-discover) (requires build) - splitmix-0.1.3.1 (lib:splitmix) (requires build) - syb-0.7.3 (lib:syb) (requires build) - HUnit-1.6.2.0 (lib:HUnit) (requires build) - ansi-terminal-types-1.1.3 (lib:ansi-terminal-types) (requires build) - code-page-0.2.1 (lib:code-page) (requires build) - random-1.3.1 (lib:random) (requires build) - hspec-expectations-0.8.4 (lib:hspec-expectations) (requires build) - ansi-terminal-1.1.4 (lib:ansi-terminal) (requires build) - temporary-1.3 (lib:temporary) (requires build) - QuickCheck-2.17.1.0 (lib:QuickCheck) (requires build) - doctest-0.24.2 (lib:doctest) (requires build) - quickcheck-io-0.2.0 (lib:quickcheck-io) (requires build) - hspec-core-2.11.16 (lib:hspec-core) (requires build) - hspec-2.11.16 (lib:hspec) (requires build) - th-cas-0.2.0 (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-2097788/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-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/colour-2.3.6-1bc3273789052b388bc71f53ac10a073cc4a30f03a6584dc6f830ef26e23fa37/lib [1 of 2] Compiling Main ( /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/tmp/src-2097788/ghc-paths-0.1.0.12/dist/setup/setup.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/tmp/src-2097788/ghc-paths-0.1.0.12/dist/setup/Main.o ) [2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/tmp/src-2097788/ghc-paths-0.1.0.12/dist/setup/setup Configuring ghc-paths-0.1.0.12... Preprocessing library for ghc-paths-0.1.0.12.. Building library for ghc-paths-0.1.0.12.. [1 of 1] Compiling GHC.Paths ( GHC/Paths.hs, dist/build/GHC/Paths.o, dist/build/GHC/Paths.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ghc-paths-0.1.0.12-752baea774d5a9355b94345c7a0a744cc9812598aa286234fb651daeff14fda1/lib Configuring haskell-lexer-1.2.1... Preprocessing library for haskell-lexer-1.2.1.. Building library for haskell-lexer-1.2.1.. [1 of 6] Compiling Language.Haskell.Lexer.Position ( Language/Haskell/Lexer/Position.hs, dist/build/Language/Haskell/Lexer/Position.o, dist/build/Language/Haskell/Lexer/Position.dyn_o ) [2 of 6] Compiling Language.Haskell.Lexer.Tokens ( Language/Haskell/Lexer/Tokens.hs, dist/build/Language/Haskell/Lexer/Tokens.o, dist/build/Language/Haskell/Lexer/Tokens.dyn_o ) [3 of 6] Compiling Language.Haskell.Lexer.Layout ( Language/Haskell/Lexer/Layout.hs, dist/build/Language/Haskell/Lexer/Layout.o, dist/build/Language/Haskell/Lexer/Layout.dyn_o ) [4 of 6] Compiling Language.Haskell.Lexer.Utils ( Language/Haskell/Lexer/Utils.hs, dist/build/Language/Haskell/Lexer/Utils.o, dist/build/Language/Haskell/Lexer/Utils.dyn_o ) [5 of 6] Compiling Language.Haskell.Lexer.Lex ( Language/Haskell/Lexer/Lex.hs, dist/build/Language/Haskell/Lexer/Lex.o, dist/build/Language/Haskell/Lexer/Lex.dyn_o ) [6 of 6] Compiling Language.Haskell.Lexer ( Language/Haskell/Lexer.hs, dist/build/Language/Haskell/Lexer.o, dist/build/Language/Haskell/Lexer.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/haskell-lexer-1.2.1-07ce2b6f833f94cf09fbdacdf7fa3295ac26750496ef3ee4e7fedfde0a802017/lib Configuring hsc2hs-0.68.10... Preprocessing executable 'hsc2hs' for hsc2hs-0.68.10.. Building executable 'hsc2hs' for hsc2hs-0.68.10.. [ 1 of 12] Compiling ATTParser ( src/ATTParser.hs, dist/build/hsc2hs/hsc2hs-tmp/ATTParser.o ) [ 2 of 12] Compiling Compat.ResponseFile ( src/Compat/ResponseFile.hs, dist/build/hsc2hs/hsc2hs-tmp/Compat/ResponseFile.o ) [ 3 of 12] Compiling Compat.TempFile ( src/Compat/TempFile.hs, dist/build/hsc2hs/hsc2hs-tmp/Compat/TempFile.o ) [ 4 of 12] Compiling Common ( src/Common.hs, dist/build/hsc2hs/hsc2hs-tmp/Common.o ) [ 5 of 12] Compiling Flags ( src/Flags.hs, dist/build/hsc2hs/hsc2hs-tmp/Flags.o ) [ 6 of 12] Compiling HSCParser ( src/HSCParser.hs, dist/build/hsc2hs/hsc2hs-tmp/HSCParser.o ) [ 7 of 12] Compiling C ( src/C.hs, dist/build/hsc2hs/hsc2hs-tmp/C.o ) [ 8 of 12] Compiling CrossCodegen ( src/CrossCodegen.hs, dist/build/hsc2hs/hsc2hs-tmp/CrossCodegen.o ) [ 9 of 12] Compiling Paths_hsc2hs ( dist/build/hsc2hs/autogen/Paths_hsc2hs.hs, dist/build/hsc2hs/hsc2hs-tmp/Paths_hsc2hs.o ) [10 of 12] Compiling UtilsCodegen ( src/UtilsCodegen.hs, dist/build/hsc2hs/hsc2hs-tmp/UtilsCodegen.o ) [11 of 12] Compiling DirectCodegen ( src/DirectCodegen.hs, dist/build/hsc2hs/hsc2hs-tmp/DirectCodegen.o ) [12 of 12] Compiling Main ( src/Main.hs, dist/build/hsc2hs/hsc2hs-tmp/Main.o ) [13 of 13] Linking dist/build/hsc2hs/hsc2hs Installing executable hsc2hs in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hsc2hs-0.68.10-e789c287b7adf7ead2fa569692031ba633cdb2fbee6ed05ce142d2c969dd649a/bin Warning: The directory /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hsc2hs-0.68.10-e789c287b7adf7ead2fa569692031ba633cdb2fbee6ed05ce142d2c969dd649a/bin is not in the system search path. Configuring hspec-discover-2.11.16... Preprocessing library for hspec-discover-2.11.16.. Building library for hspec-discover-2.11.16.. [1 of 4] Compiling Paths_hspec_discover ( dist/build/autogen/Paths_hspec_discover.hs, dist/build/Paths_hspec_discover.o, dist/build/Paths_hspec_discover.dyn_o ) [2 of 4] Compiling Test.Hspec.Discover.Config ( src/Test/Hspec/Discover/Config.hs, dist/build/Test/Hspec/Discover/Config.o, dist/build/Test/Hspec/Discover/Config.dyn_o ) [3 of 4] Compiling Test.Hspec.Discover.Sort ( src/Test/Hspec/Discover/Sort.hs, dist/build/Test/Hspec/Discover/Sort.o, dist/build/Test/Hspec/Discover/Sort.dyn_o ) [4 of 4] Compiling Test.Hspec.Discover.Run ( src/Test/Hspec/Discover/Run.hs, dist/build/Test/Hspec/Discover/Run.o, dist/build/Test/Hspec/Discover/Run.dyn_o ) Preprocessing executable 'hspec-discover' for hspec-discover-2.11.16.. Building executable 'hspec-discover' for hspec-discover-2.11.16.. [1 of 2] Compiling Main ( driver/hspec-discover.hs, dist/build/hspec-discover/hspec-discover-tmp/Main.o ) [2 of 2] Compiling Paths_hspec_discover ( dist/build/hspec-discover/autogen/Paths_hspec_discover.hs, dist/build/hspec-discover/hspec-discover-tmp/Paths_hspec_discover.o ) [3 of 3] Linking dist/build/hspec-discover/hspec-discover Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-discover-2.11.16-b7310e5dc5a76ec92b37dd191c08eda2d9c14b5bac02cfcd4ec16220435b21fa/lib Installing executable hspec-discover in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-discover-2.11.16-b7310e5dc5a76ec92b37dd191c08eda2d9c14b5bac02cfcd4ec16220435b21fa/bin Warning: The directory /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-discover-2.11.16-b7310e5dc5a76ec92b37dd191c08eda2d9c14b5bac02cfcd4ec16220435b21fa/bin is not in the system search path. Configuring splitmix-0.1.3.1... Preprocessing library for splitmix-0.1.3.1.. Building library for splitmix-0.1.3.1.. [1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o, dist/build/Data/Bits/Compat.dyn_o ) [2 of 4] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o ) [3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o ) [4 of 4] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/splitmix-0.1.3.1-288b12a0a41106e148ec05076951fd3c1649588ba20ba3678f267f4c1aba182b/lib Configuring syb-0.7.3... Preprocessing library for syb-0.7.3.. Building library for syb-0.7.3.. [ 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 ) [ 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-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/syb-0.7.3-91569291a6b6655ddb7860d21c8ae004348ada5c1942b294a18fcfc00df0ed3e/lib Configuring HUnit-1.6.2.0... Preprocessing library for HUnit-1.6.2.0.. Building library for HUnit-1.6.2.0.. [1 of 6] Compiling Paths_HUnit ( dist/build/autogen/Paths_HUnit.hs, dist/build/Paths_HUnit.o, dist/build/Paths_HUnit.dyn_o ) [2 of 6] Compiling Test.HUnit.Lang ( src/Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o, dist/build/Test/HUnit/Lang.dyn_o ) [3 of 6] Compiling Test.HUnit.Base ( src/Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o, dist/build/Test/HUnit/Base.dyn_o ) [4 of 6] Compiling Test.HUnit.Terminal ( src/Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o, dist/build/Test/HUnit/Terminal.dyn_o ) src/Test/HUnit/Terminal.hs:41:41: 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." | 41 | | otherwise = ta f (c:bs) (tail as) cs | ^^^^ [5 of 6] Compiling Test.HUnit.Text ( src/Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o, dist/build/Test/HUnit/Text.dyn_o ) [6 of 6] Compiling Test.HUnit ( src/Test/HUnit.hs, dist/build/Test/HUnit.o, dist/build/Test/HUnit.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/HUnit-1.6.2.0-aa8518921a665b3ce3b9f7f0c7a8a7fa42d03d10681bd5ecec8be730444183ec/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-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-types-1.1.3-c12c865b524456654e5c4f96ba48bd4de2b3c32e05f6a73c62f9e7fb6779ef8a/lib Configuring code-page-0.2.1... Preprocessing library for code-page-0.2.1.. Building library for code-page-0.2.1.. [1 of 3] Compiling System.IO.CodePage.Internal ( src/System/IO/CodePage/Internal.hs, dist/build/System/IO/CodePage/Internal.o, dist/build/System/IO/CodePage/Internal.dyn_o ) [2 of 3] Compiling System.IO.CodePage ( src/System/IO/CodePage.hs, dist/build/System/IO/CodePage.o, dist/build/System/IO/CodePage.dyn_o ) [3 of 3] Compiling System.Win32.CodePage ( dist/build/System/Win32/CodePage.hs, dist/build/System/Win32/CodePage.o, dist/build/System/Win32/CodePage.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/code-page-0.2.1-cc2d70f060db8c5c68a44dfdbefe331042c2cb4a9f2dcdc1ce0eb89f7352e01f/lib Configuring random-1.3.1... Preprocessing library for random-1.3.1.. Building library for random-1.3.1.. [1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o ) [2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o ) [3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o ) [4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o ) [5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o ) [6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/random-1.3.1-53ff6fe118017105e81166d88d18b96f408abcf71eb151b207f576308ca5b779/lib Configuring hspec-expectations-0.8.4... Preprocessing library for hspec-expectations-0.8.4.. Building library for hspec-expectations-0.8.4.. [1 of 4] Compiling Paths_hspec_expectations ( dist/build/autogen/Paths_hspec_expectations.hs, dist/build/Paths_hspec_expectations.o, dist/build/Paths_hspec_expectations.dyn_o ) [2 of 4] Compiling Test.Hspec.Expectations.Contrib ( src/Test/Hspec/Expectations/Contrib.hs, dist/build/Test/Hspec/Expectations/Contrib.o, dist/build/Test/Hspec/Expectations/Contrib.dyn_o ) [3 of 4] Compiling Test.Hspec.Expectations.Matcher ( src/Test/Hspec/Expectations/Matcher.hs, dist/build/Test/Hspec/Expectations/Matcher.o, dist/build/Test/Hspec/Expectations/Matcher.dyn_o ) [4 of 4] Compiling Test.Hspec.Expectations ( src/Test/Hspec/Expectations.hs, dist/build/Test/Hspec/Expectations.o, dist/build/Test/Hspec/Expectations.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-expectations-0.8.4-51ddcf445663c1d1fd72d4d7b52dab96f645bbc90c0046fd47e1fa05d2447893/lib Configuring ansi-terminal-1.1.4... Preprocessing library for ansi-terminal-1.1.4.. Building library for ansi-terminal-1.1.4.. [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-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-1.1.4-fdeb4df7a6008ccad81953a2118316a1a4bcb0a286aeba20b7689fd876f5587d/lib Configuring temporary-1.3... Preprocessing library for temporary-1.3.. Building library for temporary-1.3.. [1 of 1] Compiling System.IO.Temp ( System/IO/Temp.hs, dist/build/System/IO/Temp.o, dist/build/System/IO/Temp.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/temporary-1.3-0acaf5a116fe7526c76685b87076f05fccfc89c7b78f5a61da0b51b850b2db4a/lib Configuring QuickCheck-2.17.1.0... Preprocessing library for QuickCheck-2.17.1.0.. Building library for QuickCheck-2.17.1.0.. [ 1 of 17] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o, dist/build/Test/QuickCheck/Exception.dyn_o ) [ 2 of 17] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o, dist/build/Test/QuickCheck/Random.dyn_o ) [ 3 of 17] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o, dist/build/Test/QuickCheck/Gen.dyn_o ) [ 4 of 17] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o, dist/build/Test/QuickCheck/Gen/Unsafe.dyn_o ) [ 5 of 17] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o, dist/build/Test/QuickCheck/Arbitrary.dyn_o ) [ 6 of 17] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o, dist/build/Test/QuickCheck/Poly.dyn_o ) [ 7 of 17] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o, dist/build/Test/QuickCheck/Modifiers.dyn_o ) [ 8 of 17] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o, dist/build/Test/QuickCheck/Function.dyn_o ) [ 9 of 17] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o, dist/build/Test/QuickCheck/Text.dyn_o ) [10 of 17] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o, dist/build/Test/QuickCheck/State.dyn_o ) [11 of 17] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o, dist/build/Test/QuickCheck/Property.dyn_o ) [12 of 17] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o, dist/build/Test/QuickCheck/Test.dyn_o ) [13 of 17] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, dist/build/Test/QuickCheck/Monoids.o, dist/build/Test/QuickCheck/Monoids.dyn_o ) [14 of 17] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o, dist/build/Test/QuickCheck/Monadic.dyn_o ) [15 of 17] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o, dist/build/Test/QuickCheck/All.dyn_o ) [16 of 17] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, dist/build/Test/QuickCheck/Features.o, dist/build/Test/QuickCheck/Features.dyn_o ) [17 of 17] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, dist/build/Test/QuickCheck.o, dist/build/Test/QuickCheck.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/QuickCheck-2.17.1.0-68d4c270cdd354bbf9cd447a1fe77dfbbde8709019e0681f0f73f9dd7e81b905/lib Configuring doctest-0.24.2... Preprocessing library for doctest-0.24.2.. Building library for doctest-0.24.2.. [ 1 of 26] Compiling Imports ( src/Imports.hs, dist/build/Imports.o, dist/build/Imports.dyn_o ) [ 2 of 26] Compiling GhcUtil ( src/GhcUtil.hs, dist/build/GhcUtil.o, dist/build/GhcUtil.dyn_o ) [ 3 of 26] Compiling Cabal.ReplOptions ( src/Cabal/ReplOptions.hs, dist/build/Cabal/ReplOptions.o, dist/build/Cabal/ReplOptions.dyn_o ) [ 4 of 26] Compiling Cabal.Paths ( src/Cabal/Paths.hs, dist/build/Cabal/Paths.o, dist/build/Cabal/Paths.dyn_o ) [ 5 of 26] Compiling Cabal.Options ( src/Cabal/Options.hs, dist/build/Cabal/Options.o, dist/build/Cabal/Options.dyn_o ) [ 6 of 26] Compiling Language.Haskell.GhciWrapper ( src/Language/Haskell/GhciWrapper.hs, dist/build/Language/Haskell/GhciWrapper.o, dist/build/Language/Haskell/GhciWrapper.dyn_o ) [ 7 of 26] Compiling Interpreter ( src/Interpreter.hs, dist/build/Interpreter.o, dist/build/Interpreter.dyn_o ) [ 8 of 26] Compiling Location ( src/Location.hs, dist/build/Location.o, dist/build/Location.dyn_o ) [ 9 of 26] Compiling PackageDBs ( src/PackageDBs.hs, dist/build/PackageDBs.o, dist/build/PackageDBs.dyn_o ) [10 of 26] Compiling Paths_doctest ( dist/build/autogen/Paths_doctest.hs, dist/build/Paths_doctest.o, dist/build/Paths_doctest.dyn_o ) [11 of 26] Compiling Info ( src/Info.hs, dist/build/Info.o, dist/build/Info.dyn_o ) [12 of 26] Compiling Options ( src/Options.hs, dist/build/Options.o, dist/build/Options.dyn_o ) [13 of 26] Compiling Cabal ( src/Cabal.hs, dist/build/Cabal.o, dist/build/Cabal.dyn_o ) [14 of 26] Compiling Test.DocTest.Internal.Cabal ( src/Test/DocTest/Internal/Cabal.hs, dist/build/Test/DocTest/Internal/Cabal.o, dist/build/Test/DocTest/Internal/Cabal.dyn_o ) [15 of 26] Compiling Test.DocTest.Internal.Location ( src/Test/DocTest/Internal/Location.hs, dist/build/Test/DocTest/Internal/Location.o, dist/build/Test/DocTest/Internal/Location.dyn_o ) [16 of 26] Compiling Util ( src/Util.hs, dist/build/Util.o, dist/build/Util.dyn_o ) [17 of 26] Compiling Extract ( src/Extract.hs, dist/build/Extract.o, dist/build/Extract.dyn_o ) [18 of 26] Compiling Test.DocTest.Internal.Extract ( src/Test/DocTest/Internal/Extract.hs, dist/build/Test/DocTest/Internal/Extract.o, dist/build/Test/DocTest/Internal/Extract.dyn_o ) [19 of 26] Compiling Parse ( src/Parse.hs, dist/build/Parse.o, dist/build/Parse.dyn_o ) [20 of 26] Compiling Test.DocTest.Internal.Parse ( src/Test/DocTest/Internal/Parse.hs, dist/build/Test/DocTest/Internal/Parse.o, dist/build/Test/DocTest/Internal/Parse.dyn_o ) [21 of 26] Compiling Runner.Example ( src/Runner/Example.hs, dist/build/Runner/Example.o, dist/build/Runner/Example.dyn_o ) [22 of 26] Compiling Property ( src/Property.hs, dist/build/Property.o, dist/build/Property.dyn_o ) [23 of 26] Compiling Runner ( src/Runner.hs, dist/build/Runner.o, dist/build/Runner.dyn_o ) [24 of 26] Compiling Run ( src/Run.hs, dist/build/Run.o, dist/build/Run.dyn_o ) [25 of 26] Compiling Test.DocTest.Internal.Run ( src/Test/DocTest/Internal/Run.hs, dist/build/Test/DocTest/Internal/Run.o, dist/build/Test/DocTest/Internal/Run.dyn_o ) [26 of 26] Compiling Test.DocTest ( src/Test/DocTest.hs, dist/build/Test/DocTest.o, dist/build/Test/DocTest.dyn_o ) Preprocessing executable 'doctest' for doctest-0.24.2.. Building executable 'doctest' for doctest-0.24.2.. [1 of 2] Compiling Main ( driver/doctest.hs, dist/build/doctest/doctest-tmp/Main.o ) [2 of 2] Compiling Paths_doctest ( dist/build/doctest/autogen/Paths_doctest.hs, dist/build/doctest/doctest-tmp/Paths_doctest.o ) [3 of 3] Linking dist/build/doctest/doctest Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/doctest-0.24.2-36fb02a50f8d6dde48c0de8a1a53472b08cbf5dbf8abfc2d1dbc6c44c93c1cd8/lib Installing executable doctest in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/doctest-0.24.2-36fb02a50f8d6dde48c0de8a1a53472b08cbf5dbf8abfc2d1dbc6c44c93c1cd8/bin Warning: The directory /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/doctest-0.24.2-36fb02a50f8d6dde48c0de8a1a53472b08cbf5dbf8abfc2d1dbc6c44c93c1cd8/bin is not in the system search path. Configuring quickcheck-io-0.2.0... Preprocessing library for quickcheck-io-0.2.0.. Building library for quickcheck-io-0.2.0.. [1 of 2] Compiling Paths_quickcheck_io ( dist/build/autogen/Paths_quickcheck_io.hs, dist/build/Paths_quickcheck_io.o, dist/build/Paths_quickcheck_io.dyn_o ) [2 of 2] Compiling Test.QuickCheck.IO ( src/Test/QuickCheck/IO.hs, dist/build/Test/QuickCheck/IO.o, dist/build/Test/QuickCheck/IO.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/quickcheck-io-0.2.0-7a46409c8cb7ca919c3dd14643bbf4e1f21f46b34e9fe63a3a11db3fca7f0a1c/lib Configuring hspec-core-2.11.16... Preprocessing library for hspec-core-2.11.16.. Building library for hspec-core-2.11.16.. [ 1 of 50] Compiling Control.Concurrent.Async ( vendor/async-2.2.5/Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o ) [ 2 of 50] Compiling Data.Algorithm.Diff ( vendor/Data/Algorithm/Diff.hs, dist/build/Data/Algorithm/Diff.o, dist/build/Data/Algorithm/Diff.dyn_o ) [ 3 of 50] Compiling Paths_hspec_core ( dist/build/autogen/Paths_hspec_core.hs, dist/build/Paths_hspec_core.o, dist/build/Paths_hspec_core.dyn_o ) [ 4 of 50] Compiling Test.Hspec.Core.Compat ( src/Test/Hspec/Core/Compat.hs, dist/build/Test/Hspec/Core/Compat.o, dist/build/Test/Hspec/Core/Compat.dyn_o ) [ 5 of 50] Compiling Test.Hspec.Core.Clock ( src/Test/Hspec/Core/Clock.hs, dist/build/Test/Hspec/Core/Clock.o, dist/build/Test/Hspec/Core/Clock.dyn_o ) [ 6 of 50] Compiling Test.Hspec.Core.Annotations ( src/Test/Hspec/Core/Annotations.hs, dist/build/Test/Hspec/Core/Annotations.o, dist/build/Test/Hspec/Core/Annotations.dyn_o ) [ 7 of 50] Compiling GetOpt.Declarative.Types ( src/GetOpt/Declarative/Types.hs, dist/build/GetOpt/Declarative/Types.o, dist/build/GetOpt/Declarative/Types.dyn_o ) [ 8 of 50] Compiling GetOpt.Declarative.Environment ( src/GetOpt/Declarative/Environment.hs, dist/build/GetOpt/Declarative/Environment.o, dist/build/GetOpt/Declarative/Environment.dyn_o ) [ 9 of 50] Compiling Test.Hspec.Core.Example.Location ( src/Test/Hspec/Core/Example/Location.hs, dist/build/Test/Hspec/Core/Example/Location.o, dist/build/Test/Hspec/Core/Example/Location.dyn_o ) [10 of 50] Compiling Test.Hspec.Core.Formatters.Diff ( src/Test/Hspec/Core/Formatters/Diff.hs, dist/build/Test/Hspec/Core/Formatters/Diff.o, dist/build/Test/Hspec/Core/Formatters/Diff.dyn_o ) [11 of 50] Compiling Test.Hspec.Core.Formatters.Pretty.Parser ( src/Test/Hspec/Core/Formatters/Pretty/Parser.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Parser.dyn_o ) [12 of 50] Compiling Test.Hspec.Core.Formatters.Pretty.Unicode ( src/Test/Hspec/Core/Formatters/Pretty/Unicode.hs, dist/build/Test/Hspec/Core/Formatters/Pretty/Unicode.o, dist/build/Test/Hspec/Core/Formatters/Pretty/Unicode.dyn_o ) [13 of 50] Compiling Test.Hspec.Core.Formatters.Pretty ( src/Test/Hspec/Core/Formatters/Pretty.hs, dist/build/Test/Hspec/Core/Formatters/Pretty.o, dist/build/Test/Hspec/Core/Formatters/Pretty.dyn_o ) [14 of 50] Compiling Test.Hspec.Core.Formatters.V1.Free ( src/Test/Hspec/Core/Formatters/V1/Free.hs, dist/build/Test/Hspec/Core/Formatters/V1/Free.o, dist/build/Test/Hspec/Core/Formatters/V1/Free.dyn_o ) [15 of 50] Compiling Test.Hspec.Core.Runner.JobQueue ( src/Test/Hspec/Core/Runner/JobQueue.hs, dist/build/Test/Hspec/Core/Runner/JobQueue.o, dist/build/Test/Hspec/Core/Runner/JobQueue.dyn_o ) [16 of 50] Compiling Test.Hspec.Core.Timer ( src/Test/Hspec/Core/Timer.hs, dist/build/Test/Hspec/Core/Timer.o, dist/build/Test/Hspec/Core/Timer.dyn_o ) [17 of 50] Compiling Test.Hspec.Core.Util ( src/Test/Hspec/Core/Util.hs, dist/build/Test/Hspec/Core/Util.o, dist/build/Test/Hspec/Core/Util.dyn_o ) [18 of 50] Compiling Test.Hspec.Core.QuickCheck.Util ( src/Test/Hspec/Core/QuickCheck/Util.hs, dist/build/Test/Hspec/Core/QuickCheck/Util.o, dist/build/Test/Hspec/Core/QuickCheck/Util.dyn_o ) [19 of 50] Compiling Test.Hspec.Core.Example ( src/Test/Hspec/Core/Example.hs, dist/build/Test/Hspec/Core/Example.o, dist/build/Test/Hspec/Core/Example.dyn_o ) [20 of 50] Compiling Test.Hspec.Core.Tree ( src/Test/Hspec/Core/Tree.hs, dist/build/Test/Hspec/Core/Tree.o, dist/build/Test/Hspec/Core/Tree.dyn_o ) [21 of 50] Compiling Test.Hspec.Core.Shuffle ( src/Test/Hspec/Core/Shuffle.hs, dist/build/Test/Hspec/Core/Shuffle.o, dist/build/Test/Hspec/Core/Shuffle.dyn_o ) [22 of 50] Compiling Test.Hspec.Core.Format ( src/Test/Hspec/Core/Format.hs, dist/build/Test/Hspec/Core/Format.o, dist/build/Test/Hspec/Core/Format.dyn_o ) [23 of 50] Compiling Test.Hspec.Core.Runner.Result ( src/Test/Hspec/Core/Runner/Result.hs, dist/build/Test/Hspec/Core/Runner/Result.o, dist/build/Test/Hspec/Core/Runner/Result.dyn_o ) [24 of 50] Compiling Test.Hspec.Core.Formatters.V1.Monad ( src/Test/Hspec/Core/Formatters/V1/Monad.hs, dist/build/Test/Hspec/Core/Formatters/V1/Monad.o, dist/build/Test/Hspec/Core/Formatters/V1/Monad.dyn_o ) [25 of 50] Compiling Test.Hspec.Core.Formatters.Internal ( src/Test/Hspec/Core/Formatters/Internal.hs, dist/build/Test/Hspec/Core/Formatters/Internal.o, dist/build/Test/Hspec/Core/Formatters/Internal.dyn_o ) [26 of 50] Compiling Test.Hspec.Core.Formatters.V2 ( src/Test/Hspec/Core/Formatters/V2.hs, dist/build/Test/Hspec/Core/Formatters/V2.o, dist/build/Test/Hspec/Core/Formatters/V2.dyn_o ) [27 of 50] Compiling Test.Hspec.Core.Runner.PrintSlowSpecItems ( src/Test/Hspec/Core/Runner/PrintSlowSpecItems.hs, dist/build/Test/Hspec/Core/Runner/PrintSlowSpecItems.o, dist/build/Test/Hspec/Core/Runner/PrintSlowSpecItems.dyn_o ) [28 of 50] Compiling Test.Hspec.Core.Formatters.V1.Internal ( src/Test/Hspec/Core/Formatters/V1/Internal.hs, dist/build/Test/Hspec/Core/Formatters/V1/Internal.o, dist/build/Test/Hspec/Core/Formatters/V1/Internal.dyn_o ) [29 of 50] Compiling Test.Hspec.Core.Formatters.V1 ( src/Test/Hspec/Core/Formatters/V1.hs, dist/build/Test/Hspec/Core/Formatters/V1.o, dist/build/Test/Hspec/Core/Formatters/V1.dyn_o ) [30 of 50] Compiling Test.Hspec.Core.Formatters ( src/Test/Hspec/Core/Formatters.hs, dist/build/Test/Hspec/Core/Formatters.o, dist/build/Test/Hspec/Core/Formatters.dyn_o ) [31 of 50] Compiling GetOpt.Declarative.Util ( src/GetOpt/Declarative/Util.hs, dist/build/GetOpt/Declarative/Util.o, dist/build/GetOpt/Declarative/Util.dyn_o ) [32 of 50] Compiling GetOpt.Declarative.Interpret ( src/GetOpt/Declarative/Interpret.hs, dist/build/GetOpt/Declarative/Interpret.o, dist/build/GetOpt/Declarative/Interpret.dyn_o ) [33 of 50] Compiling GetOpt.Declarative ( src/GetOpt/Declarative.hs, dist/build/GetOpt/Declarative.o, dist/build/GetOpt/Declarative.dyn_o ) [34 of 50] Compiling Test.Hspec.Core.Config.Definition ( src/Test/Hspec/Core/Config/Definition.hs, dist/build/Test/Hspec/Core/Config/Definition.o, dist/build/Test/Hspec/Core/Config/Definition.dyn_o ) [35 of 50] Compiling Test.Hspec.Core.Spec.Monad ( src/Test/Hspec/Core/Spec/Monad.hs, dist/build/Test/Hspec/Core/Spec/Monad.o, dist/build/Test/Hspec/Core/Spec/Monad.dyn_o ) [36 of 50] Compiling Test.Hspec.Core.QuickCheck ( src/Test/Hspec/Core/QuickCheck.hs, dist/build/Test/Hspec/Core/QuickCheck.o, dist/build/Test/Hspec/Core/QuickCheck.dyn_o ) [37 of 50] Compiling Test.Hspec.Core.Hooks ( src/Test/Hspec/Core/Hooks.hs, dist/build/Test/Hspec/Core/Hooks.o, dist/build/Test/Hspec/Core/Hooks.dyn_o ) [38 of 50] Compiling Test.Hspec.Core.Spec ( src/Test/Hspec/Core/Spec.hs, dist/build/Test/Hspec/Core/Spec.o, dist/build/Test/Hspec/Core/Spec.dyn_o ) [39 of 50] Compiling Test.Hspec.Core.Runner.Eval ( src/Test/Hspec/Core/Runner/Eval.hs, dist/build/Test/Hspec/Core/Runner/Eval.o, dist/build/Test/Hspec/Core/Runner/Eval.dyn_o ) [40 of 50] Compiling Test.Hspec.Core.Extension.Tree ( src/Test/Hspec/Core/Extension/Tree.hs, dist/build/Test/Hspec/Core/Extension/Tree.o, dist/build/Test/Hspec/Core/Extension/Tree.dyn_o ) [41 of 50] Compiling Test.Hspec.Core.Extension.Spec ( src/Test/Hspec/Core/Extension/Spec.hs, dist/build/Test/Hspec/Core/Extension/Spec.o, dist/build/Test/Hspec/Core/Extension/Spec.dyn_o ) [42 of 50] Compiling Test.Hspec.Core.Extension.Item ( src/Test/Hspec/Core/Extension/Item.hs, dist/build/Test/Hspec/Core/Extension/Item.o, dist/build/Test/Hspec/Core/Extension/Item.dyn_o ) [43 of 50] Compiling Test.Hspec.Core.FailureReport ( src/Test/Hspec/Core/FailureReport.hs, dist/build/Test/Hspec/Core/FailureReport.o, dist/build/Test/Hspec/Core/FailureReport.dyn_o ) [44 of 50] Compiling Test.Hspec.Core.Extension.Config.Type ( src/Test/Hspec/Core/Extension/Config/Type.hs, dist/build/Test/Hspec/Core/Extension/Config/Type.o, dist/build/Test/Hspec/Core/Extension/Config/Type.dyn_o ) [45 of 50] Compiling Test.Hspec.Core.Extension.Option ( src/Test/Hspec/Core/Extension/Option.hs, dist/build/Test/Hspec/Core/Extension/Option.o, dist/build/Test/Hspec/Core/Extension/Option.dyn_o ) [46 of 50] Compiling Test.Hspec.Core.Extension.Config ( src/Test/Hspec/Core/Extension/Config.hs, dist/build/Test/Hspec/Core/Extension/Config.o, dist/build/Test/Hspec/Core/Extension/Config.dyn_o ) [47 of 50] Compiling Test.Hspec.Core.Extension ( src/Test/Hspec/Core/Extension.hs, dist/build/Test/Hspec/Core/Extension.o, dist/build/Test/Hspec/Core/Extension.dyn_o ) [48 of 50] Compiling Test.Hspec.Core.Config.Options ( src/Test/Hspec/Core/Config/Options.hs, dist/build/Test/Hspec/Core/Config/Options.o, dist/build/Test/Hspec/Core/Config/Options.dyn_o ) [49 of 50] Compiling Test.Hspec.Core.Config ( src/Test/Hspec/Core/Config.hs, dist/build/Test/Hspec/Core/Config.o, dist/build/Test/Hspec/Core/Config.dyn_o ) [50 of 50] Compiling Test.Hspec.Core.Runner ( src/Test/Hspec/Core/Runner.hs, dist/build/Test/Hspec/Core/Runner.o, dist/build/Test/Hspec/Core/Runner.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-core-2.11.16-71c52e8d2ebd6b0430893b79766d81b4cf1bd6a8b7807b7cca620c2629e33521/lib Configuring hspec-2.11.16... Preprocessing library for hspec-2.11.16.. Building library for hspec-2.11.16.. [1 of 6] Compiling Paths_hspec ( dist/build/autogen/Paths_hspec.hs, dist/build/Paths_hspec.o, dist/build/Paths_hspec.dyn_o ) [2 of 6] Compiling Test.Hspec.Discover ( src/Test/Hspec/Discover.hs, dist/build/Test/Hspec/Discover.o, dist/build/Test/Hspec/Discover.dyn_o ) [3 of 6] Compiling Test.Hspec.Formatters ( src/Test/Hspec/Formatters.hs, dist/build/Test/Hspec/Formatters.o, dist/build/Test/Hspec/Formatters.dyn_o ) [4 of 6] Compiling Test.Hspec.Runner ( src/Test/Hspec/Runner.hs, dist/build/Test/Hspec/Runner.o, dist/build/Test/Hspec/Runner.dyn_o ) [5 of 6] Compiling Test.Hspec ( src/Test/Hspec.hs, dist/build/Test/Hspec.o, dist/build/Test/Hspec.dyn_o ) [6 of 6] Compiling Test.Hspec.QuickCheck ( src/Test/Hspec/QuickCheck.hs, dist/build/Test/Hspec/QuickCheck.o, dist/build/Test/Hspec/QuickCheck.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2097788/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hspec-2.11.16-55aa6cd9cfb751b01cf71d16e195b7507f6b02239378806c5f630c6e6764ec69/lib Configuring th-cas-0.2.0... Preprocessing test suite 'doctests' for th-cas-0.2.0.. Building test suite 'doctests' for th-cas-0.2.0.. [1 of 1] Compiling Main ( test/doctests.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/doctests/doctests-tmp/Main.o ) [2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/doctests/doctests Preprocessing library for th-cas-0.2.0.. Building library for th-cas-0.2.0.. [1 of 7] Compiling Algebra.CAS.Base ( Algebra/CAS/Base.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Base.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Base.dyn_o ) Algebra/CAS/Base.hs:588:6: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: cl | 588 | (cl,vl) = headV lcm' | ^^ Algebra/CAS/Base.hs:691:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:691:7-11 (IsString a0) arising from the literal "((a:+:b):*:c)" at Algebra/CAS/Base.hs:691:13-27 " In a stmt of a 'do' block: print "((a:+:b):*:c)" In the expression: do print "((a:+:b):*:c)" print a print b print c .... In a case alternative: ((a :+: b) :*: c) -> do print "((a:+:b):*:c)" print a print b .... | 691 | print "((a:+:b):*:c)" | ^^^^^ Algebra/CAS/Base.hs:702:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:702:7-11 (IsString a0) arising from the literal "(a:*:(b:+:c))" at Algebra/CAS/Base.hs:702:13-27 " In a stmt of a 'do' block: print "(a:*:(b:+:c))" In the expression: do print "(a:*:(b:+:c))" print a print b print c .... In a case alternative: (a :*: (b :+: c)) -> do print "(a:*:(b:+:c))" print a print b .... | 702 | print "(a:*:(b:+:c))" | ^^^^^ Algebra/CAS/Base.hs:713:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:713:7-11 (IsString a0) arising from the literal "(a:+:b)" at Algebra/CAS/Base.hs:713:13-21 " In a stmt of a 'do' block: print "(a:+:b)" In the expression: do print "(a:+:b)" print a print b a' <- expandIO a .... In a case alternative: (a :+: b) -> do print "(a:+:b)" print a print b .... | 713 | print "(a:+:b)" | ^^^^^ Algebra/CAS/Base.hs:720:7: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type String in the following constraints (Show a0) arising from a use of print at Algebra/CAS/Base.hs:720:7-11 (IsString a0) arising from the literal "(a:*:b)" at Algebra/CAS/Base.hs:720:13-21 " In a stmt of a 'do' block: print "(a:*:b)" In the expression: do print "(a:*:b)" print a print b a' <- expandIO a .... In a case alternative: c@(a :*: b) -> do print "(a:*:b)" print a print b .... | 720 | print "(a:*:b)" | ^^^^^ Algebra/CAS/Base.hs:1036:11: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraint Integral a0 arising from a use of fromIntegral " In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for genCoeff: genCoeff prefix a = genCoeff' prefix a where len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int nstr n = let ... in take (len - l) (repeat '0') ++ str genCoeff' prefix' a' | a' <= 0 = [] | otherwise = CV (prefix' ++ nstr (pred a')) : genCoeff' prefix' (pred a') | 1036 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^^^^^^^^ Algebra/CAS/Base.hs:1036:25: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (RealFrac a0) arising from a use of round at Algebra/CAS/Base.hs:1036:25-29 (Floating a0) arising from a use of logBase at Algebra/CAS/Base.hs:1036:32-38 (Num a0) arising from the literal 10 at Algebra/CAS/Base.hs:1036:40-41 " In the first argument of fromIntegral, namely (round (logBase 10 (fromIntegral a))) In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | 1036 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^ Algebra/CAS/Base.hs:1048:11: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraint Integral a0 arising from a use of fromIntegral " In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for genVars: genVars prefix a = gen' prefix a where len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int nstr n = let ... in take (len - l) (repeat '0') ++ str gen' prefix' a' | a' <= 0 = [] | otherwise = V (prefix' ++ nstr (pred a')) : gen' prefix' (pred a') | 1048 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^^^^^^^^ Algebra/CAS/Base.hs:1048:25: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (RealFrac a0) arising from a use of round at Algebra/CAS/Base.hs:1048:25-29 (Floating a0) arising from a use of logBase at Algebra/CAS/Base.hs:1048:32-38 (Num a0) arising from the literal 10 at Algebra/CAS/Base.hs:1048:40-41 " In the first argument of fromIntegral, namely (round (logBase 10 (fromIntegral a))) In the expression: fromIntegral (round (logBase 10 (fromIntegral a))) :: Int In an equation for len: len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | 1048 | len = fromIntegral (round (logBase 10 (fromIntegral a))) :: Int | ^^^^^ [2 of 7] Compiling Algebra.CAS.Diff ( Algebra/CAS/Diff.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Diff.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Diff.dyn_o ) [3 of 7] Compiling Algebra.CAS.GrobnerBasis ( Algebra/CAS/GrobnerBasis.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/GrobnerBasis.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/GrobnerBasis.dyn_o ) [4 of 7] Compiling Algebra.CAS.Solve ( Algebra/CAS/Solve.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Solve.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Solve.dyn_o ) Algebra/CAS/Solve.hs:60:7: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] (_:_:_:_) | 60 | let [a,b] = map CV ["a","b"] | ^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Solve.hs:69:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 69 | let [a,b,c] = map CV ["a","b","c"] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Solve.hs:72:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 72 | let [a',b',c'] = map (m M.!) [a,b,c] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Solve.hs:75:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 75 | let [a,b,c] = map CV ["a","b","c"] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Solve.hs:78:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 78 | let [a',b',c'] = map (m M.!) [a,b,c] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [5 of 7] Compiling Algebra.CAS.Integrate ( Algebra/CAS/Integrate.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Integrate.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/Integrate.dyn_o ) Algebra/CAS/Integrate.hs:90:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: reduce | 90 | reduce [] = (0, 0) | ^^^^^^ Algebra/CAS/Integrate.hs:93:59: warning: [GHC-63397] [-Wname-shadowing] This binding for exp shadows the existing binding imported from Prelude at Algebra/CAS/Integrate.hs:4:8-28 (and originally defined in GHC.Float) | 93 | in (r, expand $ l + (v * product [fac^exp | (fac, exp) <- vs])) -- Accumulate denominator for log part | ^^^ Algebra/CAS/Integrate.hs:95:16: warning: [GHC-40910] [-Wunused-matches] Defined but not used: v | 95 | reduce ((v, k):vs) | k > 1 = | ^ Algebra/CAS/Integrate.hs:120:11: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: u | 120 | let (g, u, v) = extendedEuclidean d (diff d x) x | ^ Algebra/CAS/Integrate.hs:120:14: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: v | 120 | let (g, u, v) = extendedEuclidean d (diff d x) x | ^ Algebra/CAS/Integrate.hs:149:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: w | 149 | w = expand $ p / c | ^ Algebra/CAS/Integrate.hs:150:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: y | 150 | y = expand $ p' / c | ^ Algebra/CAS/Integrate.hs:151:7: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: z | 151 | z = expand $ diff w x | ^ Algebra/CAS/Integrate.hs:174:17: warning: [GHC-40910] [-Wunused-matches] Defined but not used: x | 174 | quotRemPoly a b x = reduction a b -- Reuse existing reduction which is multivariate division | ^ Algebra/CAS/Integrate.hs:228:28: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type (Formula, Formula) not matched: ((C _), _) (Pi, _) (I, _) ((CV _), _) ... | 228 | convertSolution = map (\(V name, val) -> (CV name, val)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Algebra/CAS/Integrate.hs:228:38: warning: [GHC-63397] [-Wname-shadowing] This binding for val shadows the existing binding imported from Algebra.CAS.Base at Algebra/CAS/Integrate.hs:6:1-23 (and originally defined at Algebra/CAS/Base.hs:521:1-3) | 228 | convertSolution = map (\(V name, val) -> (CV name, val)) | ^^^ [6 of 7] Compiling Algebra.CAS ( Algebra/CAS.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS.dyn_o ) [7 of 7] Compiling Algebra.CAS.TH ( Algebra/CAS/TH.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/TH.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/Algebra/CAS/TH.dyn_o ) Algebra/CAS/TH.hs:13: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() | 13 | import Control.Applicative | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Preprocessing test suite 'spec' for th-cas-0.2.0.. Building test suite 'spec' for th-cas-0.2.0.. [1 of 7] Compiling Algebra.CAS.BasicSpec ( test/Algebra/CAS/BasicSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/BasicSpec.o ) test/Algebra/CAS/BasicSpec.hs:67:67: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:67 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:67:68 " In the second argument of (*), namely (x ^ 2) In the second argument of (+), namely 7 * (x ^ 2) In the first argument of (+), namely 2 * x + 7 * (x ^ 2) | 67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2) | ^ test/Algebra/CAS/BasicSpec.hs:67:77: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:77 (Num b0) arising from the literal 3 at test/Algebra/CAS/BasicSpec.hs:67:78 " In the second argument of (*), namely (x ^ 3) In the second argument of (+), namely 7 * (x ^ 3) In the first argument of (+), namely 2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) | 67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2) | ^ test/Algebra/CAS/BasicSpec.hs:67:87: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:87 (Num b0) arising from the literal 4 at test/Algebra/CAS/BasicSpec.hs:67:88 " In the second argument of (*), namely (x ^ 4) In the second argument of (+), namely 2 * (x ^ 4) In the first argument of (+), namely 2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4) | 67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2) | ^ test/Algebra/CAS/BasicSpec.hs:67:105: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:105 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:67:106 " In the second argument of (*), namely (x ^ 2) In the first argument of (*), namely 9 * (x ^ 2) In the second argument of (+), namely 9 * (x ^ 2) * y | 67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2) | ^ test/Algebra/CAS/BasicSpec.hs:67:117: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:117 (Num b0) arising from the literal 3 at test/Algebra/CAS/BasicSpec.hs:67:118 " In the second argument of (*), namely (x ^ 3) In the first argument of (*), namely 3 * (x ^ 3) In the second argument of (+), namely 3 * (x ^ 3) * y | 67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2) | ^ test/Algebra/CAS/BasicSpec.hs:67:129: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:129 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:67:130 " In the second argument of (*), namely (y ^ 2) In the second argument of (+), namely 2 * (y ^ 2) In the first argument of (+), namely 2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4) + 6 * x * y + 9 * (x ^ 2) * y + 3 * (x ^ 3) * y + 2 * (y ^ 2) | 67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2) | ^ test/Algebra/CAS/BasicSpec.hs:67:141: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:141 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:67:142 " In the second argument of (*), namely (y ^ 2) In the second argument of (+), namely 3 * x * (y ^ 2) In the first argument of (+), namely 2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4) + 6 * x * y + 9 * (x ^ 2) * y + 3 * (x ^ 3) * y + 2 * (y ^ 2) + 3 * x * (y ^ 2) | 67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2) | ^ test/Algebra/CAS/BasicSpec.hs:67:149: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:149 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:67:150 " In the first argument of (*), namely (x ^ 2) In the second argument of (+), namely (x ^ 2) * (y ^ 2) In the second argument of shouldBe, namely 2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4) + 6 * x * y + 9 * (x ^ 2) * y + 3 * (x ^ 3) * y + 2 * (y ^ 2) + 3 * x * (y ^ 2) + (x ^ 2) * (y ^ 2) | 67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2) | ^ test/Algebra/CAS/BasicSpec.hs:67:155: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:67:155 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:67:156 " In the second argument of (*), namely (y ^ 2) In the second argument of (+), namely (x ^ 2) * (y ^ 2) In the second argument of shouldBe, namely 2 * x + 7 * (x ^ 2) + 7 * (x ^ 3) + 2 * (x ^ 4) + 6 * x * y + 9 * (x ^ 2) * y + 3 * (x ^ 3) * y + 2 * (y ^ 2) + 3 * x * (y ^ 2) + (x ^ 2) * (y ^ 2) | 67 | expand ((1+x)*(2+x)*((y+x)*(y+x*2)+x)) `shouldBe` 2*x + 7*(x^2) + 7*(x^3) + 2*(x^4) + 6*x*y + 9*(x^2)*y + 3*(x^3)*y + 2*(y^2) + 3*x*(y^2) + (x^2)*(y^2) | ^ test/Algebra/CAS/BasicSpec.hs:93:22: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:93:22 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:93:23 " In the first argument of (+), namely x ^ 2 In the first argument of (+), namely x ^ 2 + x In the first argument of showFormula, namely (x ^ 2 + x + y) | 93 | showFormula (x^2+x+y) `shouldBe` "((V \"x\" :+: (V \"x\" :^: C (CI 2))) :+: V \"y\")" | ^ test/Algebra/CAS/BasicSpec.hs:95:28: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:95:28 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:95:29 " In the first argument of (+), namely x ^ 2 In the first argument of (+), namely x ^ 2 + x In the first argument of showFormula, namely (x ^ 2 + x + y) | 95 | read (showFormula (x^2+x+y)) `shouldBe` x^2+x+y | ^ test/Algebra/CAS/BasicSpec.hs:95:49: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:95:49 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:95:50 " In the first argument of (+), namely x ^ 2 In the first argument of (+), namely x ^ 2 + x In the second argument of shouldBe, namely x ^ 2 + x + y | 95 | read (showFormula (x^2+x+y)) `shouldBe` x^2+x+y | ^ test/Algebra/CAS/BasicSpec.hs:97:14: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:97:14 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:97:15 " In the first argument of (+), namely x ^ 2 In the first argument of (+), namely x ^ 2 + x In the first argument of show, namely (x ^ 2 + x + y) | 97 | show (x^2+x+y) `shouldBe` "x + x^2 + y" | ^ test/Algebra/CAS/BasicSpec.hs:118:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:118:16 (Num b0) arising from the literal 3 at test/Algebra/CAS/BasicSpec.hs:118:17 " In the first argument of degree, namely (x ^ 3) In the first argument of shouldBe, namely degree (x ^ 3) In a stmt of a 'do' block: degree (x ^ 3) `shouldBe` 3 | 118 | degree (x^3) `shouldBe` 3 | ^ test/Algebra/CAS/BasicSpec.hs:120:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:120:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:120:17 " In the first argument of (+), namely x ^ 2 In the first argument of degree, namely (x ^ 2 + y ^ 3) In the first argument of shouldBe, namely degree (x ^ 2 + y ^ 3) | 120 | degree (x^2 + y^3) `shouldBe` 3 | ^ test/Algebra/CAS/BasicSpec.hs:120:22: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:120:22 (Num b0) arising from the literal 3 at test/Algebra/CAS/BasicSpec.hs:120:23 " In the second argument of (+), namely y ^ 3 In the first argument of degree, namely (x ^ 2 + y ^ 3) In the first argument of shouldBe, namely degree (x ^ 2 + y ^ 3) | 120 | degree (x^2 + y^3) `shouldBe` 3 | ^ test/Algebra/CAS/BasicSpec.hs:134:15: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:134:15 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:134:16 " In the first argument of (+), namely x ^ 2 In the first argument of (+), namely x ^ 2 + x In the first argument of numer, namely (x ^ 2 + x + 1) | 134 | numer (x^2 + x + 1) `shouldBe` x^2 + x + 1 | ^ test/Algebra/CAS/BasicSpec.hs:134:39: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:134:39 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:134:40 " In the first argument of (+), namely x ^ 2 In the first argument of (+), namely x ^ 2 + x In the second argument of shouldBe, namely x ^ 2 + x + 1 | 134 | numer (x^2 + x + 1) `shouldBe` x^2 + x + 1 | ^ test/Algebra/CAS/BasicSpec.hs:136:15: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/BasicSpec.hs:136:15 (Num b0) arising from the literal 2 at test/Algebra/CAS/BasicSpec.hs:136:16 " In the first argument of (+), namely x ^ 2 In the first argument of (+), namely x ^ 2 + x In the first argument of denom, namely (x ^ 2 + x + 1) | 136 | denom (x^2 + x + 1) `shouldBe` 1 | ^ [2 of 7] Compiling Algebra.CAS.DiffSpec ( test/Algebra/CAS/DiffSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/DiffSpec.o ) test/Algebra/CAS/DiffSpec.hs:35:14: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:35:14 (Num b0) arising from the literal 5 at test/Algebra/CAS/DiffSpec.hs:35:15 " In the first argument of diff, namely (x ^ 5) In the first argument of shouldBe, namely diff (x ^ 5) (x) In a stmt of a 'do' block: diff (x ^ 5) (x) `shouldBe` 5 * x ^ 4 | 35 | diff (x^5) (x) `shouldBe` 5*x^4 | ^ test/Algebra/CAS/DiffSpec.hs:35:36: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:35:36 (Num b0) arising from the literal 4 at test/Algebra/CAS/DiffSpec.hs:35:37 " In the second argument of (*), namely x ^ 4 In the second argument of shouldBe, namely 5 * x ^ 4 In a stmt of a 'do' block: diff (x ^ 5) (x) `shouldBe` 5 * x ^ 4 | 35 | diff (x^5) (x) `shouldBe` 5*x^4 | ^ test/Algebra/CAS/DiffSpec.hs:39:17: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:39:17 (Num b0) arising from the literal 2 at test/Algebra/CAS/DiffSpec.hs:39:18 " In the second argument of diffn, namely (x ^ 2) In the first argument of shouldBe, namely diffn 0 (x ^ 2) x In a stmt of a 'do' block: diffn 0 (x ^ 2) x `shouldBe` x ^ 2 | 39 | diffn 0 (x^2) x `shouldBe` x^2 | ^ test/Algebra/CAS/DiffSpec.hs:39:35: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:39:35 (Num b0) arising from the literal 2 at test/Algebra/CAS/DiffSpec.hs:39:36 " In the second argument of shouldBe, namely x ^ 2 In a stmt of a 'do' block: diffn 0 (x ^ 2) x `shouldBe` x ^ 2 In the second argument of ($), namely do diffn 0 (x ^ 2) x `shouldBe` x ^ 2 | 39 | diffn 0 (x^2) x `shouldBe` x^2 | ^ test/Algebra/CAS/DiffSpec.hs:41:17: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:41:17 (Num b0) arising from the literal 2 at test/Algebra/CAS/DiffSpec.hs:41:18 " In the second argument of diffn, namely (x ^ 2) In the first argument of shouldBe, namely diffn 1 (x ^ 2) x In a stmt of a 'do' block: diffn 1 (x ^ 2) x `shouldBe` diff (x ^ 2) x | 41 | diffn 1 (x^2) x `shouldBe` diff (x^2) x | ^ test/Algebra/CAS/DiffSpec.hs:41:41: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:41:41 (Num b0) arising from the literal 2 at test/Algebra/CAS/DiffSpec.hs:41:42 " In the first argument of diff, namely (x ^ 2) In the second argument of shouldBe, namely diff (x ^ 2) x In a stmt of a 'do' block: diffn 1 (x ^ 2) x `shouldBe` diff (x ^ 2) x | 41 | diffn 1 (x^2) x `shouldBe` diff (x^2) x | ^ test/Algebra/CAS/DiffSpec.hs:43:17: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:43:17 (Num b0) arising from the literal 3 at test/Algebra/CAS/DiffSpec.hs:43:18 " In the second argument of diffn, namely (x ^ 3) In the first argument of shouldBe, namely diffn 2 (x ^ 3) x In a stmt of a 'do' block: diffn 2 (x ^ 3) x `shouldBe` 6 * x | 43 | diffn 2 (x^3) x `shouldBe` 6*x | ^ test/Algebra/CAS/DiffSpec.hs:45:17: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:45:17 (Num b0) arising from the literal 3 at test/Algebra/CAS/DiffSpec.hs:45:18 " In the second argument of diffn, namely (x ^ 3) In the first argument of shouldBe, namely diffn 3 (x ^ 3) x In a stmt of a 'do' block: diffn 3 (x ^ 3) x `shouldBe` 6 | 45 | diffn 3 (x^3) x `shouldBe` 6 | ^ test/Algebra/CAS/DiffSpec.hs:47:17: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/DiffSpec.hs:47:17 (Num b0) arising from the literal 3 at test/Algebra/CAS/DiffSpec.hs:47:18 " In the second argument of diffn, namely (x ^ 3) In the first argument of shouldBe, namely diffn 4 (x ^ 3) x In a stmt of a 'do' block: diffn 4 (x ^ 3) x `shouldBe` 0 | 47 | diffn 4 (x^3) x `shouldBe` 0 | ^ [3 of 7] Compiling Algebra.CAS.GrobnerBasisSpec ( test/Algebra/CAS/GrobnerBasisSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/GrobnerBasisSpec.o ) test/Algebra/CAS/GrobnerBasisSpec.hs:17:1: warning: [GHC-40910] [-Wunused-top-binds] Defined but not used: z | 17 | z = "z" | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:20:1: warning: [GHC-40910] [-Wunused-top-binds] Defined but not used: a | 20 | a = CV "a" | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:22:1: warning: [GHC-40910] [-Wunused-top-binds] Defined but not used: b | 22 | b = CV "b" | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:24:1: warning: [GHC-40910] [-Wunused-top-binds] Defined but not used: c | 24 | c = CV "c" | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:26:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: fs :: [Formula] | 26 | fs = [ 1 -x - 3*y**2 + y**3, | ^^ test/Algebra/CAS/GrobnerBasisSpec.hs:34:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:34:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:34:17 " In the expression: x ^ 2 In an equation for f: f = x ^ 2 In the second argument of ($), namely do let f = x ^ 2 let g = x * y sPolynomial f g `shouldBe` 0 | 34 | let f = x^2 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:40:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:40:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:40:17 " In the first argument of (-), namely x ^ 2 In the expression: x ^ 2 - 1 In an equation for f: f = x ^ 2 - 1 | 40 | let f = x^2 - 1 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:47:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:47:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:47:17 " In the first argument of (+), namely x ^ 2 In the expression: x ^ 2 + y In an equation for f: f = x ^ 2 + y | 47 | let f = x^2 + y | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:52:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:52:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:52:17 " In the expression: x ^ 2 In an equation for f: f = x ^ 2 In the second argument of ($), namely do let f = x ^ 2 let g = y ^ 2 sPolynomial f g `shouldBe` 0 | 52 | let f = x^2 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:53:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:53:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:53:17 " In the expression: y ^ 2 In an equation for g: g = y ^ 2 In the second argument of ($), namely do let f = x ^ 2 let g = y ^ 2 sPolynomial f g `shouldBe` 0 | 53 | let g = y^2 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:59:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:59:16 (Num b0) arising from the literal 3 at test/Algebra/CAS/GrobnerBasisSpec.hs:59:17 " In the expression: x ^ 3 In an equation for f: f = x ^ 3 In the second argument of ($), namely do let f = x ^ 3 let g = x ^ 2 sPolynomial f g `shouldBe` 0 | 59 | let f = x^3 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:60:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:60:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:60:17 " In the expression: x ^ 2 In an equation for g: g = x ^ 2 In the second argument of ($), namely do let f = x ^ 3 let g = x ^ 2 sPolynomial f g `shouldBe` 0 | 60 | let g = x^2 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:65:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:65:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:65:17 " In the first argument of (+), namely x ^ 2 In the expression: x ^ 2 + x In an equation for f: f = x ^ 2 + x | 65 | let f = x^2 + x | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:66:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:66:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:66:17 " In the first argument of (+), namely x ^ 2 In the expression: x ^ 2 + y In an equation for g: g = x ^ 2 + y | 66 | let g = x^2 + y | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:92:18: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:92:18 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:92:19 " In the expression: x ^ 2 In the first argument of grobnerG, namely [x ^ 2] In the first argument of shouldBe, namely grobnerG [x ^ 2] | 92 | grobnerG [x^2] `shouldBe` [] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:95:31: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:95:31 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:95:32 " In the expression: x ^ 2 In the first argument of grobnerG, namely [x ^ 2, y ^ 2] In the expression: grobnerG [x ^ 2, y ^ 2] | 95 | let result = grobnerG [x^2, y^2] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:95:36: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:95:36 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:95:37 " In the expression: y ^ 2 In the first argument of grobnerG, namely [x ^ 2, y ^ 2] In the expression: grobnerG [x ^ 2, y ^ 2] | 95 | let result = grobnerG [x^2, y^2] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:100:31: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:100:31 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:100:32 " In the first argument of (+), namely x ^ 2 In the expression: x ^ 2 + 1 In the first argument of grobnerG, namely [x ^ 2 + 1, y ^ 2 + 1] | 100 | let result = grobnerG [x^2 + 1, y^2 + 1] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:100:40: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:100:40 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:100:41 " In the first argument of (+), namely y ^ 2 In the expression: y ^ 2 + 1 In the first argument of grobnerG, namely [x ^ 2 + 1, y ^ 2 + 1] | 100 | let result = grobnerG [x^2 + 1, y^2 + 1] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:105:31: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:105:31 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:105:32 " In the first argument of (+), namely x ^ 2 In the expression: x ^ 2 + x In the first argument of grobnerG, namely [x ^ 2 + x, x ^ 2 + y] | 105 | let result = grobnerG [x^2 + x, x^2 + y] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:105:40: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:105:40 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:105:41 " In the first argument of (+), namely x ^ 2 In the expression: x ^ 2 + y In the first argument of grobnerG, namely [x ^ 2 + x, x ^ 2 + y] | 105 | let result = grobnerG [x^2 + x, x^2 + y] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:123: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." | 123 | reductions (head fs) (tail fs) `shouldBe` 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y) | ^^^^ test/Algebra/CAS/GrobnerBasisSpec.hs:123:29: 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." | 123 | reductions (head fs) (tail fs) `shouldBe` 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y) | ^^^^ test/Algebra/CAS/GrobnerBasisSpec.hs:123:73: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:123:73 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:123:74 " In the second argument of (*), namely (x ^ 2) In the second argument of (+), namely (- 3) * (x ^ 2) In the first argument of (+), namely 4 + (- 1) * (x) + (- 3) * (x ^ 2) | 123 | reductions (head fs) (tail fs) `shouldBe` 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y) | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:123:92: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:123:92 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:123:93 " In the first argument of (*), namely (x ^ 2) In the second argument of (+), namely (x ^ 2) * (y) In the second argument of shouldBe, namely 4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y) | 123 | reductions (head fs) (tail fs) `shouldBe` 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y) | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:126:20: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:126:20 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:126:21 " In the first argument of (+), namely x ^ 2 In the first argument of reductions, namely (x ^ 2 + y) In the first argument of shouldBe, namely reductions (x ^ 2 + y) [] | 126 | reductions (x^2 + y) [] `shouldBe` (x^2 + y) | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:126:44: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:126:44 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:126:45 " In the first argument of (+), namely x ^ 2 In the second argument of shouldBe, namely (x ^ 2 + y) In a stmt of a 'do' block: reductions (x ^ 2 + y) [] `shouldBe` (x ^ 2 + y) | 126 | reductions (x^2 + y) [] `shouldBe` (x^2 + y) | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:132:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:132:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:132:17 " In the first argument of (+), namely x ^ 2 In the expression: x ^ 2 + x * y In an equation for f: f = x ^ 2 + x * y | 132 | let f = x^2 + x*y | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:143:33: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:143:33 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:143:34 " In the second argument of (*), namely (y ^ 2) In the second argument of (+), namely (- 3) * (y ^ 2) In the first argument of (+), namely 1 + (- 1) * (x) + (- 3) * (y ^ 2) | 143 | 1 + (-1)*(x) + (-3)*(y^2) + y^3, | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:143:40: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:143:40 (Num b0) arising from the literal 3 at test/Algebra/CAS/GrobnerBasisSpec.hs:143:41 " In the second argument of (+), namely y ^ 3 In the expression: 1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3 In the second argument of shouldBe, namely [1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3, 1 + (- 1) * (x ^ 2) + y ^ 2, 4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y), - 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4) + (- 1) * (y) + (x) * (y), ....] | 143 | 1 + (-1)*(x) + (-3)*(y^2) + y^3, | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:144:22: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:144:22 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:144:23 " In the second argument of (*), namely (x ^ 2) In the second argument of (+), namely (- 1) * (x ^ 2) In the first argument of (+), namely 1 + (- 1) * (x ^ 2) | 144 | 1 + (-1)*(x^2) + y^2, | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:144:29: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:144:29 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:144:30 " In the second argument of (+), namely y ^ 2 In the expression: 1 + (- 1) * (x ^ 2) + y ^ 2 In the second argument of shouldBe, namely [1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3, 1 + (- 1) * (x ^ 2) + y ^ 2, 4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y), - 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4) + (- 1) * (y) + (x) * (y), ....] | 144 | 1 + (-1)*(x^2) + y^2, | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:145:33: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:145:33 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:145:34 " In the second argument of (*), namely (x ^ 2) In the second argument of (+), namely (- 3) * (x ^ 2) In the first argument of (+), namely 4 + (- 1) * (x) + (- 3) * (x ^ 2) | 145 | 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y), | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:145:52: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:145:52 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:145:53 " In the first argument of (*), namely (x ^ 2) In the second argument of (+), namely (x ^ 2) * (y) In the expression: 4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y) | 145 | 4 + (-1)*(x) + (-3)*(x^2) + (-1)*(y) + (x^2)*(y), | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:146:34: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:146:34 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:146:35 " In the second argument of (*), namely (x ^ 2) In the second argument of (+), namely (11) * (x ^ 2) In the first argument of (+), namely - 13 + (3) * (x) + (11) * (x ^ 2) | 146 | -13 + (3)*(x) + (11)*(x^2) + (-1)*(x^4) + (-1)*(y) + (x)*(y), | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:146:47: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:146:47 (Num b0) arising from the literal 4 at test/Algebra/CAS/GrobnerBasisSpec.hs:146:48 " In the second argument of (*), namely (x ^ 4) In the second argument of (+), namely (- 1) * (x ^ 4) In the first argument of (+), namely - 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4) | 146 | -13 + (3)*(x) + (11)*(x^2) + (-1)*(x^4) + (-1)*(y) + (x)*(y), | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:147:34: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:147:34 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:147:35 " In the second argument of (*), namely (x ^ 2) In the second argument of (+), namely (26) * (x ^ 2) In the first argument of (+), namely - 17 + (8) * (x) + (26) * (x ^ 2) | 147 | -17 + (8)*(x) + (26)*(x^2) + (-6)*(x^3) + (-12)*(x^4) + x^6, | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:147:47: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:147:47 (Num b0) arising from the literal 3 at test/Algebra/CAS/GrobnerBasisSpec.hs:147:48 " In the second argument of (*), namely (x ^ 3) In the second argument of (+), namely (- 6) * (x ^ 3) In the first argument of (+), namely - 17 + (8) * (x) + (26) * (x ^ 2) + (- 6) * (x ^ 3) | 147 | -17 + (8)*(x) + (26)*(x^2) + (-6)*(x^3) + (-12)*(x^4) + x^6, | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:147:61: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:147:61 (Num b0) arising from the literal 4 at test/Algebra/CAS/GrobnerBasisSpec.hs:147:62 " In the second argument of (*), namely (x ^ 4) In the second argument of (+), namely (- 12) * (x ^ 4) In the first argument of (+), namely - 17 + (8) * (x) + (26) * (x ^ 2) + (- 6) * (x ^ 3) + (- 12) * (x ^ 4) | 147 | -17 + (8)*(x) + (26)*(x^2) + (-6)*(x^3) + (-12)*(x^4) + x^6, | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:147:68: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:147:68 (Num b0) arising from the literal 6 at test/Algebra/CAS/GrobnerBasisSpec.hs:147:69 " In the second argument of (+), namely x ^ 6 In the expression: - 17 + (8) * (x) + (26) * (x ^ 2) + (- 6) * (x ^ 3) + (- 12) * (x ^ 4) + x ^ 6 In the second argument of shouldBe, namely [1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3, 1 + (- 1) * (x ^ 2) + y ^ 2, 4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y), - 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4) + (- 1) * (y) + (x) * (y), ....] | 147 | -17 + (8)*(x) + (26)*(x^2) + (-6)*(x^3) + (-12)*(x^4) + x^6, | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:148:34: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:148:34 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:148:35 " In the second argument of (*), namely (x ^ 2) In the second argument of (+), namely (- 17) * (x ^ 2) In the first argument of (+), namely 17 + (9) * (x) + (- 17) * (x ^ 2) | 148 | 17 + (9)*(x) + (-17)*(x^2) + (-11)*(x^3) + x^4 + x^5 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:148:48: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:148:48 (Num b0) arising from the literal 3 at test/Algebra/CAS/GrobnerBasisSpec.hs:148:49 " In the second argument of (*), namely (x ^ 3) In the second argument of (+), namely (- 11) * (x ^ 3) In the first argument of (+), namely 17 + (9) * (x) + (- 17) * (x ^ 2) + (- 11) * (x ^ 3) | 148 | 17 + (9)*(x) + (-17)*(x^2) + (-11)*(x^3) + x^4 + x^5 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:148:55: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:148:55 (Num b0) arising from the literal 4 at test/Algebra/CAS/GrobnerBasisSpec.hs:148:56 " In the second argument of (+), namely x ^ 4 In the first argument of (+), namely 17 + (9) * (x) + (- 17) * (x ^ 2) + (- 11) * (x ^ 3) + x ^ 4 In the expression: 17 + (9) * (x) + (- 17) * (x ^ 2) + (- 11) * (x ^ 3) + x ^ 4 + x ^ 5 | 148 | 17 + (9)*(x) + (-17)*(x^2) + (-11)*(x^3) + x^4 + x^5 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:148:61: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:148:61 (Num b0) arising from the literal 5 at test/Algebra/CAS/GrobnerBasisSpec.hs:148:62 " In the second argument of (+), namely x ^ 5 In the expression: 17 + (9) * (x) + (- 17) * (x ^ 2) + (- 11) * (x ^ 3) + x ^ 4 + x ^ 5 In the second argument of shouldBe, namely [1 + (- 1) * (x) + (- 3) * (y ^ 2) + y ^ 3, 1 + (- 1) * (x ^ 2) + y ^ 2, 4 + (- 1) * (x) + (- 3) * (x ^ 2) + (- 1) * (y) + (x ^ 2) * (y), - 13 + (3) * (x) + (11) * (x ^ 2) + (- 1) * (x ^ 4) + (- 1) * (y) + (x) * (y), ....] | 148 | 17 + (9)*(x) + (-17)*(x^2) + (-11)*(x^3) + x^4 + x^5 | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:152:33: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:152:33 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:152:34 " In the second argument of (*), namely x ^ 2 In the first argument of (+), namely 2 * x ^ 2 In the expression: 2 * x ^ 2 + 4 * x | 152 | let gb = grobnerBasis [2*x^2 + 4*x] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:154: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." | 154 | head gb `shouldBe` (x^2 + 2*x) | ^^^^ test/Algebra/CAS/GrobnerBasisSpec.hs:154:28: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:154:28 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:154:29 " In the first argument of (+), namely x ^ 2 In the second argument of shouldBe, namely (x ^ 2 + 2 * x) In a stmt of a 'do' block: head gb `shouldBe` (x ^ 2 + 2 * x) | 154 | head gb `shouldBe` (x^2 + 2*x) | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:163:21: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:163:21 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:163:22 " In the first argument of (+), namely x ^ 2 In the expression: x ^ 2 + 1 In the expression: [x ^ 2 + 1, y ^ 2 + 1] | 163 | let polys = [x^2 + 1, y^2 + 1] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:163:30: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:163:30 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:163:31 " In the first argument of (+), namely y ^ 2 In the expression: y ^ 2 + 1 In the expression: [x ^ 2 + 1, y ^ 2 + 1] | 163 | let polys = [x^2 + 1, y^2 + 1] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:175:22: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:175:22 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:175:23 " In the first argument of (+), namely x ^ 2 In the expression: x ^ 2 + y In the first argument of grobnerBasis, namely [x ^ 2 + y] | 175 | grobnerBasis [x^2 + y] `shouldSatisfy` (not . null) | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:178:33: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:178:33 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:178:34 " In the second argument of (*), namely x ^ 2 In the first argument of (+), namely 2 * x ^ 2 In the expression: 2 * x ^ 2 + 4 * x | 178 | let gb = grobnerBasis [2*x^2 + 4*x, 3*y^2 + 6*y] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:178:46: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:178:46 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:178:47 " In the second argument of (*), namely y ^ 2 In the first argument of (+), namely 3 * y ^ 2 In the expression: 3 * y ^ 2 + 6 * y | 178 | let gb = grobnerBasis [2*x^2 + 4*x, 3*y^2 + 6*y] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:180:23: warning: [GHC-63397] [-Wname-shadowing] This binding for c shadows the existing binding defined at test/Algebra/CAS/GrobnerBasisSpec.hs:24:1 | 180 | all (\f -> let (c, _) = headV f in c == 1 || c == (-1)) gb `shouldBe` True | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:183:31: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:183:31 (Num b0) arising from the literal 2 at test/Algebra/CAS/GrobnerBasisSpec.hs:183:32 " In the first argument of (-), namely x ^ 2 In the expression: x ^ 2 - y In the first argument of grobnerBasis, namely [x ^ 2 - y, x ^ 3 - x] | 183 | let gb = grobnerBasis [x^2 - y, x^3 - x] | ^ test/Algebra/CAS/GrobnerBasisSpec.hs:183:40: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/GrobnerBasisSpec.hs:183:40 (Num b0) arising from the literal 3 at test/Algebra/CAS/GrobnerBasisSpec.hs:183:41 " In the first argument of (-), namely x ^ 3 In the expression: x ^ 3 - x In the first argument of grobnerBasis, namely [x ^ 2 - y, x ^ 3 - x] | 183 | let gb = grobnerBasis [x^2 - y, x^3 - x] | ^ [4 of 7] Compiling Algebra.CAS.IntegrateSpec ( test/Algebra/CAS/IntegrateSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/IntegrateSpec.o ) test/Algebra/CAS/IntegrateSpec.hs:30:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:30:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:30:17 " In the expression: x ^ 2 In an equation for f: f = x ^ 2 In the second argument of ($), namely do let f = x ^ 2 let res = integrate f x expand (diff res x) `shouldBe` f | 30 | let f = x^2 | ^ test/Algebra/CAS/IntegrateSpec.hs:35:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:35:16 (Num b0) arising from the literal 3 at test/Algebra/CAS/IntegrateSpec.hs:35:17 " In the expression: x ^ 3 In an equation for f: f = x ^ 3 In the second argument of ($), namely do let f = x ^ 3 let res = integrate f x expand (diff res x) `shouldBe` f | 35 | let f = x^3 | ^ test/Algebra/CAS/IntegrateSpec.hs:40:18: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:40:18 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:40:19 " In the second argument of (*), namely x ^ 2 In the expression: 3 * x ^ 2 In an equation for f: f = 3 * x ^ 2 | 40 | let f = 3*x^2 | ^ test/Algebra/CAS/IntegrateSpec.hs:50:18: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:50:18 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:50:19 " In the second argument of (*), namely x ^ 2 In the first argument of (+), namely 3 * x ^ 2 In the first argument of (+), namely 3 * x ^ 2 + 2 * x | 50 | let f = 3*x^2 + 2*x + 1 | ^ test/Algebra/CAS/IntegrateSpec.hs:88:25: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:88:25 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:88:26 " In the first argument of (+), namely x ^ 2 In the first argument of candidateDegree, namely (x ^ 2 + 1) In the first argument of shouldBe, namely candidateDegree (x ^ 2 + 1) x | 88 | candidateDegree (x^2 + 1) x `shouldBe` 3 | ^ test/Algebra/CAS/IntegrateSpec.hs:98:20: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:98:20 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:98:21 " In the first argument of (+), namely x ^ 2 In the first argument of isRational, namely (x ^ 2 + 1) In the first argument of shouldBe, namely isRational (x ^ 2 + 1) x | 98 | isRational (x^2 + 1) x `shouldBe` True | ^ test/Algebra/CAS/IntegrateSpec.hs:105:43: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:105:43 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:105:44 " In the first argument of extendedEuclidean, namely (x ^ 2) In the expression: extendedEuclidean (x ^ 2) x x In a pattern binding: (g, s, t) = extendedEuclidean (x ^ 2) x x | 105 | let (g, s, t) = extendedEuclidean (x^2) x x | ^ test/Algebra/CAS/IntegrateSpec.hs:107:18: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:107:18 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:107:19 " In the second argument of (*), namely x ^ 2 In the first argument of (+), namely s * x ^ 2 In the first argument of expand, namely (s * x ^ 2 + t * x) | 107 | expand (s*x^2 + t*x) `shouldBe` g | ^ test/Algebra/CAS/IntegrateSpec.hs:110:43: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:110:43 (Num b0) arising from the literal 3 at test/Algebra/CAS/IntegrateSpec.hs:110:44 " In the first argument of extendedEuclidean, namely (x ^ 3) In the expression: extendedEuclidean (x ^ 3) (x ^ 2) x In a pattern binding: (g, s, t) = extendedEuclidean (x ^ 3) (x ^ 2) x | 110 | let (g, s, t) = extendedEuclidean (x^3) (x^2) x | ^ test/Algebra/CAS/IntegrateSpec.hs:110:49: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:110:49 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:110:50 " In the second argument of extendedEuclidean, namely (x ^ 2) In the expression: extendedEuclidean (x ^ 3) (x ^ 2) x In a pattern binding: (g, s, t) = extendedEuclidean (x ^ 3) (x ^ 2) x | 110 | let (g, s, t) = extendedEuclidean (x^3) (x^2) x | ^ test/Algebra/CAS/IntegrateSpec.hs:111:18: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:111:18 (Num b0) arising from the literal 3 at test/Algebra/CAS/IntegrateSpec.hs:111:19 " In the second argument of (*), namely x ^ 3 In the first argument of (+), namely s * x ^ 3 In the first argument of expand, namely (s * x ^ 3 + t * x ^ 2) | 111 | expand (s*x^3 + t*x^2) `shouldBe` g | ^ test/Algebra/CAS/IntegrateSpec.hs:111:26: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:111:26 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:111:27 " In the second argument of (*), namely x ^ 2 In the second argument of (+), namely t * x ^ 2 In the first argument of expand, namely (s * x ^ 3 + t * x ^ 2) | 111 | expand (s*x^3 + t*x^2) `shouldBe` g | ^ test/Algebra/CAS/IntegrateSpec.hs:123:34: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:123:34 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:123:35 " In the first argument of quotRemPoly, namely (x ^ 2) In the expression: quotRemPoly (x ^ 2) x x In a pattern binding: (q, r) = quotRemPoly (x ^ 2) x x | 123 | let (q, r) = quotRemPoly (x^2) x x | ^ test/Algebra/CAS/IntegrateSpec.hs:124:36: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:124:36 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:124:37 " In the second argument of shouldBe, namely x ^ 2 In a stmt of a 'do' block: expand (q * x + r) `shouldBe` x ^ 2 In the second argument of ($), namely do let (q, r) = quotRemPoly (x ^ 2) x x expand (q * x + r) `shouldBe` x ^ 2 degree r `shouldSatisfy` (< 1) | 124 | expand (q*x + r) `shouldBe` x^2 | ^ test/Algebra/CAS/IntegrateSpec.hs:128:34: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:128:34 (Num b0) arising from the literal 3 at test/Algebra/CAS/IntegrateSpec.hs:128:35 " In the first argument of (+), namely x ^ 3 In the first argument of quotRemPoly, namely (x ^ 3 + x) In the expression: quotRemPoly (x ^ 3 + x) x x | 128 | let (q, r) = quotRemPoly (x^3 + x) x x | ^ test/Algebra/CAS/IntegrateSpec.hs:129:36: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:129:36 (Num b0) arising from the literal 3 at test/Algebra/CAS/IntegrateSpec.hs:129:37 " In the first argument of (+), namely x ^ 3 In the second argument of shouldBe, namely x ^ 3 + x In a stmt of a 'do' block: expand (q * x + r) `shouldBe` x ^ 3 + x | 129 | expand (q*x + r) `shouldBe` x^3 + x | ^ test/Algebra/CAS/IntegrateSpec.hs:133:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:133:16 (Num b0) arising from the literal 4 at test/Algebra/CAS/IntegrateSpec.hs:133:17 " In the first argument of (+), namely x ^ 4 In the first argument of (+), namely x ^ 4 + 2 * x ^ 3 In the expression: x ^ 4 + 2 * x ^ 3 + x | 133 | let f = x^4 + 2*x^3 + x | ^ test/Algebra/CAS/IntegrateSpec.hs:133:24: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:133:24 (Num b0) arising from the literal 3 at test/Algebra/CAS/IntegrateSpec.hs:133:25 " In the second argument of (*), namely x ^ 3 In the second argument of (+), namely 2 * x ^ 3 In the first argument of (+), namely x ^ 4 + 2 * x ^ 3 | 133 | let f = x^4 + 2*x^3 + x | ^ test/Algebra/CAS/IntegrateSpec.hs:143:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:143:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:143:17 " In the expression: x ^ 2 In an equation for f: f = x ^ 2 In the second argument of ($), namely do let f = x ^ 2 let g = x ^ 3 let lhs = integrate (2 * f + 3 * g) x let rhs = 2 * integrate f x + 3 * integrate g x .... | 143 | let f = x^2 | ^ test/Algebra/CAS/IntegrateSpec.hs:144:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:144:16 (Num b0) arising from the literal 3 at test/Algebra/CAS/IntegrateSpec.hs:144:17 " In the expression: x ^ 3 In an equation for g: g = x ^ 3 In the second argument of ($), namely do let f = x ^ 2 let g = x ^ 3 let lhs = integrate (2 * f + 3 * g) x let rhs = 2 * integrate f x + 3 * integrate g x .... | 144 | let g = x^3 | ^ test/Algebra/CAS/IntegrateSpec.hs:166:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:166:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:166:17 " In the first argument of (*), namely x ^ 2 In the expression: x ^ 2 * exp (x) In an equation for f: f = x ^ 2 * exp (x) | 166 | let f = x^2 * exp(x) | ^ test/Algebra/CAS/IntegrateSpec.hs:189:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at test/Algebra/CAS/IntegrateSpec.hs:189:16 (Num b0) arising from the literal 2 at test/Algebra/CAS/IntegrateSpec.hs:189:17 " In the expression: x ^ 2 In an equation for f: f = x ^ 2 In the second argument of ($), namely do let f = x ^ 2 let res = rischNorman' f x expand (diff res x) `shouldBe` expand f | 189 | let f = x^2 | ^ [5 of 7] Compiling Algebra.CAS.SolveSpec ( test/Algebra/CAS/SolveSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/SolveSpec.o ) test/Algebra/CAS/SolveSpec.hs:66:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 66 | let [a0,a1,a2] = map CV ["a0","a1","a2"] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ test/Algebra/CAS/SolveSpec.hs:72:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [Formula] not matched: [] [_] [_, _] (_:_:_:_:_) | 72 | let [a0,a1,a2] = map V ["a0","a1","a2"] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [6 of 7] Compiling Algebra.CAS.THSpec ( test/Algebra/CAS/THSpec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Algebra/CAS/THSpec.o ) test/Algebra/CAS/THSpec.hs:20:32: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Eq a0) arising from a use of == at test/Algebra/CAS/THSpec.hs:20:32-33 (Num a0) arising from the literal 1 at test/Algebra/CAS/THSpec.hs:20:8-30 " In the expression: (1) == 1 In the second argument of ($), namely \ (x :: Int) -> (1) == 1 In a stmt of a 'do' block: prop "diff(x+1,x)" $ \ (x :: Int) -> (1) == 1 | 20 | $(TH.diff [|x+1|] [|x|]) == 1 | ^^ [7 of 7] Compiling Main ( test/Spec.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec-tmp/Main.o ) [8 of 8] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/build/spec/spec Running 2 test suites... Test suite doctests: RUNNING... Test suite doctests: FAIL Test suite logged to: /var/lib/hackage-doc-builder/build-cache/tmp-install/reports/th-cas-0.2.0.test Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/hpc/vanilla/html/doctests/hpc_index.html Test suite spec: RUNNING... Test suite spec: PASS Test suite logged to: /var/lib/hackage-doc-builder/build-cache/tmp-install/reports/th-cas-0.2.0.test Writing: th-cas-0.2.0-inplace/Algebra.CAS.Solve.hs.html Writing: th-cas-0.2.0-inplace/Algebra.CAS.Integrate.hs.html Writing: th-cas-0.2.0-inplace/Algebra.CAS.GrobnerBasis.hs.html Writing: th-cas-0.2.0-inplace/Algebra.CAS.Diff.hs.html Writing: th-cas-0.2.0-inplace/Algebra.CAS.Base.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/hpc/vanilla/html/spec/hpc_index.html 1 of 2 test suites (1 of 2 test cases) passed. Writing: th-cas-0.2.0-inplace/Algebra.CAS.Base.hs.html Writing: th-cas-0.2.0-inplace/Algebra.CAS.Diff.hs.html Writing: th-cas-0.2.0-inplace/Algebra.CAS.GrobnerBasis.hs.html Writing: th-cas-0.2.0-inplace/Algebra.CAS.Integrate.hs.html Writing: th-cas-0.2.0-inplace/Algebra.CAS.Solve.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Package coverage report written to /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/th-cas-0.2.0/noopt/hpc/vanilla/html/th-cas-0.2.0/hpc_index.html Error: cabal: Tests failed for th-cas-0.2.0.