blob: 4032c328149e07df97e9c1945b59bb663ac0c5eb (
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
|
T15957_Fail.hs:7:6: error: [-Wunused-record-wildcards (in -Wall), Werror=unused-record-wildcards]
No variables bound in the record wildcard match are used
Possible fix: omit the ‘..’
T15957_Fail.hs:8:9: error: [-Wunused-record-wildcards (in -Wall), Werror=unused-record-wildcards]
No variables bound in the record wildcard match are used
Possible fix: omit the ‘..’
T15957_Fail.hs:9:12: error: [-Wredundant-record-wildcards (in -Wall), Werror=redundant-record-wildcards]
Record wildcard does not bind any new variables
Possible fix: omit the ‘..’
T15957_Fail.hs:11:11: error: [-Wunused-record-wildcards (in -Wall), Werror=unused-record-wildcards]
No variables bound in the record wildcard match are used
Possible fix: omit the ‘..’
T15957_Fail.hs:12:16: error: [-Wredundant-record-wildcards (in -Wall), Werror=redundant-record-wildcards]
Record wildcard does not bind any new variables
Possible fix: omit the ‘..’
T15957_Fail.hs:13:15: error: [-Wredundant-record-wildcards (in -Wall), Werror=redundant-record-wildcards]
Record wildcard does not bind any new variables
Possible fix: omit the ‘..’
T15957_Fail.hs:20:9: error: [-Wunused-record-wildcards (in -Wall), Werror=unused-record-wildcards]
No variables bound in the record wildcard match are used
Possible fix: omit the ‘..’
T15957_Fail.hs:25:9: error: [-Wunused-record-wildcards (in -Wall), Werror=unused-record-wildcards]
No variables bound in the record wildcard match are used
Possible fix: omit the ‘..’
T15957_Fail.hs:31:18: error: [-Wunused-record-wildcards (in -Wall), Werror=unused-record-wildcards]
No variables bound in the record wildcard match are used
Possible fix: omit the ‘..’
|
