blob: 6bebb08981196bc466d0c511d1014662f49db573 (
plain)
1
2
3
4
5
6
7
8
9
|
T15957_Fail.hs:7:4: error: [-Wunused-record-wildcards, -Werror=unused-record-wildcards]
No variables bound in the record wildcard match are used
T15957_Fail.hs:8:4: error: [-Wunused-record-wildcards, -Werror=unused-record-wildcards]
No variables bound in the record wildcard match are used
T15957_Fail.hs:9:4: error: [-Wredundant-record-wildcards, -Werror=redundant-record-wildcards]
Record wildcard does not bind any new variables
|