Build #3 for composite-aeson-refined-0.5.5.0
| Package | composite-aeson-refined-0.5.5.0 |
|---|
| Install | DependencyFailed composite-aeson-refined-0.5.5.0 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2018-11-10 06:57:52.009294371 UTC |
|---|---|
| Compiler | ghc-8.6.1 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aeson-better-errors-0.9.1.0, base-4.12.0.0, composite-aeson-0.5.3.0, mtl-2.2.2, refined-0.2.3.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.1.1.1
Starting base-compat-0.10.5
Building StateVar-1.1.1.1
Building base-compat-0.10.5
Completed StateVar-1.1.1.1
Starting base-orphans-0.8
Building base-orphans-0.8
Completed base-orphans-0.8
Starting cabal-doctest-1.0.6
Building cabal-doctest-1.0.6
Completed base-compat-0.10.5
Starting call-stack-0.1.0
Building call-stack-0.1.0
Completed cabal-doctest-1.0.6
Starting data-default-class-0.1.2.0
Completed call-stack-0.1.0
Starting dlist-0.8.0.5
Building data-default-class-0.1.2.0
Building dlist-0.8.0.5
Completed data-default-class-0.1.2.0
Starting erf-2.0.0.0
Building erf-2.0.0.0
Completed dlist-0.8.0.5
Starting hashable-1.2.7.0
Building hashable-1.2.7.0
Completed erf-2.0.0.0
Starting integer-logarithms-1.0.2.2
Building integer-logarithms-1.0.2.2
Completed integer-logarithms-1.0.2.2
Starting parallel-3.2.2.0
Completed hashable-1.2.7.0
Starting prettyprinter-1.2.1
Building parallel-3.2.2.0
Building prettyprinter-1.2.1
Completed parallel-3.2.2.0
Starting primitive-0.6.4.0
Building primitive-0.6.4.0
Completed prettyprinter-1.2.1
Starting random-1.1
Building random-1.1
Completed random-1.1
Starting reflection-2.1.4
Building reflection-2.1.4
Completed primitive-0.6.4.0
Starting semigroups-0.18.5
Completed reflection-2.1.4
Starting tagged-0.8.6
Building semigroups-0.18.5
Building tagged-0.8.6
Completed semigroups-0.18.5
Starting th-abstraction-0.2.8.0
Building th-abstraction-0.2.8.0
Completed tagged-0.8.6
Starting time-locale-compat-0.1.1.5
Building time-locale-compat-0.1.1.5
Completed time-locale-compat-0.1.1.5
Starting transformers-compat-0.6.2
Building transformers-compat-0.6.2
Completed th-abstraction-0.2.8.0
Starting vinyl-0.10.0
Building vinyl-0.10.0
Completed transformers-compat-0.6.2
Starting void-0.7.2
Building void-0.7.2
Completed void-0.7.2
Starting contravariant-1.5
Building contravariant-1.5
Completed contravariant-1.5
Starting unordered-containers-0.2.9.0
Completed vinyl-0.10.0
Starting uuid-types-1.0.3
Building unordered-containers-0.2.9.0
Building uuid-types-1.0.3
Completed uuid-types-1.0.3
Starting vector-0.12.0.1
Building vector-0.12.0.1
Completed unordered-containers-0.2.9.0
Starting tf-random-0.5
Building tf-random-0.5
Completed tf-random-0.5
Starting scientific-0.3.6.2
Building scientific-0.3.6.2
Completed scientific-0.3.6.2
Starting distributive-0.6
Building distributive-0.6
Completed distributive-0.6
Starting generic-deriving-1.12.2
Building generic-deriving-1.12.2
Completed vector-0.12.0.1
Starting transformers-base-0.4.5.2
Building transformers-base-0.4.5.2
Completed transformers-base-0.4.5.2
Starting mmorph-1.1.2
Building mmorph-1.1.2
Completed mmorph-1.1.2
Starting exceptions-0.10.0
Building exceptions-0.10.0
Completed exceptions-0.10.0
Starting QuickCheck-2.12.6.1
Completed generic-deriving-1.12.2
Starting attoparsec-0.13.2.2
Building QuickCheck-2.12.6.1
Building attoparsec-0.13.2.2
Completed attoparsec-0.13.2.2
Starting comonad-5.0.4
Building comonad-5.0.4
Completed comonad-5.0.4
Starting monad-control-1.0.2.3
Building monad-control-1.0.2.3
Completed QuickCheck-2.12.6.1
Starting aeson-1.4.1.0
Building aeson-1.4.1.0
Completed monad-control-1.0.2.3
Starting bifunctors-5.5.3
Building bifunctors-5.5.3
Completed bifunctors-5.5.3
Starting semigroupoids-5.3.1
Building semigroupoids-5.3.1
Completed semigroupoids-5.3.1
Starting profunctors-5.3
Building profunctors-5.3
Completed aeson-1.4.1.0
Starting aeson-better-errors-0.9.1.0
Building aeson-better-errors-0.9.1.0
Completed aeson-better-errors-0.9.1.0
Completed profunctors-5.3
Starting invariant-0.5.1
Starting free-5.1
Building invariant-0.5.1
Building free-5.1
Completed invariant-0.5.1
Completed free-5.1
Starting keys-3.12.1
Starting adjunctions-4.4
Building keys-3.12.1
Building adjunctions-4.4
Completed adjunctions-4.4
Starting kan-extensions-5.2
Completed keys-3.12.1
Building kan-extensions-5.2
Completed kan-extensions-5.2
Starting pointed-5.0.1
Starting lens-4.17
Building pointed-5.0.1
Building lens-4.17
Completed pointed-5.0.1
Starting vector-instances-3.4
Building vector-instances-3.4
Completed vector-instances-3.4
Starting these-0.7.5
Building these-0.7.5
Completed these-0.7.5
Starting refined-0.2.3.0
Building refined-0.2.3.0
Completed refined-0.2.3.0
Completed lens-4.17
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.1/composite-base-0.5.3.0-5MxePX7q5V9A315rCzKrau.log ):
cabal: Entering directory '/tmp/cabal-tmp-16264/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-16264/composite-base-0.5.3.0'
cabal: Error: some packages failed to install:
composite-aeson-0.5.3.0-4dikYAGGVYOIGvZwW3HMCW depends on
composite-aeson-0.5.3.0 which failed to install.
composite-aeson-refined-0.5.5.0-3yOu1mP0BKo44JAJjdyB0G depends on
composite-aeson-refined-0.5.5.0 which failed to install.
composite-base-0.5.3.0-5MxePX7q5V9A315rCzKrau failed during the building
phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.