blob: 7f74e488955d60a855ee3165d5504cce1c3c598d (
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,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)
|