[all reports]
| Package |
logic-TPTP-0.5.1.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-09-04 15:29:39.450022084 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
QuickCheck-2.15.0.1, ansi-wl-pprint-0.6.9, array-0.5.5.0, base-4.18.1.0, containers-0.6.7, mtl-2.3.1, pointed-5.0.4, semigroups-0.20, syb-0.7.2.4, transformers-0.6.1.0, transformers-compat-0.7.2 |
| Flags |
-buildtestprograms
|
Code Coverage
| expressions | 38% (3566/9321) |
|---|
| boolean | guards | 21% (3/14) |
|---|
| conditions | 37% (3/8) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 35% (148/418) |
|---|
| local declarations | 36% (39/108) |
|---|
| top-level declarations | 25% (511/2001) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting StateVar-1.2.2
Starting assoc-1.1.1
Starting base-orphans-0.9.2
Starting data-default-class-0.1.2.0
Starting indexed-traversable-0.1.4
Starting semigroups-0.20
Starting bytestring-0.12.1.0
Starting tagged-0.8.8
Starting th-abstraction-0.7.0.0
Starting void-0.7.3
Starting syb-0.7.2.4
Starting splitmix-0.1.0.5
Starting transformers-compat-0.7.2
Starting colour-2.3.6
Building indexed-traversable-0.1.4
Building assoc-1.1.1
Building StateVar-1.2.2
Building base-orphans-0.9.2
Building semigroups-0.20
Building data-default-class-0.1.2.0
Building void-0.7.3
Building bytestring-0.12.1.0
Building th-abstraction-0.7.0.0
Building tagged-0.8.8
Building syb-0.7.2.4
Building transformers-compat-0.7.2
Building splitmix-0.1.0.5
Building colour-2.3.6
Completed void-0.7.3
Completed data-default-class-0.1.2.0
Completed semigroups-0.20
Completed assoc-1.1.1
Completed StateVar-1.2.2
Starting contravariant-1.5.5
Completed splitmix-0.1.0.5
Building contravariant-1.5.5
Completed tagged-0.8.8
Completed syb-0.7.2.4
Completed base-orphans-0.9.2
Starting distributive-0.6.2.1
Completed transformers-compat-0.7.2
Starting transformers-base-0.4.6
Building distributive-0.6.2.1
Completed colour-2.3.6
Starting ansi-terminal-types-0.11.5
Building transformers-base-0.4.6
Building ansi-terminal-types-0.11.5
Completed indexed-traversable-0.1.4
Completed th-abstraction-0.7.0.0
Completed contravariant-1.5.5
Completed transformers-base-0.4.6
Completed distributive-0.6.2.1
Starting comonad-5.0.8
Completed ansi-terminal-types-0.11.5
Starting ansi-terminal-1.0.2
Building comonad-5.0.8
Building ansi-terminal-1.0.2
Completed ansi-terminal-1.0.2
Starting ansi-wl-pprint-0.6.9
Building ansi-wl-pprint-0.6.9
Completed comonad-5.0.8
Starting bifunctors-5.6.2
Building bifunctors-5.6.2
Completed ansi-wl-pprint-0.6.9
Completed bytestring-0.12.1.0
Starting random-1.2.1.2
Starting os-string-2.0.6
Starting binary-0.8.9.2
Building random-1.2.1.2
Building os-string-2.0.6
Building binary-0.8.9.2
Completed os-string-2.0.6
Starting filepath-1.5.3.0
Building filepath-1.5.3.0
Completed binary-0.8.9.2
Starting text-2.1.1
Building text-2.1.1
Completed bifunctors-5.6.2
Starting profunctors-5.6.2
Building profunctors-5.6.2
Completed random-1.2.1.2
Starting QuickCheck-2.15.0.1
Building QuickCheck-2.15.0.1
Completed filepath-1.5.3.0
Completed profunctors-5.6.2
Completed QuickCheck-2.15.0.1
Completed text-2.1.1
Starting hashable-1.5.0.0
Building hashable-1.5.0.0
Completed hashable-1.5.0.0
Starting unordered-containers-0.2.20
Building unordered-containers-0.2.20
Completed unordered-containers-0.2.20
Starting invariant-0.6.3
Starting semigroupoids-6.0.1
Building invariant-0.6.3
Building semigroupoids-6.0.1
Completed invariant-0.6.3
Completed semigroupoids-6.0.1
Starting free-5.2
Building free-5.2
Completed free-5.2
Starting adjunctions-4.4.2
Building adjunctions-4.4.2
Completed adjunctions-4.4.2
Starting kan-extensions-5.2.6
Building kan-extensions-5.2.6
Completed kan-extensions-5.2.6
Starting pointed-5.0.4
Building pointed-5.0.4
Completed pointed-5.0.4
Downloading logic-TPTP-0.5.1.0
Downloaded logic-TPTP-0.5.1.0
Starting logic-TPTP-0.5.1.0
Building logic-TPTP-0.5.1.0
Completed logic-TPTP-0.5.1.0
Test log
[view raw]
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