blob: 0fe436ff3f0de81bf8b60fe6fe6dd9d99696e103 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T10836.hs:5:5: error: [GHC-05175]
• Type family equation right-hand sides overlap; this violates
the family's injectivity annotation:
Foo Int = Int -- Defined at T10836.hs:5:5
Foo Bool = Int -- Defined at T10836.hs:6:5
• In the equations for closed type family ‘Foo’
In the type family declaration for ‘Foo’
T10836.hs:9:5: error: [GHC-05175]
• Type family equation right-hand sides overlap; this violates
the family's injectivity annotation:
Bar Int = Int -- Defined at T10836.hs:9:5
Bar Bool = Int -- Defined at T10836.hs:10:5
• In the equations for closed type family ‘Bar’
In the type family declaration for ‘Bar’
|