[all reports]
| Package |
unique-logic-0.4.0.1 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-01-14 22:05:19.976495243 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, explicit-exception-0.2, transformers-0.5.6.2, utility-ht-0.0.16 |
| Flags |
none
|
Code Coverage
| expressions | 39% (285/716) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 0% (0/2) |
|---|
| local declarations | 100% (2/2) |
|---|
| top-level declarations | 25% (53/211) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting semigroups-0.20
Starting utility-ht-0.0.16
Building utility-ht-0.0.16
Building semigroups-0.20
Completed semigroups-0.20
Starting explicit-exception-0.2
Building explicit-exception-0.2
Completed utility-ht-0.0.16
Completed explicit-exception-0.2
Downloading unique-logic-0.4.0.1
Downloaded unique-logic-0.4.0.1
Starting unique-logic-0.4.0.1
Building unique-logic-0.4.0.1
Completed unique-logic-0.4.0.1
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.2.4 -O0
In order, the following will be built (use -v for more details):
- unique-logic-0.4.0.1 (first run)
Configuring unique-logic-0.4.0.1...
Preprocessing library for unique-logic-0.4.0.1..
Building library for unique-logic-0.4.0.1..
[ 1 of 12] Compiling UniqueLogic.ST.Duplicate ( src/UniqueLogic/ST/Duplicate.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Duplicate.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Duplicate.dyn_o )
[ 2 of 12] Compiling UniqueLogic.ST.Example.Term ( src/UniqueLogic/ST/Example/Term.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Term.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Term.dyn_o )
[ 3 of 12] Compiling UniqueLogic.ST.MonadTrans ( src/UniqueLogic/ST/MonadTrans.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/MonadTrans.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/MonadTrans.dyn_o )
src/UniqueLogic/ST/MonadTrans.hs:13:1: warning: [-Wunused-imports]
The import of <*>, Applicative, pure
from module Control.Applicative is redundant
|
13 | import Control.Applicative (Applicative, pure, (<*>), Const(Const))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/UniqueLogic/ST/MonadTrans.hs:15: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()
|
15 | import Data.Monoid (Monoid, )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 12] Compiling UniqueLogic.ST.System ( src/UniqueLogic/ST/System.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/System.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/System.dyn_o )
src/UniqueLogic/ST/System.hs:38: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()
|
38 | import Control.Applicative (Applicative, pure, (<*>), )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/UniqueLogic/ST/System.hs:43: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()
|
43 | import Data.Monoid (Monoid, )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 5 of 12] Compiling UniqueLogic.ST.Rule ( src/UniqueLogic/ST/Rule.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Rule.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Rule.dyn_o )
[ 6 of 12] Compiling UniqueLogic.ST.Expression ( src/UniqueLogic/ST/Expression.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Expression.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Expression.dyn_o )
src/UniqueLogic/ST/Expression.hs:23:1: warning: [-Wunused-imports]
The import of <*>, Applicative, pure
from module Control.Applicative is redundant
|
23 | import Control.Applicative (Applicative, pure, liftA, liftA2, (<*>), )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 7 of 12] Compiling UniqueLogic.ST.Example.Verify ( src/UniqueLogic/ST/Example/Verify.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Verify.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Verify.dyn_o )
src/UniqueLogic/ST/Example/Verify.hs:19: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()
|
19 | import Control.Applicative (Applicative, pure, (<*>), )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/UniqueLogic/ST/Example/Verify.hs:21:1: warning: [-Wunused-imports]
The qualified import of Prelude is redundant
except perhaps to import instances from Prelude
To import instances alone, use: import Prelude()
|
21 | import qualified Prelude as P
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 8 of 12] Compiling UniqueLogic.ST.System.Label ( src/UniqueLogic/ST/System/Label.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/System/Label.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/System/Label.dyn_o )
src/UniqueLogic/ST/System/Label.hs:28: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()
|
28 | import Data.Monoid (Monoid, )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/UniqueLogic/ST/System/Label.hs:29:1: warning: [-Wunused-imports]
The import of Data.Traversable is redundant
except perhaps to import instances from Data.Traversable
To import instances alone, use: import Data.Traversable()
|
29 | import Data.Traversable (traverse, )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 9 of 12] Compiling UniqueLogic.ST.Example.Label ( src/UniqueLogic/ST/Example/Label.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Label.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Label.dyn_o )
src/UniqueLogic/ST/Example/Label.hs:18:1: warning: [-Wunused-imports]
The qualified import of Prelude is redundant
except perhaps to import instances from Prelude
To import instances alone, use: import Prelude()
|
18 | import qualified Prelude as P
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[10 of 12] Compiling UniqueLogic.ST.System.Simple ( src/UniqueLogic/ST/System/Simple.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/System/Simple.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/System/Simple.dyn_o )
[11 of 12] Compiling UniqueLogic.ST.Example.Rule ( src/UniqueLogic/ST/Example/Rule.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Rule.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Rule.dyn_o )
src/UniqueLogic/ST/Example/Rule.hs:11:1: warning: [-Wunused-imports]
The qualified import of Prelude is redundant
except perhaps to import instances from Prelude
To import instances alone, use: import Prelude()
|
11 | import qualified Prelude as P
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[12 of 12] Compiling UniqueLogic.ST.Example.Expression ( src/UniqueLogic/ST/Example/Expression.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Expression.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/UniqueLogic/ST/Example/Expression.dyn_o )
Preprocessing test suite 'test-unique-logic' for unique-logic-0.4.0.1..
Building test suite 'test-unique-logic' for unique-logic-0.4.0.1..
[1 of 1] Compiling Main ( src/UniqueLogic/ST/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/test-unique-logic/test-unique-logic-tmp/Main.o )
src/UniqueLogic/ST/Test.hs:13: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()
|
13 | import Data.Monoid (Monoid(mempty, mappend))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/UniqueLogic/ST/Test.hs:14: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()
|
14 | import Data.Semigroup (Semigroup((<>)), )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/unique-logic-0.4.0.1/noopt/build/test-unique-logic/test-unique-logic ...
Running 1 test suites...
Test suite test-unique-logic: RUNNING...
Test suite test-unique-logic: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/unique-logic-0.4.0.1.test
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.Rule.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.MonadTrans.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.Expression.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.System.Simple.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.System.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.Duplicate.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.2.4/unique-logic-0.4.0.1/noopt/hpc/vanilla/html/test-unique-logic/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.Rule.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.MonadTrans.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.Expression.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.System.Simple.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.System.hs.html
Writing: unique-logic-0.4.0.1-inplace/UniqueLogic.ST.Duplicate.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.2.4/unique-logic-0.4.0.1/noopt/hpc/vanilla/html/unique-logic-0.4.0.1/hpc_index.html