blob: f69875b31fa5b01a89889a53c7537d8b15e8d3e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T5217.hs:(6,3)-(9,53): Splicing declarations
[d| data T a b
where
T1 :: Int -> T Int Char
T2 :: a -> T a a
T3 :: a -> T [a] a
T4 :: a -> b -> T b [a] |]
======>
data T a b
= (b ~ Char, a ~ Int) => T1 Int |
b ~ a => T2 a |
a ~ [b] => T3 b |
forall a. b ~ [a] => T4 a a
|
