Build #1 for postgresql-tx-query-0.3.0.0

[all reports]

Package postgresql-tx-query-0.3.0.0
Install DependencyFailed postgresql-tx-query-0.3.0.0
Docs NotTried
Tests NotTried
Time submitted 2020-12-09 00:02:11.493727893 UTC
Compiler ghc-8.10.2
OS linux
Arch x86_64
Dependencies base-4.14.1.0, exceptions-0.10.4, monad-control-1.0.2.3, monad-logger-0.3.36, mtl-2.2.2, postgresql-query-3.5.0, postgresql-simple-0.6.3, postgresql-tx-0.3.0.0, postgresql-tx-monad-logger-0.3.0.0, postgresql-tx-simple-0.3.0.0, transformers-0.5.6.2, transformers-base-0.4.5.2
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Starting     Only-0.1
Starting     base-orphans-0.8.3
Starting     auto-update-0.1.6
Starting     base-compat-0.11.2
Building     Only-0.1
Building     base-orphans-0.8.3
Building     auto-update-0.1.6
Building     base-compat-0.11.2
Completed    Only-0.1
Starting     blaze-builder-0.4.1.0
Completed    auto-update-0.1.6
Starting     bytestring-builder-0.10.8.2.0
Building     blaze-builder-0.4.1.0
Building     bytestring-builder-0.10.8.2.0
Completed    bytestring-builder-0.10.8.2.0
Starting     cabal-doctest-1.0.8
Building     cabal-doctest-1.0.8
Completed    base-orphans-0.8.3
Starting     data-default-class-0.1.2.0
Building     data-default-class-0.1.2.0
Completed    blaze-builder-0.4.1.0
Starting     dlist-1.0
Completed    cabal-doctest-1.0.8
Starting     easy-file-0.2.2
Building     dlist-1.0
Completed    base-compat-0.11.2
Starting     file-embed-0.0.13.0
Building     easy-file-0.2.2
Building     file-embed-0.0.13.0
Completed    data-default-class-0.1.2.0
Starting     hashable-1.3.0.0
Building     hashable-1.3.0.0
Completed    easy-file-0.2.2
Starting     haskell-src-exts-1.23.1
Completed    file-embed-0.0.13.0
Starting     integer-logarithms-1.0.3.1
Building     integer-logarithms-1.0.3.1
Building     haskell-src-exts-1.23.1
Completed    dlist-1.0
Starting     monad-loops-0.4.3
Building     monad-loops-0.4.3
Completed    hashable-1.3.0.0
Starting     network-3.1.2.1
Completed    integer-logarithms-1.0.3.1
Starting     old-locale-1.0.0.7
Building     old-locale-1.0.0.7
Completed    monad-loops-0.4.3
Starting     parser-combinators-1.2.1
Building     parser-combinators-1.2.1
Completed    old-locale-1.0.0.7
Starting     postgresql-libpq-0.9.4.3
Building     network-3.1.2.1
Completed    parser-combinators-1.2.1
Starting     postgresql-tx-0.3.0.0
Building     postgresql-tx-0.3.0.0
Building     postgresql-libpq-0.9.4.3
Completed    postgresql-tx-0.3.0.0
Starting     primitive-0.7.1.0
Building     primitive-0.7.1.0
Completed    postgresql-libpq-0.9.4.3
Starting     safe-0.3.19
Building     safe-0.3.19
Completed    network-3.1.2.1
Starting     semigroups-0.19.1
Building     semigroups-0.19.1
Completed    semigroups-0.19.1
Starting     split-0.2.3.4
Completed    safe-0.3.19
Starting     splitmix-0.1.0.3
Building     split-0.2.3.4
Building     splitmix-0.1.0.3
Completed    split-0.2.3.4
Starting     stm-chans-3.0.0.4
Completed    splitmix-0.1.0.3
Starting     syb-0.7.1
Building     syb-0.7.1
Completed    primitive-0.7.1.0
Starting     tagged-0.8.6
Building     tagged-0.8.6
Building     stm-chans-3.0.0.4
Completed    syb-0.7.1
Starting     th-abstraction-0.4.0.0
Building     th-abstraction-0.4.0.0
Completed    stm-chans-3.0.0.4
Starting     th-compat-0.1
Completed    tagged-0.8.6
Starting     transformers-compat-0.6.6
Building     th-compat-0.1
Building     transformers-compat-0.6.6
Completed    th-compat-0.1
Starting     type-fun-0.1.2
Building     type-fun-0.1.2
Failed to install type-fun-0.1.2
Build log ( /home/builder/.cabal/logs/ghc-8.10.2/type-fun-0.1.2-J0VaQlEDgwNE7K943dxOqe.log ):
cabal: Entering directory '/tmp/cabal-tmp-4842/type-fun-0.1.2'
Configuring type-fun-0.1.2...
Preprocessing library for type-fun-0.1.2..
Building library for type-fun-0.1.2..
[1 of 5] Compiling TypeFun.Constraint ( src/TypeFun/Constraint.hs, dist/build/TypeFun/Constraint.o, dist/build/TypeFun/Constraint.dyn_o )
[2 of 5] Compiling TypeFun.Data.Eq  ( src/TypeFun/Data/Eq.hs, dist/build/TypeFun/Data/Eq.o, dist/build/TypeFun/Data/Eq.dyn_o )
[3 of 5] Compiling TypeFun.Data.Maybe ( src/TypeFun/Data/Maybe.hs, dist/build/TypeFun/Data/Maybe.o, dist/build/TypeFun/Data/Maybe.dyn_o )
[4 of 5] Compiling TypeFun.Data.Peano ( src/TypeFun/Data/Peano.hs, dist/build/TypeFun/Data/Peano.o, dist/build/TypeFun/Data/Peano.dyn_o )
[5 of 5] Compiling TypeFun.Data.List ( src/TypeFun/Data/List.hs, dist/build/TypeFun/Data/List.o, dist/build/TypeFun/Data/List.dyn_o )

