Resolving dependencies... Build profile: -w ghc-9.6.3 -O0 In order, the following will be built (use -v for more details): - pointed-5.0.4 (lib:pointed) (requires build) - logic-TPTP-0.5.1.0 (first run) Starting pointed-5.0.4 (all, legacy fallback) Building pointed-5.0.4 (all, legacy fallback) Installing pointed-5.0.4 (all, legacy fallback) Completed pointed-5.0.4 (all, legacy fallback) Configuring logic-TPTP-0.5.1.0... Preprocessing library for logic-TPTP-0.5.1.0.. unused rules: 3 unused terminals: 3 shift/reduce conflicts: 2 unused rules: 3 unused terminals: 3 shift/reduce conflicts: 2 Building library for logic-TPTP-0.5.1.0.. Codec/TPTP/Base.hs:5:5: warning: [-Wdeprecated-flags] -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS | 5 | , OverlappingInstances, ScopedTypeVariables | ^^^^^^^^^^^^^^^^^^^^ Codec/TPTP/Pretty.hs:5:5: warning: [-Wdeprecated-flags] -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS | 5 | , OverlappingInstances, RankNTypes, PatternGuards | ^^^^^^^^^^^^^^^^^^^^ Codec/TPTP/Export.hs:5:5: warning: [-Wdeprecated-flags] -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS | 5 | , OverlappingInstances, RankNTypes | ^^^^^^^^^^^^^^^^^^^^ Codec/TPTP/Diff.hs:5:5: warning: [-Wdeprecated-flags] -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS | 5 | , OverlappingInstances, OverloadedStrings, RankNTypes | ^^^^^^^^^^^^^^^^^^^^ Codec/TPTP/QuickCheck.hs:5:5: warning: [-Wdeprecated-flags] -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS | 5 | , OverlappingInstances, RankNTypes, PatternGuards | ^^^^^^^^^^^^^^^^^^^^ [ 1 of 11] Compiling Codec.TPTP.QuickCheck ( Codec/TPTP/QuickCheck.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/QuickCheck.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/QuickCheck.dyn_o ) Codec/TPTP/QuickCheck.hs:12:1: warning: [-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() | 12 | import Control.Applicative | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 2 of 11] Compiling Codec.TPTP.Base ( Codec/TPTP/Base.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Base.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Base.dyn_o ) Codec/TPTP/Base.hs:26:1: warning: [-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() | 26 | import Data.Semigroup (Semigroup) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 3 of 11] Compiling Codec.TPTP.Export ( Codec/TPTP/Export.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Export.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Export.dyn_o ) [ 4 of 11] Compiling Codec.TPTP.Pretty ( Codec/TPTP/Pretty.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Pretty.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Pretty.dyn_o ) [ 5 of 11] Compiling Codec.TPTP.Diff ( Codec/TPTP/Diff.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Diff.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Diff.dyn_o ) [ 6 of 11] Compiling Lexer ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Lexer.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Lexer.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Lexer.dyn_o ) [ 7 of 11] Compiling Parser ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Parser.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Parser.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Parser.dyn_o ) [ 8 of 11] Compiling ParserC ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/ParserC.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/ParserC.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/ParserC.dyn_o ) [ 9 of 11] Compiling Codec.TPTP.Import ( Codec/TPTP/Import.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Import.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP/Import.dyn_o ) [10 of 11] Compiling Codec.TPTP ( Codec/TPTP.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Codec/TPTP.dyn_o ) [11 of 11] Compiling Util ( Util.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Util.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/Util.dyn_o ) Preprocessing test suite 'TestImportExportRandom' for logic-TPTP-0.5.1.0.. Building test suite 'TestImportExportRandom' for logic-TPTP-0.5.1.0.. [1 of 2] Compiling Common ( testing/Common.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/TestImportExportRandom/TestImportExportRandom-tmp/Common.o ) testing/Common.hs:7:1: warning: [-Wunused-imports] The import of Data.Monoid is redundant except perhaps to import instances from Data.Monoid To import instances alone, use: import Data.Monoid() | 7 | import Data.Monoid | ^^^^^^^^^^^^^^^^^^ [2 of 2] Compiling Main ( testing/TestImportExportRandom.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/TestImportExportRandom/TestImportExportRandom-tmp/Main.o ) testing/TestImportExportRandom.hs:18:11: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type [TPTP_Input] not matched: [] (_:_:_) | 18 | [g] = parse tptp -- $ trace tptp tptp | ^^^^^^^^^^^^^^^^ [3 of 3] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/build/TestImportExportRandom/TestImportExportRandom Running 1 test suites... Test suite TestImportExportRandom: RUNNING... Test suite TestImportExportRandom: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/logic-TPTP-0.5.1.0.test Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Diff.hs.html Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Export.hs.html Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Pretty.hs.html Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Base.hs.html Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Import.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 /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/hpc/vanilla/html/TestImportExportRandom/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Diff.hs.html Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Export.hs.html Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Pretty.hs.html Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Base.hs.html Writing: logic-TPTP-0.5.1.0-inplace/Codec.TPTP.Import.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 /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/logic-TPTP-0.5.1.0/noopt/hpc/vanilla/html/logic-TPTP-0.5.1.0/hpc_index.html