Build #3 for composite-ekg-0.6.0.0
| Package | composite-ekg-0.6.0.0 |
|---|
| Install | DependencyFailed composite-ekg-0.6.0.0 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2019-08-29 21:27:46.220503667 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.11.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 StateVar-1.2
Starting cabal-doctest-1.0.7
Starting call-stack-0.2.0
Starting base-orphans-0.8.1
Building StateVar-1.2
Building call-stack-0.2.0
Building base-orphans-0.8.1
Building cabal-doctest-1.0.7
Completed call-stack-0.2.0
Starting hashable-1.3.0.0
Completed base-orphans-0.8.1
Starting parallel-3.2.2.0
Completed StateVar-1.2
Starting primitive-0.7.0.0
Building hashable-1.3.0.0
Building parallel-3.2.2.0
Building primitive-0.7.0.0
Completed cabal-doctest-1.0.7
Starting reflection-2.1.5
Building reflection-2.1.5
Completed parallel-3.2.2.0
Starting semigroups-0.19.1
Building semigroups-0.19.1
Completed hashable-1.3.0.0
Starting tagged-0.8.6
Building tagged-0.8.6
Completed semigroups-0.19.1
Starting th-abstraction-0.3.1.0
Building th-abstraction-0.3.1.0
Completed reflection-2.1.5
Starting transformers-compat-0.6.5
Completed tagged-0.8.6
Starting vinyl-0.11.0
Building transformers-compat-0.6.5
Building vinyl-0.11.0
Completed th-abstraction-0.3.1.0
Starting void-0.7.3
Building void-0.7.3
Completed transformers-compat-0.6.5
Starting contravariant-1.5.2
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
Completed contravariant-1.5.2
Starting transformers-base-0.4.5.2
Building transformers-base-0.4.5.2
Building distributive-0.6
Completed vinyl-0.11.0
Starting exceptions-0.10.3
Completed transformers-base-0.4.5.2
Starting vector-0.12.0.3
Building exceptions-0.10.3
Building vector-0.12.0.3
Completed distributive-0.6
Starting monad-control-1.0.2.3
Building monad-control-1.0.2.3
Completed exceptions-0.10.3
Starting comonad-5.0.5
Completed monad-control-1.0.2.3
Completed unordered-containers-0.2.10.0
Starting ekg-core-0.1.1.6
Building ekg-core-0.1.1.6
Building comonad-5.0.5
Completed ekg-core-0.1.1.6
Completed comonad-5.0.5
Starting bifunctors-5.5.5
Building bifunctors-5.5.5
Completed bifunctors-5.5.5
Starting profunctors-5.4
Starting semigroupoids-5.3.3
Building profunctors-5.4
Building semigroupoids-5.3.3
Completed vector-0.12.0.3
Completed profunctors-5.4
Starting invariant-0.5.3
Building invariant-0.5.3
Completed semigroupoids-5.3.3
Starting free-5.1.2
Building free-5.1.2
Completed invariant-0.5.3
Completed free-5.1.2
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-156GbotsdDRFqB7vxxhGli.log ):
cabal: Entering directory '/tmp/cabal-tmp-559/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-559/composite-base-0.5.3.0'
cabal: Error: some packages failed to install:
composite-base-0.5.3.0-156GbotsdDRFqB7vxxhGli failed during the building
phase. The exception was:
ExitFailure 1
composite-ekg-0.6.0.0-6bb2f56qA3u17ZPMJJqUJg depends on composite-ekg-0.6.0.0
which failed to install.
Test log
No test log was submitted for this report.