Merge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T14217.stderr
1
2 T14217.hs:32:11: error:
3     • Found type wildcard ‘_’
4         standing for ‘(Eq a1, Eq a2, Eq a3, Eq a4, Eq a5, Eq a6, Eq a7,
5                        Eq a8, Eq a9, Eq a10, Eq a11, Eq a12, Eq a13, Eq a14, Eq a15,
6                        Eq a16, Eq a17, Eq a18, Eq a19, Eq a20, Eq a21, Eq a22, Eq a23,
7                        Eq a24, Eq a25, Eq a26, Eq a27, Eq a28, Eq a29, Eq a30, Eq a31,
8                        Eq a32, Eq a33, Eq a34, Eq a35, Eq a36, Eq a37, Eq a38, Eq a39,
9                        Eq a40, Eq a41, Eq a42, Eq a43, Eq a44, Eq a45, Eq a46, Eq a47,
10                        Eq a48, Eq a49, Eq a50, Eq a51, Eq a52, Eq a53, Eq a54, Eq a55,
11                        Eq a56, Eq a57, Eq a58, Eq a59, Eq a60, Eq a61, Eq a62, Eq a63)’
12       Where: ‘a1’, ‘a2’, ‘a3’, ‘a4’, ‘a5’, ‘a6’, ‘a7’, ‘a8’, ‘a9’, ‘a10’,
13              ‘a11’, ‘a12’, ‘a13’, ‘a14’, ‘a15’, ‘a16’, ‘a17’, ‘a18’, ‘a19’,
14              ‘a20’, ‘a21’, ‘a22’, ‘a23’, ‘a24’, ‘a25’, ‘a26’, ‘a27’, ‘a28’,
15              ‘a29’, ‘a30’, ‘a31’, ‘a32’, ‘a33’, ‘a34’, ‘a35’, ‘a36’, ‘a37’,
16              ‘a38’, ‘a39’, ‘a40’, ‘a41’, ‘a42’, ‘a43’, ‘a44’, ‘a45’, ‘a46’,
17              ‘a47’, ‘a48’, ‘a49’, ‘a50’, ‘a51’, ‘a52’, ‘a53’, ‘a54’, ‘a55’,
18              ‘a56’, ‘a57’, ‘a58’, ‘a59’, ‘a60’, ‘a61’, ‘a62’, ‘a63’
19                are rigid type variables bound by
20                the inferred type of
21                  eqFoo :: (Eq a1, Eq a2, Eq a3, Eq a4, Eq a5, Eq a6, Eq a7, Eq a8,
22                            Eq a9, Eq a10, Eq a11, Eq a12, Eq a13, Eq a14, Eq a15, Eq a16,
23                            Eq a17, Eq a18, Eq a19, Eq a20, Eq a21, Eq a22, Eq a23, Eq a24,
24                            Eq a25, Eq a26, Eq a27, Eq a28, Eq a29, Eq a30, Eq a31, Eq a32,
25                            Eq a33, Eq a34, Eq a35, Eq a36, Eq a37, Eq a38, Eq a39, Eq a40,
26                            Eq a41, Eq a42, Eq a43, Eq a44, Eq a45, Eq a46, Eq a47, Eq a48,
27                            Eq a49, Eq a50, Eq a51, Eq a52, Eq a53, Eq a54, Eq a55, Eq a56,
28                            Eq a57, Eq a58, Eq a59, Eq a60, Eq a61, Eq a62, Eq a63) =>
29                           Foo
30                             a1
31                             a2
32                             a3
33                             a4
34                             a5
35                             a6
36                             a7
37                             a8
38                             a9
39                             a10
40                             a11
41                             a12
42                             a13
43                             a14
44                             a15
45                             a16
46                             a17
47                             a18
48                             a19
49                             a20
50                             a21
51                             a22
52                             a23
53                             a24
54                             a25
55                             a26
56                             a27
57                             a28
58                             a29
59                             a30
60                             a31
61                             a32
62                             a33
63                             a34
64                             a35
65                             a36
66                             a37
67                             a38
68                             a39
69                             a40
70                             a41
71                             a42
72                             a43
73                             a44
74                             a45
75                             a46
76                             a47
77                             a48
78                             a49
79                             a50
80                             a51
81                             a52
82                             a53
83                             a54
84                             a55
85                             a56
86                             a57
87                             a58
88                             a59
89                             a60
90                             a61
91                             a62
92                             a63
93                           -> Bool
94                at T14217.hs:41:1-14
95       To use the inferred type, enable PartialTypeSignatures
96     • In the type signature:
97         eqFoo :: _ =>
98                  Foo a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 a55 a56 a57 a58 a59 a60 a61 a62 a63
99                  -> Bool