[all reports]
| Package |
bound-extras-0.0.3 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-08-03 16:38:14.798738765 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, bound-2.0.7, deepseq-1.4.8.1, hashable-1.5.0.0, transformers-0.6.1.0 |
| Flags |
none
|
Code Coverage
| expressions | 23% (77/328) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 50% (1/2) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 28% (8/28) |
|---|
| local declarations | 8% (1/12) |
|---|
| top-level declarations | 13% (11/84) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting StateVar-1.2.2
Starting base-orphans-0.9.2
Starting indexed-traversable-0.1.4
Starting tagged-0.8.8
Starting th-abstraction-0.7.0.0
Starting primitive-0.9.0.0
Starting void-0.7.3
Starting assoc-1.1.1
Starting integer-logarithms-1.0.3.1
Starting transformers-compat-0.7.2
Starting bytestring-0.12.1.0
Building StateVar-1.2.2
Building indexed-traversable-0.1.4
Building base-orphans-0.9.2
Building th-abstraction-0.7.0.0
Building primitive-0.9.0.0
Building assoc-1.1.1
Building tagged-0.8.8
Building void-0.7.3
Building bytestring-0.12.1.0
Building integer-logarithms-1.0.3.1
Building transformers-compat-0.7.2
Completed void-0.7.3
Completed assoc-1.1.1
Completed integer-logarithms-1.0.3.1
Completed StateVar-1.2.2
Starting contravariant-1.5.5
Building contravariant-1.5.5
Completed tagged-0.8.8
Completed transformers-compat-0.7.2
Starting mmorph-1.2.0
Completed base-orphans-0.9.2
Starting distributive-0.6.2.1
Building mmorph-1.2.0
Building distributive-0.6.2.1
Completed indexed-traversable-0.1.4
Completed th-abstraction-0.7.0.0
Completed contravariant-1.5.5
Completed mmorph-1.2.0
Completed distributive-0.6.2.1
Starting comonad-5.0.8
Building comonad-5.0.8
Completed primitive-0.9.0.0
Completed comonad-5.0.8
Starting bifunctors-5.6.2
Building bifunctors-5.6.2
Completed bytestring-0.12.1.0
Starting cereal-0.5.8.3
Starting os-string-2.0.6
Starting binary-0.8.9.2
Building os-string-2.0.6
Building cereal-0.5.8.3
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 binary-orphans-1.0.5
Starting text-2.1.1
Completed cereal-0.5.8.3
Completed bifunctors-5.6.2
Starting profunctors-5.6.2
Building binary-orphans-1.0.5
Building text-2.1.1
Building profunctors-5.6.2
Completed binary-orphans-1.0.5
Completed filepath-1.5.3.0
Completed profunctors-5.6.2
Completed text-2.1.1
Starting hashable-1.5.0.0
Building hashable-1.5.0.0
Completed hashable-1.5.0.0
Starting scientific-0.3.8.0
Starting unordered-containers-0.2.20
Building unordered-containers-0.2.20
Building scientific-0.3.8.0
Completed scientific-0.3.8.0
Completed unordered-containers-0.2.20
Starting bytes-0.17.3
Building bytes-0.17.3
Completed bytes-0.17.3
Starting bound-2.0.7
Building bound-2.0.7
Completed bound-2.0.7
Downloading bound-extras-0.0.3
Downloaded bound-extras-0.0.3
Starting bound-extras-0.0.3
Building bound-extras-0.0.3
Completed bound-extras-0.0.3
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):
- binary-orphans-1.0.5 (lib:binary-orphans) (requires build)
- scientific-0.3.8.0 (lib:scientific) (requires build)
- semigroupoids-6.0.1 (lib:semigroupoids) (requires build)
- text-short-0.1.6 (lib:text-short) (requires build)
- unix-compat-0.7.2 (lib:unix-compat) (requires build)
- utf8-string-1.0.2 (lib:utf8-string) (requires build)
- bytes-0.17.3 (lib:bytes) (requires build)
- free-5.2 (lib:free) (requires build)
- tasty-golden-2.3.4 (lib:tasty-golden) (requires build)
- bound-2.0.7 (lib:bound) (requires build)
- adjunctions-4.4.2 (lib:adjunctions) (requires build)
- bound-extras-0.0.3 (first run)
Starting binary-orphans-1.0.5 (all, legacy fallback)
Starting scientific-0.3.8.0 (all, legacy fallback)
Starting text-short-0.1.6 (all, legacy fallback)
Starting utf8-string-1.0.2 (all, legacy fallback)
Starting semigroupoids-6.0.1 (all, legacy fallback)
Starting unix-compat-0.7.2 (all, legacy fallback)
Building semigroupoids-6.0.1 (all, legacy fallback)
Building binary-orphans-1.0.5 (all, legacy fallback)
Building utf8-string-1.0.2 (all, legacy fallback)
Building scientific-0.3.8.0 (all, legacy fallback)
Building text-short-0.1.6 (all, legacy fallback)
Building unix-compat-0.7.2 (all, legacy fallback)
Installing binary-orphans-1.0.5 (all, legacy fallback)
Installing unix-compat-0.7.2 (all, legacy fallback)
Installing text-short-0.1.6 (all, legacy fallback)
Installing utf8-string-1.0.2 (all, legacy fallback)
Completed binary-orphans-1.0.5 (all, legacy fallback)
Installing scientific-0.3.8.0 (all, legacy fallback)
Completed unix-compat-0.7.2 (all, legacy fallback)
Starting tasty-golden-2.3.4 (all, legacy fallback)
Installing semigroupoids-6.0.1 (all, legacy fallback)
Completed text-short-0.1.6 (all, legacy fallback)
Completed utf8-string-1.0.2 (all, legacy fallback)
Building tasty-golden-2.3.4 (all, legacy fallback)
Installing tasty-golden-2.3.4 (all, legacy fallback)
Completed scientific-0.3.8.0 (all, legacy fallback)
Starting bytes-0.17.3 (all, legacy fallback)
Completed semigroupoids-6.0.1 (all, legacy fallback)
Starting free-5.2 (all, legacy fallback)
Completed tasty-golden-2.3.4 (all, legacy fallback)
Building bytes-0.17.3 (all, legacy fallback)
Building free-5.2 (all, legacy fallback)
Installing bytes-0.17.3 (all, legacy fallback)
Completed bytes-0.17.3 (all, legacy fallback)
Starting bound-2.0.7 (all, legacy fallback)
Building bound-2.0.7 (all, legacy fallback)
Installing free-5.2 (all, legacy fallback)
Completed free-5.2 (all, legacy fallback)
Starting adjunctions-4.4.2 (all, legacy fallback)
Installing bound-2.0.7 (all, legacy fallback)
Building adjunctions-4.4.2 (all, legacy fallback)
Completed bound-2.0.7 (all, legacy fallback)
Installing adjunctions-4.4.2 (all, legacy fallback)
Completed adjunctions-4.4.2 (all, legacy fallback)
Configuring bound-extras-0.0.3...
Preprocessing library for bound-extras-0.0.3..
Building library for bound-extras-0.0.3..
[1 of 3] Compiling Control.Monad.Module ( src/Control/Monad/Module.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Control/Monad/Module.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Control/Monad/Module.dyn_o )
[2 of 3] Compiling Bound.ScopeT ( src/Bound/ScopeT.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Bound/ScopeT.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Bound/ScopeT.dyn_o )
[3 of 3] Compiling Bound.ScopeH ( src/Bound/ScopeH.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Bound/ScopeH.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/Bound/ScopeH.dyn_o )
Preprocessing test suite 'examples' for bound-extras-0.0.3..
Building test suite 'examples' for bound-extras-0.0.3..
[1 of 7] Compiling Adjunctions ( examples/Adjunctions.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/Adjunctions.o )
[2 of 7] Compiling Pretty ( examples/Pretty.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/Pretty.o )
[3 of 7] Compiling BiSTLC3 ( examples/BiSTLC3.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/BiSTLC3.o )
examples/BiSTLC3.hs:94:5: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad Elim.
return will eventually be removed in favour of pure
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
|
94 | return = Var
| ^^^^^^^^^^^^
examples/BiSTLC3.hs:254:5: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad NFElim.
return will eventually be removed in favour of pure
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
|
254 | return = nfVar
| ^^^^^^^^^^^^^^
[4 of 7] Compiling BiSTLC2 ( examples/BiSTLC2.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/BiSTLC2.o )
examples/BiSTLC2.hs:106:5: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Inf ty).
return will eventually be removed in favour of pure
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
|
106 | return = V
| ^^^^^^^^^^
examples/BiSTLC2.hs:114:13: 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
|
114 | instance ty ~ ty' => Module (Chk ty) (Inf ty') where
| ^
examples/BiSTLC2.hs:122:13: 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
|
122 | instance ty ~ ty' => LiftedModule (Chk ty) (Inf ty') where
| ^
examples/BiSTLC2.hs:407:53: warning: [GHC-47082] [-Woperator-whitespace-ext-conflict]
The prefix use of a $$ would denote a typed splice
were the TemplateHaskell extension enabled.
Suggested fix: Add whitespace after the $$.
|
407 | , demo' "app-delta" $ (case_ "aorb" "x" ("ac2d" $$"x") "y" ("bc2d" $$ "y") .: "C" :-> "D") $$ "c"
| ^^
[5 of 7] Compiling BiSTLC ( examples/BiSTLC.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/BiSTLC.o )
examples/BiSTLC.hs:85:5: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad Inf.
return will eventually be removed in favour of pure
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
|
85 | return = V
| ^^^^^^^^^^
[6 of 7] Compiling SystemF ( examples/SystemF.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/SystemF.o )
examples/SystemF.hs:50:5: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad Ty.
return will eventually be removed in favour of pure
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
|
50 | return = TV
| ^^^^^^^^^^^
examples/SystemF.hs:129:5: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Expr b).
return will eventually be removed in favour of pure
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
|
129 | return = V
| ^^^^^^^^^^
[7 of 7] Compiling Main ( examples/Examples.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples-tmp/Main.o )
[8 of 8] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/bound-extras-0.0.3/noopt/build/examples/examples
Running 1 test suites...
Test suite examples: RUNNING...
Test suite examples: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/bound-extras-0.0.3.test
Writing: bound-extras-0.0.3-inplace/Control.Monad.Module.hs.html
Writing: bound-extras-0.0.3-inplace/Bound.ScopeH.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/bound-extras-0.0.3/noopt/hpc/vanilla/html/examples/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: bound-extras-0.0.3-inplace/Control.Monad.Module.hs.html
Writing: bound-extras-0.0.3-inplace/Bound.ScopeH.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/bound-extras-0.0.3/noopt/hpc/vanilla/html/bound-extras-0.0.3/hpc_index.html