Build #2 for data-category-0.8

[all reports]

Package data-category-0.8
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2020-04-23 15:06:12.180090029 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Warning: The install command is a part of the legacy v1 style of cabal usage.

Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.

For more information, see: https://wiki.haskell.org/Cabal/NewBuild

Resolving dependencies...
Starting     data-category-0.8
Building     data-category-0.8
Failed to install data-category-0.8
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/data-category-0.8-7QcHMPSbMM2bGwFMuIV3v.log ):
cabal: Entering directory '/tmp/cabal-tmp-17660/data-category-0.8'
Configuring data-category-0.8...
Preprocessing library for data-category-0.8..
Building library for data-category-0.8..
[ 1 of 22] Compiling Data.Category    ( Data/Category.hs, dist/build/Data/Category.o )
[ 2 of 22] Compiling Data.Category.Product ( Data/Category/Product.hs, dist/build/Data/Category/Product.o )
[ 3 of 22] Compiling Data.Category.Functor ( Data/Category/Functor.hs, dist/build/Data/Category/Functor.o )
[ 4 of 22] Compiling Data.Category.NaturalTransformation ( Data/Category/NaturalTransformation.hs, dist/build/Data/Category/NaturalTransformation.o )
[ 5 of 22] Compiling Data.Category.RepresentableFunctor ( Data/Category/RepresentableFunctor.hs, dist/build/Data/Category/RepresentableFunctor.o )
[ 6 of 22] Compiling Data.Category.Adjunction ( Data/Category/Adjunction.hs, dist/build/Data/Category/Adjunction.o )
[ 7 of 22] Compiling Data.Category.Unit ( Data/Category/Unit.hs, dist/build/Data/Category/Unit.o )
[ 8 of 22] Compiling Data.Category.Coproduct ( Data/Category/Coproduct.hs, dist/build/Data/Category/Coproduct.o )
[ 9 of 22] Compiling Data.Category.Void ( Data/Category/Void.hs, dist/build/Data/Category/Void.o )

Data/Category/Void.hs:39:1: warning: [-Wmissing-methods]
    • No explicit associated type or default declaration for ‘:%’
    • In the instance declaration for ‘Functor (Magic k)’
   |
39 | instance Category k => Functor (Magic k) where
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[10 of 22] Compiling Data.Category.Limit ( Data/Category/Limit.hs, dist/build/Data/Category/Limit.o )
[11 of 22] Compiling Data.Category.Monoidal ( Data/Category/Monoidal.hs, dist/build/Data/Category/Monoidal.o )
[12 of 22] Compiling Data.Category.Simplex ( Data/Category/Simplex.hs, dist/build/Data/Category/Simplex.o )
[13 of 22] Compiling Data.Category.Kleisli ( Data/Category/Kleisli.hs, dist/build/Data/Category/Kleisli.o )
[14 of 22] Compiling Data.Category.Dialg ( Data/Category/Dialg.hs, dist/build/Data/Category/Dialg.o )

Data/Category/Dialg.hs:56:22: error:
    • Type constructor argument ‘f’ is used dependently.
      Any dependent arguments must be obviously so, not inferred
      by the type-checker.
      Inferred argument kinds: f :: *
      Suggestion: use ‘f’ in a kind to make the dependency clearer.
    • In the type synonym declaration for ‘InitialFAlgebra’
   |
56 | type InitialFAlgebra f = InitialObject (Alg f)
   |                      ^
cabal: Leaving directory '/tmp/cabal-tmp-17660/data-category-0.8'
cabal: Error: some packages failed to install:
data-category-0.8-7QcHMPSbMM2bGwFMuIV3v failed during the building phase. The
exception was:
ExitFailure 1

Test log

No test log was submitted for this report.