The build failed. It prevents 0 other packages from building.
Build log
> /tmp/stackage-build2453$ stack unpack vinyl-0.10.0@sha256:13cdce85bac671a09a52e10beb8f2d5ee494991352888179e6d8e4ae4c281302
Unpacked vinyl-0.10.0 to /tmp/stackage-build2453/vinyl-0.10.0/
> /tmp/stackage-build2453/vinyl-0.10.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
[1 of 1] Compiling Main ( Setup.hs, Setup.o )
Linking Setup ...
> /tmp/stackage-build2453/vinyl-0.10.0$ ./Setup configure --package-db=clear --package-db=global --package-db=/home/circleci/project/builds/nightly/pkgdb --libdir=/home/circleci/project/builds/nightly/lib --bindir=/home/circleci/project/builds/nightly/bin --datadir=/home/circleci/project/builds/nightly/share --libexecdir=/home/circleci/project/builds/nightly/libexec --sysconfdir=/home/circleci/project/builds/nightly/etc --docdir=/home/circleci/project/builds/nightly/doc/vinyl-0.10.0 --htmldir=/home/circleci/project/builds/nightly/doc/vinyl-0.10.0 --haddockdir=/home/circleci/project/builds/nightly/doc/vinyl-0.10.0
Configuring vinyl-0.10.0...
> /tmp/stackage-build2453/vinyl-0.10.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/vinyl-0.10.0$ ./Setup build
Preprocessing library for vinyl-0.10.0..
Building library for vinyl-0.10.0..
[ 1 of 17] Compiling Data.Vinyl.Functor ( Data/Vinyl/Functor.hs, dist/build/Data/Vinyl/Functor.o )
[ 2 of 17] Compiling Data.Vinyl.TypeLevel ( Data/Vinyl/TypeLevel.hs, dist/build/Data/Vinyl/TypeLevel.o )
[ 3 of 17] Compiling Data.Vinyl.Core ( Data/Vinyl/Core.hs, dist/build/Data/Vinyl/Core.o )
[ 4 of 17] Compiling Data.Vinyl.Recursive ( Data/Vinyl/Recursive.hs, dist/build/Data/Vinyl/Recursive.o )
[ 5 of 17] Compiling Data.Vinyl.Lens ( Data/Vinyl/Lens.hs, dist/build/Data/Vinyl/Lens.o )
Data/Vinyl/Lens.hs:94:13: error:
• Couldn't match type ‘r’ with ‘Rec’
‘r’ is a rigid type variable bound by
the instance declaration
at Data/Vinyl/Lens.hs:89:10-49
Expected type: Rec f (r : rs) -> Rec f (r' : rs)
Actual type: r f (r : rs) -> r f (r' : rs)
• In the expression: getIdentity . rlensC @_ @r (\ _ -> Identity y)
In an equation for ‘rputC’:
rputC y = getIdentity . rlensC @_ @r (\ _ -> Identity y)
In the instance declaration for
‘RecElem Rec r r' (r : rs) (r' : rs) 'Z’
• Relevant bindings include
y :: f r' (bound at Data/Vinyl/Lens.hs:94:9)
rputC :: f r' -> Rec f (r : rs) -> Rec f (r' : rs)
(bound at Data/Vinyl/Lens.hs:94:3)
|
94 | rputC y = getIdentity . rlensC @_ @r (\_ -> Identity y)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Vinyl/Lens.hs:94:38: error:
• Occurs check: cannot construct the infinite kind:
a2 ~ (a2 -> *) -> [a2] -> *
• In the type ‘r’
In the second argument of ‘(.)’, namely
‘rlensC @_ @r (\ _ -> Identity y)’
In the expression: getIdentity . rlensC @_ @r (\ _ -> Identity y)
• Relevant bindings include
y :: f r' (bound at Data/Vinyl/Lens.hs:94:9)
rputC :: f r' -> Rec f (r : rs) -> Rec f (r' : rs)
(bound at Data/Vinyl/Lens.hs:94:3)
|
94 | rputC y = getIdentity . rlensC @_ @r (\_ -> Identity y)
| ^
Data/Vinyl/Lens.hs:101:11: error:
• Could not deduce: r' ~~ Rec
from the context: (RIndex r (s : rs) ~ 'S i,
RecElem Rec r r' rs rs'1 i)
bound by the instance declaration
at Data/Vinyl/Lens.hs:(97,10)-(98,49)
or from: (RecElemFCtx Rec f, r ~ r')
bound by the type signature for:
rgetC :: forall (f :: a2 -> *).
(RecElemFCtx Rec f, r ~ r') =>
Rec f (s : rs) -> f r
at Data/Vinyl/Lens.hs:101:3-7
‘r'’ is a rigid type variable bound by
the instance declaration
at Data/Vinyl/Lens.hs:(97,10)-(98,49)
Expected type: Rec f (s : rs) -> f r
Actual type: r f (s : rs) -> f r'
• In the expression: getConst . rlensC @_ @r @r' Const
In an equation for ‘rgetC’:
rgetC = getConst . rlensC @_ @r @r' Const
In the instance declaration for
‘RecElem Rec r r' (s : rs) (s : rs') ('S i)’
• Relevant bindings include
rgetC :: Rec f (s : rs) -> f r (bound at Data/Vinyl/Lens.hs:101:3)
|
101 | rgetC = getConst . rlensC @_ @r @r' Const
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Vinyl/Lens.hs:101:33: error:
• Occurs check: cannot construct the infinite kind:
a2 ~ (a2 -> *) -> [a2] -> *
• In the type ‘r’
In the second argument of ‘(.)’, namely ‘rlensC @_ @r @r' Const’
In the expression: getConst . rlensC @_ @r @r' Const
• Relevant bindings include
rgetC :: Rec f (s : rs) -> f r (bound at Data/Vinyl/Lens.hs:101:3)
|
101 | rgetC = getConst . rlensC @_ @r @r' Const
| ^
Data/Vinyl/Lens.hs:103:13: error:
• Could not deduce: r ~~ Rec
from the context: (RIndex r (s : rs) ~ 'S i,
RecElem Rec r r' rs rs'1 i)
bound by the instance declaration
at Data/Vinyl/Lens.hs:(97,10)-(98,49)
‘r’ is a rigid type variable bound by
the instance declaration
at Data/Vinyl/Lens.hs:(97,10)-(98,49)
Expected type: Rec f (s : rs) -> Rec f (s : rs'1)
Actual type: r f (s : rs) -> r f (s : rs'1)
• In the expression: getIdentity . rlensC @_ @r (\ _ -> Identity y)
In an equation for ‘rputC’:
rputC y = getIdentity . rlensC @_ @r (\ _ -> Identity y)
In the instance declaration for
‘RecElem Rec r r' (s : rs) (s : rs') ('S i)’
• Relevant bindings include
y :: f r' (bound at Data/Vinyl/Lens.hs:103:9)
rputC :: f r' -> Rec f (s : rs) -> Rec f (s : rs'1)
(bound at Data/Vinyl/Lens.hs:103:3)
|
103 | rputC y = getIdentity . rlensC @_ @r (\_ -> Identity y)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Vinyl/Lens.hs:103:38: error:
• Occurs check: cannot construct the infinite kind:
a2 ~ (a2 -> *) -> [a2] -> *
• In the type ‘r’
In the second argument of ‘(.)’, namely
‘rlensC @_ @r (\ _ -> Identity y)’
In the expression: getIdentity . rlensC @_ @r (\ _ -> Identity y)
• Relevant bindings include
y :: f r' (bound at Data/Vinyl/Lens.hs:103:9)
rputC :: f r' -> Rec f (s : rs) -> Rec f (s : rs'1)
(bound at Data/Vinyl/Lens.hs:103:3)
|
103 | rputC y = getIdentity . rlensC @_ @r (\_ -> Identity y)
| ^
Data/Vinyl/Lens.hs:117:19: error:
• Occurs check: cannot construct the infinite kind:
k1 ~ (k1 -> *) -> [k1] -> *
• In the type ‘r’
In the expression: rputC @_ @r @r'
In an equation for ‘rput'’: rput' = rputC @_ @r @r'
• Relevant bindings include
rput' :: f r' -> record f rs -> record f rs'1
(bound at Data/Vinyl/Lens.hs:117:1)
|
117 | rput' = rputC @_ @r @r'
| ^