blob: 884bb2f495168da4b0e7f4923eedfa6d987dfdcc (
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
{-# LANGUAGE TypeFamilies, GADTSyntax #-}
module T17544 where
class C1 a where
f1 :: a -> Int
-- ^ comment on Int
class C2 a where
f2 :: a -> Int
-- ^ comment on f2
class C3 a where
f3 :: a -> Int
-- ^ comment on C3
class C4 a where
f4 :: a -> Int
-- ^ comment
g4 :: a -> Int
class C5 a where { data D5 a }
instance C5 Int where
data D5 Int where
MkD5 :: D5 Int
-- ^ comment on D5 Int
class C6 a where { data D6 a }
instance C6 Int where
data D6 Int where
MkD6 :: D6 Int
-- ^ comment on MkD6
class C7 a where { data D7 a }
instance C7 Int where
data D7 Int where
MkD7 :: D7 Int
-- ^ comment on data instance D7 Int
class C8 a where { data D8 a }
instance C8 Int where
data D8 Int where
MkD8 :: D8 Int
-- ^ comment on data instance D8 Int
class C9 a where { data D9 a }
instance C9 Int where
data D9 Int where
MkD9 :: D9 Int
-- ^ comment on class instance C9 Int
class C10 a where { data D10 a }
instance C10 Int where
data D10 Int where
MkD10 :: D10 Int
-- ^ comment on class instance C10 Int
|