Implement -Wredundant-record-wildcards and -Wunused-record-wildcards

Authored by mpickering on Feb 11 2019, 3:24 AM.

Description

Implement -Wredundant-record-wildcards and -Wunused-record-wildcards

-Wredundant-record-wildcards warns when a .. pattern binds no variables.

-Wunused-record-wildcards warns when none of the variables bound by a ..
pattern are used.

These flags are enabled by -Wall.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Feb 14 2019, 1:36 AM
Parents
rGHC1d9a1d9fb8fe: NCG: fast compilation of very large strings (#16190)
Branches
Unknown
Tags
Unknown