blob: 971c220171e3b1dbaa50443964f90b0c7a0d33ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
T21896.hs:8:5: error:
• Type family equation right-hand sides overlap; this violates
the family's injectivity annotation:
forall {k} {r :: k}. F 'Foo r = r -- Defined at T21896.hs:8:5
forall {k} {r :: k}. F 'Bar r = r -- Defined at T21896.hs:9:5
• In the equations for closed type family ‘F’
In the type family declaration for ‘F’
T21896.hs:8:5: error:
• Type family equation violates the family's injectivity annotation.
RHS of injective type family equation is a bare type variable
but these LHS type and kind patterns are not bare variables: ‘'Foo’
forall {k} {r :: k}. F 'Foo r = r -- Defined at T21896.hs:8:5
• In the equations for closed type family ‘F’
In the type family declaration for ‘F’
T21896.hs:9:5: error:
• Type family equation violates the family's injectivity annotation.
RHS of injective type family equation is a bare type variable
but these LHS type and kind patterns are not bare variables: ‘'Bar’
forall {k} {r :: k}. F 'Bar r = r -- Defined at T21896.hs:9:5
• In the equations for closed type family ‘F’
In the type family declaration for ‘F’
|
