Build #3 for composite-ekg-0.6.2.0

[all reports]

Package composite-ekg-0.6.2.0
Install DependencyFailed composite-ekg-0.6.2.0
Docs NotTried
Tests NotTried
Time submitted 2020-02-20 02:18:27.108794904 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies base-4.12.0.0, composite-base-0.5.3.0, ekg-core-0.1.1.6, lens-4.17.1, text-1.2.3.1, vinyl-0.12.0
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     cabal-doctest-1.0.8
Starting     StateVar-1.2
Starting     base-orphans-0.8.2
Starting     call-stack-0.2.0
Building     StateVar-1.2
Building     base-orphans-0.8.2
Building     call-stack-0.2.0
Building     cabal-doctest-1.0.8
Completed    call-stack-0.2.0
Starting     exceptions-0.10.4
Completed    StateVar-1.2
Starting     hashable-1.3.0.0
Building     exceptions-0.10.4
Building     hashable-1.3.0.0
Completed    cabal-doctest-1.0.8
Starting     parallel-3.2.2.0
Building     parallel-3.2.2.0
Completed    base-orphans-0.8.2
Starting     primitive-0.7.0.0
Building     primitive-0.7.0.0
Completed    hashable-1.3.0.0
Starting     reflection-2.1.5
Completed    exceptions-0.10.4
Starting     semigroups-0.19.1
Completed    parallel-3.2.2.0
Starting     tagged-0.8.6
Building     reflection-2.1.5
Building     semigroups-0.19.1
Building     tagged-0.8.6
Completed    semigroups-0.19.1
Starting     th-abstraction-0.3.2.0
Building     th-abstraction-0.3.2.0
Completed    tagged-0.8.6
Starting     transformers-compat-0.6.5
Building     transformers-compat-0.6.5
Completed    reflection-2.1.5
Starting     vinyl-0.12.0
Building     vinyl-0.12.0
Completed    th-abstraction-0.3.2.0
Starting     void-0.7.3
Completed    transformers-compat-0.6.5
Starting     contravariant-1.5.2
Building     void-0.7.3
Building     contravariant-1.5.2
Completed    void-0.7.3
Starting     unordered-containers-0.2.10.0
Building     unordered-containers-0.2.10.0
Completed    primitive-0.7.0.0
Starting     distributive-0.6.1
Completed    contravariant-1.5.2
Starting     transformers-base-0.4.5.2
Building     transformers-base-0.4.5.2
Completed    transformers-base-0.4.5.2
Starting     vector-0.12.1.2
Building     distributive-0.6.1
Building     vector-0.12.1.2
Completed    vinyl-0.12.0
Starting     monad-control-1.0.2.3
Building     monad-control-1.0.2.3
Completed    distributive-0.6.1
Starting     comonad-5.0.6
Completed    monad-control-1.0.2.3
Completed    unordered-containers-0.2.10.0
Starting     ekg-core-0.1.1.6
Building     comonad-5.0.6
Building     ekg-core-0.1.1.6
Completed    ekg-core-0.1.1.6
Completed    comonad-5.0.6
Starting     bifunctors-5.5.7
Building     bifunctors-5.5.7
Completed    bifunctors-5.5.7
Starting     semigroupoids-5.3.4
Starting     profunctors-5.5.2
Building     profunctors-5.5.2
Building     semigroupoids-5.3.4
Completed    profunctors-5.5.2
Starting     invariant-0.5.3
Building     invariant-0.5.3
Completed    vector-0.12.1.2
Completed    semigroupoids-5.3.4
Starting     free-5.1.3
Building     free-5.1.3
Completed    invariant-0.5.3
Completed    free-5.1.3
Starting     adjunctions-4.4
Building     adjunctions-4.4
Completed    adjunctions-4.4
Starting     kan-extensions-5.2
Building     kan-extensions-5.2
Completed    kan-extensions-5.2
Starting     lens-4.17.1
Building     lens-4.17.1
Completed    lens-4.17.1
Starting     composite-base-0.5.3.0
Building     composite-base-0.5.3.0
Failed to install composite-base-0.5.3.0
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/composite-base-0.5.3.0-BhRRt1cLepD6O5NT6UTF8W.log ):
cabal: Entering directory '/tmp/cabal-tmp-389/composite-base-0.5.3.0'
Configuring composite-base-0.5.3.0...
Preprocessing library for composite-base-0.5.3.0..
Building library for composite-base-0.5.3.0..
[1 of 6] Compiling Composite.Record ( src/Composite/Record.hs, dist/build/Composite/Record.o )

src/Composite/Record.hs:175:3: error:
    • Couldn't match expected type ‘Rec Identity rs
                                    -> g (Rec Identity rs)’
                  with actual type ‘s :-> record1 f1 rs1’
    • In the expression:
        Vinyl.rlens proxy $ \ (Identity (Val a)) -> Identity . Val <$> f a
      In an equation for ‘rlens’:
          rlens proxy f
            = Vinyl.rlens proxy
                $ \ (Identity (Val a)) -> Identity . Val <$> f a
    • Relevant bindings include
        f :: a -> g a (bound at src/Composite/Record.hs:174:13)
        proxy :: proxy (s :-> a) (bound at src/Composite/Record.hs:174:7)
        rlens :: proxy (s :-> a)
                 -> (a -> g a) -> Rec Identity rs -> g (Rec Identity rs)
          (bound at src/Composite/Record.hs:174:1)
    |
