Resolving dependencies... Build profile: -w ghc-9.8.4 -O0 In order, the following will be built (use -v for more details): - alex-3.5.4.0 (exe:alex) (requires build) - cereal-0.5.8.3 (lib:cereal) (requires build) - colour-2.3.6 (lib:colour) (requires build) - dlist-1.0 (lib:dlist) (requires build) - os-string-2.0.8 (lib:os-string) (requires build) - primitive-0.9.1.0 (lib:primitive) (requires build) - split-0.2.5 (lib:split) (requires build) - splitmix-0.1.3.2 (lib:splitmix) (requires build) - symbol-0.2.4.1 (lib:symbol) (requires build) - uglymemo-0.1.0.1 (lib:uglymemo) (requires build) - utf8-string-1.0.2 (lib:utf8-string) (requires build) - ansi-terminal-types-1.1.3 (lib:ansi-terminal-types) (requires build) - hashable-1.5.1.0 (lib:hashable) (requires build) - random-1.3.1 (lib:random) (requires build) - ansi-terminal-1.1.5 (lib:ansi-terminal) (requires build) - unordered-containers-0.2.21 (lib:unordered-containers) (requires build) - QuickCheck-2.17.1.0 (lib:QuickCheck) (requires build) - async-2.2.6 (lib:async) (requires build) - twee-lib-2.6.1 (lib:twee-lib) (requires build) - minisat-0.1.4 (lib:minisat) (requires build) - jukebox-0.5.9 (lib:jukebox) (requires build) - twee-2.6.1 (first run) Configuring alex-3.5.4.0... Preprocessing executable 'alex' for alex-3.5.4.0.. Building executable 'alex' for alex-3.5.4.0.. [ 1 of 19] Compiling DFS ( src/DFS.hs, dist/build/alex/alex-tmp/DFS.o ) [ 2 of 19] Compiling Data.Ranged.Boundaries ( src/Data/Ranged/Boundaries.hs, dist/build/alex/alex-tmp/Data/Ranged/Boundaries.o ) [ 3 of 19] Compiling Data.Ranged.Ranges ( src/Data/Ranged/Ranges.hs, dist/build/alex/alex-tmp/Data/Ranged/Ranges.o ) [ 4 of 19] Compiling Data.Ranged.RangedSet ( src/Data/Ranged/RangedSet.hs, dist/build/alex/alex-tmp/Data/Ranged/RangedSet.o ) [ 5 of 19] Compiling Data.Ranged ( src/Data/Ranged.hs, dist/build/alex/alex-tmp/Data/Ranged.o ) [ 6 of 19] Compiling Paths_alex ( dist/build/alex/autogen/Paths_alex.hs, dist/build/alex/alex-tmp/Paths_alex.o ) [ 7 of 19] Compiling UTF8 ( src/UTF8.hs, dist/build/alex/alex-tmp/UTF8.o ) [ 8 of 19] Compiling CharSet ( src/CharSet.hs, dist/build/alex/alex-tmp/CharSet.o ) [ 9 of 19] Compiling Util ( src/Util.hs, dist/build/alex/alex-tmp/Util.o ) [10 of 19] Compiling AbsSyn ( src/AbsSyn.hs, dist/build/alex/alex-tmp/AbsSyn.o ) [11 of 19] Compiling ParseMonad ( src/ParseMonad.hs, dist/build/alex/alex-tmp/ParseMonad.o ) [12 of 19] Compiling Scan ( src/Scan.hs, dist/build/alex/alex-tmp/Scan.o ) [13 of 19] Compiling Parser ( src/Parser.hs, dist/build/alex/alex-tmp/Parser.o ) [14 of 19] Compiling Output ( src/Output.hs, dist/build/alex/alex-tmp/Output.o ) [15 of 19] Compiling NFA ( src/NFA.hs, dist/build/alex/alex-tmp/NFA.o ) [16 of 19] Compiling Info ( src/Info.hs, dist/build/alex/alex-tmp/Info.o ) [17 of 19] Compiling DFAMin ( src/DFAMin.hs, dist/build/alex/alex-tmp/DFAMin.o ) [18 of 19] Compiling DFA ( src/DFA.hs, dist/build/alex/alex-tmp/DFA.o ) [19 of 19] Compiling Main ( src/Main.hs, dist/build/alex/alex-tmp/Main.o ) [20 of 20] Linking dist/build/alex/alex Installing executable alex in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/alex-3.5.4.0-e9e2d4554ace1082fca1f0c8efb65f7cae4e9707878385ca8aa63f512efcd9fa/bin Warning: The directory /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/alex-3.5.4.0-e9e2d4554ace1082fca1f0c8efb65f7cae4e9707878385ca8aa63f512efcd9fa/bin is not in the system search path. Configuring cereal-0.5.8.3... Preprocessing library for cereal-0.5.8.3.. Building library for cereal-0.5.8.3.. [1 of 4] Compiling Data.Serialize.Get ( src/Data/Serialize/Get.hs, dist/build/Data/Serialize/Get.o, dist/build/Data/Serialize/Get.dyn_o ) [2 of 4] Compiling Data.Serialize.Put ( src/Data/Serialize/Put.hs, dist/build/Data/Serialize/Put.o, dist/build/Data/Serialize/Put.dyn_o ) [3 of 4] Compiling Data.Serialize.IEEE754 ( src/Data/Serialize/IEEE754.hs, dist/build/Data/Serialize/IEEE754.o, dist/build/Data/Serialize/IEEE754.dyn_o ) [4 of 4] Compiling Data.Serialize ( src/Data/Serialize.hs, dist/build/Data/Serialize.o, dist/build/Data/Serialize.dyn_o ) src/Data/Serialize.hs:702:22: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b} | ^ src/Data/Serialize.hs:702:27: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 702 | newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b} | ^ Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/cereal-0.5.8.3-c6b2892b168dd2f364b63c616539ed71c8d94e962dbaa4e86d8cff896c60dede/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-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/colour-2.3.6-1bc3273789052b388bc71f53ac10a073cc4a30f03a6584dc6f830ef26e23fa37/lib Configuring dlist-1.0... Preprocessing library for dlist-1.0.. Building library for dlist-1.0.. [1 of 5] Compiling Data.DList.Internal ( Data/DList/Internal.hs, dist/build/Data/DList/Internal.o, dist/build/Data/DList/Internal.dyn_o ) Data/DList/Internal.hs:642:12: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 642 | instance a ~ Char => IsString (DList a) where | ^ [2 of 5] Compiling Data.DList ( Data/DList.hs, dist/build/Data/DList.o, dist/build/Data/DList.dyn_o ) [3 of 5] Compiling Data.DList.DNonEmpty.Internal ( Data/DList/DNonEmpty/Internal.hs, dist/build/Data/DList/DNonEmpty/Internal.o, dist/build/Data/DList/DNonEmpty/Internal.dyn_o ) Data/DList/DNonEmpty/Internal.hs:459:12: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 459 | instance a ~ Char => IsString (DNonEmpty a) where | ^ [4 of 5] Compiling Data.DList.DNonEmpty ( Data/DList/DNonEmpty.hs, dist/build/Data/DList/DNonEmpty.o, dist/build/Data/DList/DNonEmpty.dyn_o ) [5 of 5] Compiling Data.DList.Unsafe ( Data/DList/Unsafe.hs, dist/build/Data/DList/Unsafe.o, dist/build/Data/DList/Unsafe.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/dlist-1.0-86f33801414c0473ae1fd4662f02a4312e631e921d989de4c3a2796798483375/lib Configuring os-string-2.0.8... Preprocessing library for os-string-2.0.8.. Building library for os-string-2.0.8.. [ 1 of 11] Compiling System.OsString.Data.ByteString.Short.Internal ( System/OsString/Data/ByteString/Short/Internal.hs, dist/build/System/OsString/Data/ByteString/Short/Internal.o, dist/build/System/OsString/Data/ByteString/Short/Internal.dyn_o ) [ 2 of 11] Compiling System.OsString.Data.ByteString.Short ( System/OsString/Data/ByteString/Short.hs, dist/build/System/OsString/Data/ByteString/Short.o, dist/build/System/OsString/Data/ByteString/Short.dyn_o ) [ 3 of 11] Compiling System.OsString.Data.ByteString.Short.Word16 ( System/OsString/Data/ByteString/Short/Word16.hs, dist/build/System/OsString/Data/ByteString/Short/Word16.o, dist/build/System/OsString/Data/ByteString/Short/Word16.dyn_o ) [ 4 of 11] Compiling System.OsString.Internal.Exception ( System/OsString/Internal/Exception.hs, dist/build/System/OsString/Internal/Exception.o, dist/build/System/OsString/Internal/Exception.dyn_o ) [ 5 of 11] Compiling System.OsString.Encoding.Internal ( System/OsString/Encoding/Internal.hs, dist/build/System/OsString/Encoding/Internal.o, dist/build/System/OsString/Encoding/Internal.dyn_o ) System/OsString/Encoding/Internal.hs:23:42: warning: [GHC-38856] [-Wunused-imports] The import of try from module Control.Exception is redundant | 23 | import Control.Exception (SomeException, try, Exception (displayException), evaluate) | ^^^ [ 6 of 11] Compiling System.OsString.Encoding ( System/OsString/Encoding.hs, dist/build/System/OsString/Encoding.o, dist/build/System/OsString/Encoding.dyn_o ) [ 7 of 11] Compiling System.OsString.Internal.Types ( System/OsString/Internal/Types.hs, dist/build/System/OsString/Internal/Types.o, dist/build/System/OsString/Internal/Types.dyn_o ) [ 8 of 11] Compiling System.OsString.Posix ( System/OsString/Posix.hs, dist/build/System/OsString/Posix.o, dist/build/System/OsString/Posix.dyn_o ) [ 9 of 11] Compiling System.OsString.Internal ( System/OsString/Internal.hs, dist/build/System/OsString/Internal.o, dist/build/System/OsString/Internal.dyn_o ) [10 of 11] Compiling System.OsString ( System/OsString.hs, dist/build/System/OsString.o, dist/build/System/OsString.dyn_o ) [11 of 11] Compiling System.OsString.Windows ( System/OsString/Windows.hs, dist/build/System/OsString/Windows.o, dist/build/System/OsString/Windows.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/os-string-2.0.8-a523b3279e1e9a6c69d6adaf4196e3f5b2f65454ef4d11683fd77a738167c3f4/lib Configuring primitive-0.9.1.0... Preprocessing library for primitive-0.9.1.0.. Building library for primitive-0.9.1.0.. [ 1 of 14] Compiling Data.Primitive.Internal.Read ( Data/Primitive/Internal/Read.hs, dist/build/Data/Primitive/Internal/Read.o, dist/build/Data/Primitive/Internal/Read.dyn_o ) [ 2 of 14] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o, dist/build/Data/Primitive/MachDeps.dyn_o ) [ 3 of 14] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o, dist/build/Data/Primitive/Internal/Operations.dyn_o ) [ 4 of 14] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o, dist/build/Control/Monad/Primitive.dyn_o ) [ 5 of 14] Compiling Data.Primitive.MVar ( Data/Primitive/MVar.hs, dist/build/Data/Primitive/MVar.o, dist/build/Data/Primitive/MVar.dyn_o ) [ 6 of 14] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o, dist/build/Data/Primitive/Array.dyn_o ) [ 7 of 14] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o, dist/build/Data/Primitive/MutVar.dyn_o ) [ 8 of 14] Compiling Data.Primitive.SmallArray ( Data/Primitive/SmallArray.hs, dist/build/Data/Primitive/SmallArray.o, dist/build/Data/Primitive/SmallArray.dyn_o ) [ 9 of 14] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o, dist/build/Data/Primitive/Types.dyn_o ) [10 of 14] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o, dist/build/Data/Primitive/ByteArray.dyn_o ) [11 of 14] Compiling Data.Primitive.PrimArray ( Data/Primitive/PrimArray.hs, dist/build/Data/Primitive/PrimArray.o, dist/build/Data/Primitive/PrimArray.dyn_o ) [12 of 14] Compiling Data.Primitive.Ptr ( Data/Primitive/Ptr.hs, dist/build/Data/Primitive/Ptr.o, dist/build/Data/Primitive/Ptr.dyn_o ) [13 of 14] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o, dist/build/Data/Primitive.dyn_o ) [14 of 14] Compiling Data.Primitive.PrimVar ( Data/Primitive/PrimVar.hs, dist/build/Data/Primitive/PrimVar.o, dist/build/Data/Primitive/PrimVar.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/primitive-0.9.1.0-6a2eb9911004fa155aac2d1109fe8460110de8e810719115bf4b4fa7d20f46a6/lib Configuring split-0.2.5... Preprocessing library for split-0.2.5.. Building library for split-0.2.5.. [1 of 2] Compiling Data.List.Split.Internals ( src/Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o, dist/build/Data/List/Split/Internals.dyn_o ) [2 of 2] Compiling Data.List.Split ( src/Data/List/Split.hs, dist/build/Data/List/Split.o, dist/build/Data/List/Split.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/split-0.2.5-f33af888e5d7aae30da13f4007499ef6436bee09a1ae76cd1167bd51d6698972/lib Configuring splitmix-0.1.3.2... Preprocessing library for splitmix-0.1.3.2.. Building library for splitmix-0.1.3.2.. [1 of 3] 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 ) [2 of 3] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o ) [3 of 3] 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-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/splitmix-0.1.3.2-58699aacc13c4e36b3742000d11b8933a456dac329521aa0a8cb8d048d296d12/lib Configuring symbol-0.2.4.1... Preprocessing library for symbol-0.2.4.1.. Building library for symbol-0.2.4.1.. [1 of 2] Compiling Data.Symbol.Unsafe ( Data/Symbol/Unsafe.hs, dist/build/Data/Symbol/Unsafe.o, dist/build/Data/Symbol/Unsafe.dyn_o ) [2 of 2] Compiling Data.Symbol ( Data/Symbol.hs, dist/build/Data/Symbol.o, dist/build/Data/Symbol.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/symbol-0.2.4.1-b680968780ce3dd001e2623c048946f486e4ddb30fa6d7ffc3d4ce13cdfb9cc2/lib Configuring uglymemo-0.1.0.1... Preprocessing library for uglymemo-0.1.0.1.. Building library for uglymemo-0.1.0.1.. [1 of 1] Compiling Data.MemoUgly ( Data/MemoUgly.hs, dist/build/Data/MemoUgly.o, dist/build/Data/MemoUgly.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/uglymemo-0.1.0.1-f7b68946a5d88e5639a654bfe068de219d8f69db9f6534364aeb91cae7edf583/lib Configuring utf8-string-1.0.2... Preprocessing library for utf8-string-1.0.2.. Building library for utf8-string-1.0.2.. [1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o, dist/build/Codec/Binary/UTF8/String.dyn_o ) [2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o, dist/build/Codec/Binary/UTF8/Generic.dyn_o ) Codec/Binary/UTF8/Generic.hs:87:21: warning: [GHC-63394] [-Wx-partial] In the use of tail (imported from Data.List, 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." | 87 | tail = List.tail | ^^^^^^^^^ [3 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o, dist/build/Data/ByteString/Lazy/UTF8.dyn_o ) [4 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o, dist/build/Data/ByteString/UTF8.dyn_o ) [5 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o, dist/build/Data/String/UTF8.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/utf8-string-1.0.2-d290b66489568a7dddb2a70986a20e580e2c0ad40703ee8b17b35c528f41209f/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-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-types-1.1.3-c12c865b524456654e5c4f96ba48bd4de2b3c32e05f6a73c62f9e7fb6779ef8a/lib Configuring hashable-1.5.1.0... Preprocessing library for hashable-1.5.1.0.. Building library for hashable-1.5.1.0.. [ 1 of 10] Compiling Data.Hashable.FFI ( src/Data/Hashable/FFI.hs, dist/build/Data/Hashable/FFI.o, dist/build/Data/Hashable/FFI.dyn_o ) [ 2 of 10] Compiling Data.Hashable.Imports ( src/Data/Hashable/Imports.hs, dist/build/Data/Hashable/Imports.o, dist/build/Data/Hashable/Imports.dyn_o ) [ 3 of 10] Compiling Data.Hashable.Mix ( src/Data/Hashable/Mix.hs, dist/build/Data/Hashable/Mix.o, dist/build/Data/Hashable/Mix.dyn_o ) [ 4 of 10] Compiling Data.Hashable.XXH3 ( src/Data/Hashable/XXH3.hs, dist/build/Data/Hashable/XXH3.o, dist/build/Data/Hashable/XXH3.dyn_o ) [ 5 of 10] Compiling Data.Hashable.LowLevel ( src/Data/Hashable/LowLevel.hs, dist/build/Data/Hashable/LowLevel.o, dist/build/Data/Hashable/LowLevel.dyn_o ) [ 6 of 10] Compiling Data.Hashable.Class ( src/Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o, dist/build/Data/Hashable/Class.dyn_o ) [ 7 of 10] Compiling Data.Hashable.Lifted ( src/Data/Hashable/Lifted.hs, dist/build/Data/Hashable/Lifted.o, dist/build/Data/Hashable/Lifted.dyn_o ) [ 8 of 10] Compiling Data.Hashable.Generic.Instances ( src/Data/Hashable/Generic/Instances.hs, dist/build/Data/Hashable/Generic/Instances.o, dist/build/Data/Hashable/Generic/Instances.dyn_o ) src/Data/Hashable/Generic/Instances.hs:5:14: warning: [GHC-19244] [-Wtrustworthy-safe] Data.Hashable.Generic.Instances is marked as Trustworthy but has been inferred as safe! | 5 | {-# LANGUAGE Trustworthy #-} | ^^^^^^^^^^^ [ 9 of 10] Compiling Data.Hashable.Generic ( src/Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o, dist/build/Data/Hashable/Generic.dyn_o ) [10 of 10] Compiling Data.Hashable ( src/Data/Hashable.hs, dist/build/Data/Hashable.o, dist/build/Data/Hashable.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hashable-1.5.1.0-d0f2aaee592c1c35e01f6385438cc0f1739269f30c4a1ac23f782796910b1fab/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-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/random-1.3.1-79b1fed16911015b00c8c7a45b14fb4ffea87308faf27dc110c73daa7a9a78c6/lib Configuring ansi-terminal-1.1.5... Preprocessing library for ansi-terminal-1.1.5.. Building library for ansi-terminal-1.1.5.. [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-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ansi-terminal-1.1.5-2873f2d80fbc808c646b2811834e8b7f6b7c1b9e8a83ce054930149c491b7ed4/lib Configuring unordered-containers-0.2.21... Preprocessing library for unordered-containers-0.2.21.. Building library for unordered-containers-0.2.21.. [1 of 9] Compiling Data.HashMap.Internal.Array ( Data/HashMap/Internal/Array.hs, dist/build/Data/HashMap/Internal/Array.o, dist/build/Data/HashMap/Internal/Array.dyn_o ) [2 of 9] Compiling Data.HashMap.Internal.List ( Data/HashMap/Internal/List.hs, dist/build/Data/HashMap/Internal/List.o, dist/build/Data/HashMap/Internal/List.dyn_o ) [3 of 9] Compiling Data.HashMap.Internal ( Data/HashMap/Internal.hs, dist/build/Data/HashMap/Internal.o, dist/build/Data/HashMap/Internal.dyn_o ) [4 of 9] Compiling Data.HashMap.Internal.Debug ( Data/HashMap/Internal/Debug.hs, dist/build/Data/HashMap/Internal/Debug.o, dist/build/Data/HashMap/Internal/Debug.dyn_o ) [5 of 9] Compiling Data.HashMap.Internal.Strict ( Data/HashMap/Internal/Strict.hs, dist/build/Data/HashMap/Internal/Strict.o, dist/build/Data/HashMap/Internal/Strict.dyn_o ) [6 of 9] Compiling Data.HashSet.Internal ( Data/HashSet/Internal.hs, dist/build/Data/HashSet/Internal.o, dist/build/Data/HashSet/Internal.dyn_o ) [7 of 9] Compiling Data.HashSet ( Data/HashSet.hs, dist/build/Data/HashSet.o, dist/build/Data/HashSet.dyn_o ) [8 of 9] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o, dist/build/Data/HashMap/Strict.dyn_o ) [9 of 9] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o, dist/build/Data/HashMap/Lazy.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/unordered-containers-0.2.21-240a5dcfb3139287ccaed4f91235d90d2c7fb4b5dab697946cf66b207426998e/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-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/QuickCheck-2.17.1.0-a87806b666f479d7ed4036f3ad35b7a807cd445af1e634fabcc1020223be5d64/lib Configuring async-2.2.6... Preprocessing library for async-2.2.6.. Building library for async-2.2.6.. [1 of 4] Compiling Control.Concurrent.Async.Internal ( Control/Concurrent/Async/Internal.hs, dist/build/Control/Concurrent/Async/Internal.o, dist/build/Control/Concurrent/Async/Internal.dyn_o ) Control/Concurrent/Async/Internal.hs:50:1: warning: [GHC-66111] [-Wunused-imports] The import of Data.Semigroup is redundant except perhaps to import instances from Data.Semigroup To import instances alone, use: import Data.Semigroup() | 50 | import Data.Semigroup (Semigroup((<>))) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [2 of 4] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o, dist/build/Control/Concurrent/Async.dyn_o ) [3 of 4] Compiling Control.Concurrent.Async.Warden ( Control/Concurrent/Async/Warden.hs, dist/build/Control/Concurrent/Async/Warden.o, dist/build/Control/Concurrent/Async/Warden.dyn_o ) [4 of 4] Compiling Control.Concurrent.Stream ( Control/Concurrent/Stream.hs, dist/build/Control/Concurrent/Stream.o, dist/build/Control/Concurrent/Stream.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/async-2.2.6-ebfc8a552c09f32ce653f4b8545e512fc2cf3eba50ebac1183619492cd4db548/lib Configuring twee-lib-2.6.1... Preprocessing library for twee-lib-2.6.1.. Building library for twee-lib-2.6.1.. [ 1 of 25] Compiling Data.ChurchList ( Data/ChurchList.hs, dist/build/Data/ChurchList.o, dist/build/Data/ChurchList.dyn_o ) [ 2 of 25] Compiling Data.DynamicArray ( Data/DynamicArray.hs, dist/build/Data/DynamicArray.o, dist/build/Data/DynamicArray.dyn_o ) [ 3 of 25] Compiling Data.Heap ( Data/Heap.hs, dist/build/Data/Heap.o, dist/build/Data/Heap.dyn_o ) [ 4 of 25] Compiling Data.Intern ( Data/Intern.hs, dist/build/Data/Intern.o, dist/build/Data/Intern.dyn_o ) [ 5 of 25] Compiling Data.Numbered ( Data/Numbered.hs, dist/build/Data/Numbered.o, dist/build/Data/Numbered.dyn_o ) [ 6 of 25] Compiling Data.PackedSequence ( Data/PackedSequence.hs, dist/build/Data/PackedSequence.o, dist/build/Data/PackedSequence.dyn_o ) [ 7 of 25] Compiling Data.BatchedQueue ( Data/BatchedQueue.hs, dist/build/Data/BatchedQueue.o, dist/build/Data/BatchedQueue.dyn_o ) [ 8 of 25] Compiling Twee.Profile ( Twee/Profile.hs, dist/build/Twee/Profile.o, dist/build/Twee/Profile.dyn_o ) [ 9 of 25] Compiling Twee.Task ( Twee/Task.hs, dist/build/Twee/Task.o, dist/build/Twee/Task.dyn_o ) [10 of 25] Compiling Twee.Term.Core ( Twee/Term/Core.hs, dist/build/Twee/Term/Core.o, dist/build/Twee/Term/Core.dyn_o ) [11 of 25] Compiling Twee.Utils ( Twee/Utils.hs, dist/build/Twee/Utils.o, dist/build/Twee/Utils.dyn_o ) [12 of 25] Compiling Twee.Term ( Twee/Term.hs, dist/build/Twee/Term.o, dist/build/Twee/Term.dyn_o ) Twee/Term.hs:68:1: warning: [GHC-66111] [-Wunused-imports] The qualified import of Twee.Term.Core is redundant except perhaps to import instances from Twee.Term.Core To import instances alone, use: import Twee.Term.Core() | 68 | import qualified Twee.Term.Core as Core | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Twee/Term.hs:76:1: warning: [GHC-66111] [-Wunused-imports] The import of Control.Arrow is redundant except perhaps to import instances from Control.Arrow To import instances alone, use: import Control.Arrow() | 76 | import Control.Arrow((&&&)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [13 of 25] Compiling Twee.Pretty ( Twee/Pretty.hs, dist/build/Twee/Pretty.o, dist/build/Twee/Pretty.dyn_o ) [14 of 25] Compiling Twee.Constraints ( Twee/Constraints.hs, dist/build/Twee/Constraints.o, dist/build/Twee/Constraints.dyn_o ) [15 of 25] Compiling Twee.Base ( Twee/Base.hs, dist/build/Twee/Base.o, dist/build/Twee/Base.dyn_o ) [16 of 25] Compiling Twee.Index ( Twee/Index.hs, dist/build/Twee/Index.o, dist/build/Twee/Index.dyn_o ) [17 of 25] Compiling Twee.Equation ( Twee/Equation.hs, dist/build/Twee/Equation.o, dist/build/Twee/Equation.dyn_o ) [18 of 25] Compiling Twee.Proof ( Twee/Proof.hs, dist/build/Twee/Proof.o, dist/build/Twee/Proof.dyn_o ) [19 of 25] Compiling Twee.Rule ( Twee/Rule.hs, dist/build/Twee/Rule.o, dist/build/Twee/Rule.dyn_o ) Twee/Rule.hs:25:1: warning: [GHC-66111] [-Wunused-imports] The import of Debug.Trace is redundant except perhaps to import instances from Debug.Trace To import instances alone, use: import Debug.Trace() | 25 | import Debug.Trace | ^^^^^^^^^^^^^^^^^^ Twee/Rule.hs:26:1: warning: [GHC-66111] [-Wunused-imports] The import of Twee.Pretty is redundant except perhaps to import instances from Twee.Pretty To import instances alone, use: import Twee.Pretty() | 26 | import Twee.Pretty | ^^^^^^^^^^^^^^^^^^ Twee/Rule.hs:27:1: warning: [GHC-66111] [-Wunused-imports] The import of Data.Function is redundant except perhaps to import instances from Data.Function To import instances alone, use: import Data.Function() | 27 | import Data.Function | ^^^^^^^^^^^^^^^^^^^^ Twee/Rule.hs:31:1: warning: [GHC-66111] [-Wunused-imports] The import of Twee.Profile is redundant except perhaps to import instances from Twee.Profile To import instances alone, use: import Twee.Profile() | 31 | import Twee.Profile | ^^^^^^^^^^^^^^^^^^^ Twee/Rule.hs:631:5: warning: [GHC-40910] [-Wunused-local-binds] Defined but not used: normStepsVia | 631 | normStepsVia r t = r `trans1` normSteps (result1 t r) | ^^^^^^^^^^^^ Twee/Rule.hs:663:21: warning: [GHC-40910] [-Wunused-matches] Defined but not used: rs1 | 663 | conflict' t (r1:rs1) u (r2:rs2) v | ^^^ Twee/Rule.hs:663:26: warning: [GHC-40910] [-Wunused-matches] Defined but not used: u | 663 | conflict' t (r1:rs1) u (r2:rs2) v | ^ Twee/Rule.hs:663:32: warning: [GHC-40910] [-Wunused-matches] Defined but not used: rs2 | 663 | conflict' t (r1:rs1) u (r2:rs2) v | ^^^ Twee/Rule.hs:663:37: warning: [GHC-40910] [-Wunused-matches] Defined but not used: v | 663 | conflict' t (r1:rs1) u (r2:rs2) v | ^ [20 of 25] Compiling Twee.Rule.Index ( Twee/Rule/Index.hs, dist/build/Twee/Rule/Index.o, dist/build/Twee/Rule/Index.dyn_o ) [21 of 25] Compiling Twee.Generate ( Twee/Generate.hs, dist/build/Twee/Generate.o, dist/build/Twee/Generate.dyn_o ) Twee/Generate.hs:10:1: warning: [GHC-66111] [-Wunused-imports] The import of Debug.Trace is redundant except perhaps to import instances from Debug.Trace To import instances alone, use: import Debug.Trace() | 10 | import Debug.Trace | ^^^^^^^^^^^^^^^^^^ Twee/Generate.hs:34:9: warning: [GHC-40910] [-Wunused-matches] Defined but not used: f | 34 | | App f psl <- [p] | ^ [22 of 25] Compiling Twee.KBO ( Twee/KBO.hs, dist/build/Twee/KBO.o, dist/build/Twee/KBO.dyn_o ) [23 of 25] Compiling Twee.CP ( Twee/CP.hs, dist/build/Twee/CP.o, dist/build/Twee/CP.dyn_o ) Twee/CP.hs:249:5: warning: [GHC-61505] Pattern match checker ran into -fmax-pmcheck-models=30 limit, so " Redundant clauses might not be reported at all " Redundant clauses might be reported as inaccessible " Patterns reported as unmatched might actually be matched Suggested fix: Increase the limit or resolve the warnings to suppress this message. | 249 | size' !_ !_ !_ | False = undefined | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... Twee/CP.hs:249:22: warning: [GHC-94210] [-Woverlapping-patterns] Pattern match has inaccessible right hand side In an equation for size': size' !_ !_ !_ | False = ... | 249 | size' !_ !_ !_ | False = undefined | ^^^^^ [24 of 25] Compiling Twee.Join ( Twee/Join.hs, dist/build/Twee/Join.o, dist/build/Twee/Join.dyn_o ) Twee/Join.hs:223:14: warning: [GHC-40910] [-Wunused-matches] Defined but not used: top | 223 | Just top | cfg_use_connectedness_in_ground_joining -> | ^^^ [25 of 25] Compiling Twee ( Twee.hs, dist/build/Twee.o, dist/build/Twee.dyn_o ) Twee.hs:44:1: warning: [GHC-66111] [-Wunused-imports] The import of Debug.Trace is redundant except perhaps to import instances from Debug.Trace To import instances alone, use: import Debug.Trace() | 44 | import Debug.Trace | ^^^^^^^^^^^^^^^^^^ Twee.hs:890:24: warning: [GHC-68441] [-Wdeprecations] In the use of split (imported from System.Random, but defined in System.Random.Internal): Deprecated: "In favor of `splitGen`" | 890 | let (g1, g2) = Random.split g in | ^^^^^^^^^^^^ Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/twee-lib-2.6.1-064acf8d297e584e4463436d009f89125a6a81b94bbc246175d2c9b9e18e9476/lib Configuring minisat-0.1.4... Preprocessing library for minisat-0.1.4.. Building library for minisat-0.1.4.. [1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o, dist/build/MiniSat.dyn_o ) Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/minisat-0.1.4-20057628dc1d10f566137deb5dbb7f879abdad6ef1d4d6f6411b5d24738e4069/lib Configuring jukebox-0.5.9... Preprocessing library for jukebox-0.5.9.. Building library for jukebox-0.5.9.. [ 1 of 27] Compiling Jukebox.Name ( src/Jukebox/Name.hs, dist/build/Jukebox/Name.o, dist/build/Jukebox/Name.dyn_o ) [ 2 of 27] Compiling Jukebox.Options ( src/Jukebox/Options.hs, dist/build/Jukebox/Options.o, dist/build/Jukebox/Options.dyn_o ) src/Jukebox/Options.hs:20:1: warning: [GHC-66111] [-Wunused-imports] The import of Data.Semigroup is redundant except perhaps to import instances from Data.Semigroup To import instances alone, use: import Data.Semigroup() | 20 | import Data.Semigroup(Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Jukebox/Options.hs:94:13: warning: [GHC-63394] [-Wx-partial] In the use of tail (imported from Data.List, 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." | 94 | r = tail (dropWhile (/= ',') s) | ^^^^ src/Jukebox/Options.hs:120:13: warning: [GHC-63394] [-Wx-partial] In the use of tail (imported from Data.List, 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." | 120 | r = tail (dropWhile (/= ',') s) | ^^^^ [ 3 of 27] Compiling Jukebox.Sat ( src/Jukebox/Sat.hs, dist/build/Jukebox/Sat.o, dist/build/Jukebox/Sat.dyn_o ) [ 4 of 27] Compiling Jukebox.Sat.Minimise ( src/Jukebox/Sat/Minimise.hs, dist/build/Jukebox/Sat/Minimise.o, dist/build/Jukebox/Sat/Minimise.dyn_o ) [ 5 of 27] Compiling Jukebox.Sat.ThreeValued ( src/Jukebox/Sat/ThreeValued.hs, dist/build/Jukebox/Sat/ThreeValued.o, dist/build/Jukebox/Sat/ThreeValued.dyn_o ) [ 6 of 27] Compiling Jukebox.Sat.Equality ( src/Jukebox/Sat/Equality.hs, dist/build/Jukebox/Sat/Equality.o, dist/build/Jukebox/Sat/Equality.dyn_o ) [ 7 of 27] Compiling Jukebox.TPTP.FindFile ( src/Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o, dist/build/Jukebox/TPTP/FindFile.dyn_o ) [ 8 of 27] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o, dist/build/Jukebox/TPTP/Lexer.dyn_o ) [ 9 of 27] Compiling Jukebox.TPTP.Parsec ( src/Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o, dist/build/Jukebox/TPTP/Parsec.dyn_o ) src/Jukebox/TPTP/Parsec.hs:8:1: warning: [GHC-66111] [-Wunused-imports] The import of Control.Monad.Fail is redundant except perhaps to import instances from Control.Monad.Fail To import instances alone, use: import Control.Monad.Fail() | 8 | import Control.Monad.Fail | ^^^^^^^^^^^^^^^^^^^^^^^^^ src/Jukebox/TPTP/Parsec.hs:36:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical return definition detected in the instance declaration for Monad (Parsec a). return will eventually be removed in favour of pure Suggested fix: Either remove definition for return (recommended) or define as return = pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 36 | return x = Parsec (\ok err inp exp -> ok x err inp exp) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Jukebox/TPTP/Parsec.hs:58:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical pure = return definition detected in the instance declaration for Applicative (Parsec a). Suggested fix: Move definition from return to pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 58 | pure = return | ^^^^^^^^^^^^^ src/Jukebox/TPTP/Parsec.hs:62:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical (*>) = (>>) definition detected in the instance declaration for Applicative (Parsec a). Suggested fix: Move definition from (>>) to (*>) See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 62 | (*>) = (>>) | ^^^^^^^^^^^ [10 of 27] Compiling Jukebox.UnionFind ( src/Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o, dist/build/Jukebox/UnionFind.dyn_o ) [11 of 27] Compiling Jukebox.Utils ( src/Jukebox/Utils.hs, dist/build/Jukebox/Utils.o, dist/build/Jukebox/Utils.dyn_o ) [12 of 27] Compiling Jukebox.Form ( src/Jukebox/Form.hs, dist/build/Jukebox/Form.o, dist/build/Jukebox/Form.dyn_o ) [13 of 27] Compiling Jukebox.Tools.InferTypes ( src/Jukebox/Tools/InferTypes.hs, dist/build/Jukebox/Tools/InferTypes.o, dist/build/Jukebox/Tools/InferTypes.dyn_o ) [14 of 27] Compiling Jukebox.Tools.HornToUnit ( src/Jukebox/Tools/HornToUnit.hs, dist/build/Jukebox/Tools/HornToUnit.o, dist/build/Jukebox/Tools/HornToUnit.dyn_o ) [15 of 27] Compiling Jukebox.Tools.Clausify ( src/Jukebox/Tools/Clausify.hs, dist/build/Jukebox/Tools/Clausify.o, dist/build/Jukebox/Tools/Clausify.dyn_o ) [16 of 27] Compiling Jukebox.Tools.EncodeTypes ( src/Jukebox/Tools/EncodeTypes.hs, dist/build/Jukebox/Tools/EncodeTypes.o, dist/build/Jukebox/Tools/EncodeTypes.dyn_o ) [17 of 27] Compiling Jukebox.TPTP.Print ( src/Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o, dist/build/Jukebox/TPTP/Print.dyn_o ) src/Jukebox/TPTP/Print.hs:230:42: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 230 | escapeAtom s | not (null s') && isLower (head s') && all isNormal s' = s | ^^^^ src/Jukebox/TPTP/Print.hs:366:11: 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." | 366 | head [c | c@(Renaming xs x) <- cands, | ^^^^ [18 of 27] Compiling Jukebox.TPTP.Parse.Core ( src/Jukebox/TPTP/Parse/Core.hs, dist/build/Jukebox/TPTP/Parse/Core.o, dist/build/Jukebox/TPTP/Parse/Core.dyn_o ) src/Jukebox/TPTP/Parse/Core.hs:99:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical pure = return definition detected in the instance declaration for Applicative ParseResult. Suggested fix: Move definition from return to pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 99 | pure = return | ^^^^^^^^^^^^^ src/Jukebox/TPTP/Parse/Core.hs:103:3: warning: [GHC-22705] [-Wnoncanonical-monad-instances] Noncanonical return definition detected in the instance declaration for Monad ParseResult. return will eventually be removed in favour of pure Suggested fix: Either remove definition for return (recommended) or define as return = pure See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 103 | return = ParseSucceeded | ^^^^^^^^^^^^^^^^^^^^^^^ src/Jukebox/TPTP/Parse/Core.hs:341:43: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, 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." | 341 | " has arity " ++ show (head lengths) ++ | ^^^^ src/Jukebox/TPTP/Parse/Core.hs:404:9: warning: [GHC-53633] [-Woverlapping-patterns] Pattern match is redundant In a case alternative: [] -> ... | 404 | [] -> "" | ^^^^^^^^ [19 of 27] Compiling Jukebox.TPTP.ParseSnippet ( src/Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o, dist/build/Jukebox/TPTP/ParseSnippet.dyn_o ) [20 of 27] Compiling Jukebox.Tools.GuessModel ( src/Jukebox/Tools/GuessModel.hs, dist/build/Jukebox/Tools/GuessModel.o, dist/build/Jukebox/Tools/GuessModel.dyn_o ) src/Jukebox/Tools/GuessModel.hs:76:20: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 76 | [] (head (funArgs answerP)) | ^^^^ [21 of 27] Compiling Jukebox.TPTP.Parse ( src/Jukebox/TPTP/Parse.hs, dist/build/Jukebox/TPTP/Parse.o, dist/build/Jukebox/TPTP/Parse.dyn_o ) [22 of 27] Compiling Jukebox.Sat.Easy ( src/Jukebox/Sat/Easy.hs, dist/build/Jukebox/Sat/Easy.o, dist/build/Jukebox/Sat/Easy.dyn_o ) [23 of 27] Compiling Jukebox.Tools.AnalyseMonotonicity ( src/Jukebox/Tools/AnalyseMonotonicity.hs, dist/build/Jukebox/Tools/AnalyseMonotonicity.o, dist/build/Jukebox/Tools/AnalyseMonotonicity.dyn_o ) [24 of 27] Compiling Jukebox.SMTLIB ( src/Jukebox/SMTLIB.hs, dist/build/Jukebox/SMTLIB.o, dist/build/Jukebox/SMTLIB.dyn_o ) [25 of 27] Compiling Jukebox.Toolbox ( src/Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o, dist/build/Jukebox/Toolbox.dyn_o ) [26 of 27] Compiling Jukebox.ExternalProvers.SPASS ( src/Jukebox/ExternalProvers/SPASS.hs, dist/build/Jukebox/ExternalProvers/SPASS.o, dist/build/Jukebox/ExternalProvers/SPASS.dyn_o ) src/Jukebox/ExternalProvers/SPASS.hs:48:3: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 48 | head $ | ^^^^ [27 of 27] Compiling Jukebox.ExternalProvers.E ( src/Jukebox/ExternalProvers/E.hs, dist/build/Jukebox/ExternalProvers/E.o, dist/build/Jukebox/ExternalProvers/E.dyn_o ) src/Jukebox/ExternalProvers/E.hs:48:49: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Prelude, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 48 | wrap <- newFunction "answer" [typ t] (head (funArgs f)) | ^^^^ src/Jukebox/ExternalProvers/E.hs:69:18: 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." | 69 | status = head $ | ^^^^ Preprocessing executable 'jukebox' for jukebox-0.5.9.. Building executable 'jukebox' for jukebox-0.5.9.. [1 of 1] Compiling Main ( executable/Main.hs, dist/build/jukebox/jukebox-tmp/Main.o ) [2 of 2] Linking dist/build/jukebox/jukebox Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/jukebox-0.5.9-1878e46fdc2d04882f0667ff7df72ee1788e5787fa74646bee98d9f757626cd6/lib Installing executable jukebox in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/jukebox-0.5.9-1878e46fdc2d04882f0667ff7df72ee1788e5787fa74646bee98d9f757626cd6/bin Warning: The directory /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-2353046/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/jukebox-0.5.9-1878e46fdc2d04882f0667ff7df72ee1788e5787fa74646bee98d9f757626cd6/bin is not in the system search path. Configuring twee-2.6.1... Preprocessing test suite 'twee-test' for twee-2.6.1.. Building test suite 'twee-test' for twee-2.6.1.. [1 of 1] Compiling Main ( misc/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/twee-2.6.1/noopt/build/twee-test/twee-test-tmp/Main.o ) misc/Test.hs:30:52: error: [GHC-76037] Not in scope: type constructor or class Labelled | 30 | data Func = F Int Integer deriving (Eq, Ord, Show, Labelled) | ^^^^^^^^ misc/Test.hs:62:11: error: [GHC-76037] Not in scope: type constructor or class Labelled | 62 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Fun f) where | ^^^^^^^^ misc/Test.hs:62:78: error: [GHC-76037] Not in scope: type constructor or class Fun Suggested fixes: " Perhaps use Func (line 30) " Remove Fun from the explicit hiding list in the import of Test.QuickCheck (at misc/Test.hs:7:1-45). | 62 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Fun f) where | ^^^ misc/Test.hs:65:11: error: [GHC-76037] Not in scope: type constructor or class Labelled | 65 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Term f) where | ^^^^^^^^ misc/Test.hs:81:11: error: [GHC-76037] Not in scope: type constructor or class Labelled | 81 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (TermList f) where | ^^^^^^^^ misc/Test.hs:87:11: error: [GHC-76037] Not in scope: type constructor or class Labelled | 87 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Pair f) where | ^^^^^^^^ misc/Test.hs:94:11: error: [GHC-76037] Not in scope: type constructor or class Labelled | 94 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Equation f) where | ^^^^^^^^ misc/Test.hs:160:11: error: [GHC-76037] Not in scope: type constructor or class Labelled | 160 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (Terms f) where | ^^^^^^^^ misc/Test.hs:170:11: error: [GHC-76037] Not in scope: type constructor or class Labelled | 170 | instance (Labelled f, Ord f, Typeable f, Arbitrary f, Arity f) => Arbitrary (IndexOps f) where | ^^^^^^^^ misc/Test.hs:253:20: error: [GHC-76037] Not in scope: data constructor Empty | 253 | hnest _ (App _ Empty) c a = max c a | ^^^^^ misc/Test.hs:263:20: error: [GHC-76037] Not in scope: data constructor Empty | 263 | hnest _ (App _ Empty) c = c | ^^^^^ misc/Test.hs:272:13: error: [GHC-76037] Not in scope: data constructor Empty | 272 | hnest _ Empty c a = max c a | ^^^^^ misc/Test.hs:274:26: error: [GHC-76037] Not in scope: data constructor Empty | 274 | hnest f (Cons (App _ Empty) ts) c a = hnest f ts c a | ^^^^^ misc/Test.hs:287:18: error: [GHC-76037] Not in scope: data constructor Empty | 287 | hnest f c as Empty = M.insertWith max f c as | ^^^^^ misc/Test.hs:289:31: error: [GHC-76037] Not in scope: data constructor Empty | 289 | hnest f c as (Cons (App _ Empty) ts) = hnest f c as ts | ^^^^^