blob: ff02835912eaa32d3dfe76964b5f11de5ac63f95 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
T13550.hs:(6,3)-(11,6): 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,3)-(8,69): 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)
|