175 |   Vinyl.rlens proxy $ \ (Identity (Val a)) ->
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Composite/Record.hs:175:23: error:
    • Couldn't match kind ‘[k1]’ with ‘*’
      When matching types
        rs1 :: [k1]
        g (Identity (s2 :-> a)) :: *
      Expected type: record1 f1 rs1
        Actual type: Identity (s3 :-> a) -> g (Identity (s2 :-> a))
    • The lambda expression ‘\ (Identity (Val a))
                               -> Identity . Val <$> f a’
      has one argument,
      but its type ‘record1 f1 rs1’ has none
      In the second argument of ‘($)’, namely
        ‘\ (Identity (Val a)) -> Identity . Val <$> f a’
      In the expression:
        Vinyl.rlens proxy $ \ (Identity (Val a)) -> Identity . Val <$> f a
    • Relevant bindings include
        f :: a -> g a (bound at src/Composite/Record.hs:174:13)
        proxy :: proxy (s :-> a) (bound at src/Composite/Record.hs:174:7)
        rlens :: proxy (s :-> a)
                 -> (a -> g a) -> Rec Identity rs -> g (Rec Identity rs)
          (bound at src/Composite/Record.hs:174:1)
    |
175 |   Vinyl.rlens proxy $ \ (Identity (Val a)) ->
    |                       ^^^^^^^^^^^^^^^^^^^^^^^...

src/Composite/Record.hs:202:3: error:
    • Couldn't match expected type ‘Rec f rs -> g (Rec f rs)’
                  with actual type ‘s :-> record0 f0 rs0’
    • In the expression:
        Vinyl.rlens proxy $ \ (fmap getVal -> fa) -> fmap Val <$> f fa
      In an equation for ‘rlens'’:
          rlens' proxy f
            = Vinyl.rlens proxy $ \ (fmap getVal -> fa) -> fmap Val <$> f fa
    • Relevant bindings include
        f :: f a -> g (f a) (bound at src/Composite/Record.hs:201:14)
        proxy :: proxy (s :-> a) (bound at src/Composite/Record.hs:201:8)
        rlens' :: proxy (s :-> a)
                  -> (f a -> g (f a)) -> Rec f rs -> g (Rec f rs)
          (bound at src/Composite/Record.hs:201:1)
    |
202 |   Vinyl.rlens proxy $ \ (fmap getVal -> fa) ->
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Composite/Record.hs:202:23: error:
    • Couldn't match kind ‘[k0]’ with ‘*’
      When matching types
        rs0 :: [k0]
        g (f (s0 :-> a)) :: *
      Expected type: record0 f0 rs0
        Actual type: f (s1 :-> a) -> g (f (s0 :-> a))
    • The lambda expression ‘\ (fmap getVal -> fa)
                               -> fmap Val <$> f fa’
      has one argument,
      but its type ‘record0 f0 rs0’ has none
      In the second argument of ‘($)’, namely
        ‘\ (fmap getVal -> fa) -> fmap Val <$> f fa’
      In the expression:
        Vinyl.rlens proxy $ \ (fmap getVal -> fa) -> fmap Val <$> f fa
    • Relevant bindings include
        f :: f a -> g (f a) (bound at src/Composite/Record.hs:201:14)
        proxy :: proxy (s :-> a) (bound at src/Composite/Record.hs:201:8)
        rlens' :: proxy (s :-> a)
                  -> (f a -> g (f a)) -> Rec f rs -> g (Rec f rs)
          (bound at src/Composite/Record.hs:201:1)
    |
202 |   Vinyl.rlens proxy $ \ (fmap getVal -> fa) ->
    |                       ^^^^^^^^^^^^^^^^^^^^^^^^...

src/Composite/Record.hs:213:41: error:
    • Could not deduce (Vinyl.RecordToList rs)
        arising from a use of ‘recordToList’
      from the context: (r : rs) ~ (r2 : rs2)
        bound by a pattern with constructor:
                   :& :: forall u (a :: u -> *) (r :: u) (rs :: [u]).
                         a r -> Rec a rs -> Rec a (r : rs),
                 in an equation for ‘recordToNonEmpty’
        at src/Composite/Record.hs:213:19-31
      Possible fix:
        add (Vinyl.RecordToList rs) to the context of
          the data constructor ‘:&’
          or the type signature for:
               recordToNonEmpty :: forall u a (r :: u) (rs :: [u]).
                                   Rec (Const a) (r : rs) -> NonEmpty a
    • In the second argument of ‘(:|)’, namely ‘recordToList rs’
      In the expression: a :| recordToList rs
      In an equation for ‘recordToNonEmpty’:
          recordToNonEmpty (Const a :& rs) = a :| recordToList rs
    |
213 | recordToNonEmpty (Const a :& rs) = a :| recordToList rs
    |                                         ^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-389/composite-base-0.5.3.0'
cabal: Error: some packages failed to install:
composite-base-0.5.3.0-BhRRt1cLepD6O5NT6UTF8W failed during the building
phase. The exception was:
ExitFailure 1
composite-ekg-0.6.2.0-9GGMsiHSPlIzfV0ieU34I depends on composite-ekg-0.6.2.0
which failed to install.

Test log

No test log was submitted for this report.