Build #6 for type-settheory-0.1

[all reports]

Package type-settheory-0.1
Install DependencyFailed category-extras-0.53.5
Docs NotTried
Tests NotTried
Time submitted 2016-12-31 06:55:17.472519 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies base-4.9.0.0, category-extras-0.53.5, containers-0.5.7.1, mtl-2.2.1, syb-0.6, template-haskell-2.11.0.0, type-equality-0.1.2
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring mtl-2.2.1...
Configuring syb-0.6...
Building mtl-2.2.1...
Building syb-0.6...
Configuring type-equality-0.1.2...
Installed syb-0.6
Installed mtl-2.2.1
Configuring category-extras-0.53.5...
Building type-equality-0.1.2...
Building category-extras-0.53.5...
Installed type-equality-0.1.2
Failed to install category-extras-0.53.5
Build log ( /home/builder/.cabal/logs/category-extras-0.53.5.log ):
cabal: Entering directory '/tmp/cabal-tmp-19988/category-extras-0.53.5'
Configuring category-extras-0.53.5...
Building category-extras-0.53.5...
Preprocessing library category-extras-0.53.5...

src/Control/Category/Monoidal.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Category/Cartesian.hs:1:12: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Category/Cartesian/Closed.hs:1:12: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Applicative/Parameterized.hs:1:12: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Category/Object.hs:1:12: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Cofree.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Context.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Coideal.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Parameterized.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Pointer.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Reader.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Stream.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Trans.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Adjunction.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Adjunction.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Functor/Composition.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Combinators/Lift.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Combinators/Lift.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Functor/Combinators/Join.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Combinators/Of.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Extras.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Exponential.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/HigherOrder.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/HigherOrder/Composition.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/KanExtension/Interpreter.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Lambek.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Pointed/Composition.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Representable.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Strong.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Strong.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Functor/Zap.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Zap.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Monad/Free.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Monad/Ideal.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Monad/Indexed/Cont.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Monad/Indexed/State.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Monad/Parameterized.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Monad/Either.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Ana.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Apo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Build.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Cata.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Chrono.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Destroy.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Dyna.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Exo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Futu.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Histo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Hylo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Meta/Gibbons.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Meta/Erwig.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Para.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Postpro.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Prepro.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Span.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Synchro.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Zygo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Data/Void.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Internal/Adjunction.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Internal/Adjunction.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Functor/Internal/Ideal.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
[ 1 of 99] Compiling Data.Void        ( src/Data/Void.hs, dist/build/Data/Void.o )
[ 2 of 99] Compiling Control.Morphism.Universal ( src/Control/Morphism/Universal.hs, dist/build/Control/Morphism/Universal.o )

src/Control/Morphism/Universal.hs:17:1: warning: [-Wtabs]
    Tab character found here, and in four further locations.
    Please use spaces instead.
[ 3 of 99] Compiling Control.Morphism.Span ( src/Control/Morphism/Span.hs, dist/build/Control/Morphism/Span.o )

src/Control/Morphism/Span.hs:20:14: error:
    Unexpected type ‘(~>)’
    In the newtype declaration for ‘Span’
    A newtype declaration should have form
      newtype Span a b c d = ...
cabal: Leaving directory '/tmp/cabal-tmp-19988/category-extras-0.53.5'
cabal: Error: some packages failed to install:
category-extras-0.53.5 failed during the building phase. The exception was:
ExitFailure 1
type-settheory-0.1 depends on category-extras-0.53.5 which failed to install.

Test log

No test log was submitted for this report.