GHC 7.10.2 RC cannot build HList-0.4.0.0
Another Stackage find:
Data/HList/Record.hs:575:10:
Illegal instance declaration for ‘HasFieldM l (r xs) v’
The liberal coverage condition fails in class ‘HasFieldM’
for functional dependency: ‘l r -> v’
Reason: lhs types ‘l’, ‘r xs’ do not jointly determine rhs type ‘v’
In the instance declaration for ‘HasFieldM l (r xs) v’
Data/HList/Record.hs:587:10:
Illegal instance declaration for
‘HasField l (Record (Tagged l1 v1 : r)) v’
The liberal coverage condition fails in class ‘HasField’
for functional dependency: ‘l r -> v’
Reason: lhs types ‘l’, ‘Record (Tagged l1 v1 : r)’
do not jointly determine rhs type ‘v’
In the instance declaration for
‘HasField l (Record (Tagged l1 v1 : r)) v’
Data/HList/Record.hs:646:10:
Illegal instance declaration for ‘HDeleteAtLabel Record l v v'’
The liberal coverage condition fails in class ‘HDeleteAtLabel’
for functional dependency: ‘l v -> v'’
Reason: lhs types ‘l’, ‘v’ do not jointly determine rhs type ‘v'’
In the instance declaration for ‘HDeleteAtLabel Record l v v'’
Data/HList/Record.hs:723:10:
Illegal instance declaration for
‘HUpdateAtLabel2 l v (Tagged l' e : xs) xs'’
The liberal coverage condition fails in class ‘HUpdateAtLabel2’
for functional dependency: ‘l r v -> r'’
Reason: lhs types ‘l’, ‘Tagged l' e : xs’, ‘v’
do not jointly determine rhs type ‘xs'’
In the instance declaration for
‘HUpdateAtLabel2 l v (Tagged l' e : xs) xs'’Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.10.2-rc1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |