blob: b3173f861242fe2e548c7b5e0548739675abd043 (
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
25
26
27
28
29
30
31
32
33
|
T13550.hs:(6,2)-(11,7): Splicing declarations
[d| type family Foo a b
data family Bar a b
type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b) |]
======>
type family Foo a b
type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
data family Bar a b
data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b)
T13550.ppr.hs:(5,2)-(8,70): Splicing declarations
[d| type family Foo a b
data family Bar a b
type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b) |]
======>
type family Foo a b
type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
data family Bar a b
data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b)
T13550.ppr.hs:(6,2)-(11,7): Splicing declarations
[d| type family Foo a b
data family Bar a b
type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b) |]
======>
type family Foo a b
type instance Foo (Maybe a) b = Either (Maybe a) (Maybe b)
data family Bar a b
data instance Bar (Maybe a) b = BarMaybe (Maybe a) (Maybe b)
|