src/TypeFun/Data/List.hs:116:12: error:
    • Cannot instantiate unification variable ‘b1’
      with a type involving polytypes:
        proxy l -> ((l ~ (l :++: '[])) => r) -> r
        GHC doesn't yet support impredicative polymorphism
    • In the expression: unsafeCoerce id
      In an equation for ‘appendId’: appendId = unsafeCoerce id
    • Relevant bindings include
        appendId :: proxy l -> ((l ~ (l :++: '[])) => r) -> r
          (bound at src/TypeFun/Data/List.hs:116:1)
    |
116 | appendId = unsafeCoerce id
    |            ^^^^^^^^^^^^^^^

src/TypeFun/Data/List.hs:175:15: error:
    • Cannot instantiate unification variable ‘b0’
      with a type involving polytypes: (SubList l l => r) -> r
        GHC doesn't yet support impredicative polymorphism
    • In the expression: unsafeCoerce id
      In an equation for ‘subListId’: subListId _ = unsafeCoerce id
    • Relevant bindings include
        subListId :: proxy l -> (SubList l l => r) -> r
          (bound at src/TypeFun/Data/List.hs:175:1)
    |
175 | subListId _ = unsafeCoerce id
    |               ^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-4842/type-fun-0.1.2'
Starting     unix-compat-0.5.2
Completed    transformers-compat-0.6.6
Building     unix-compat-0.5.2
Completed    th-abstraction-0.4.0.0
Completed    unix-compat-0.5.2
Completed    haskell-src-exts-1.23.1
cabal: Error: some packages failed to install:
hreader-1.1.0-8s8OA28mHGHJNGw2NGYCYo depends on hreader-1.1.0 which failed to
install.
hset-2.2.0-CtyiX8kBHFcLV9vd5l6Nhp depends on hset-2.2.0 which failed to
install.
postgresql-query-3.5.0-6B33yW96uFXIVPApodCxmL depends on
postgresql-query-3.5.0 which failed to install.
postgresql-tx-query-0.3.0.0-9icK2XR0lwi8d5wBV2Rd7p depends on
postgresql-tx-query-0.3.0.0 which failed to install.
type-fun-0.1.2-J0VaQlEDgwNE7K943dxOqe failed during the building phase. The
exception was:
ExitFailure 1

Test log

No test log was submitted for this report.