Skip to content

Explicit Data.List import list in check-ppr (#20789)

Sebastian Graf requested to merge wip/T20789 into master

check-ppr features an import of Data.List without an import list. After 81082cf4, this breaks the local validate flavour because of the compat warning and -Werror. So fix that.

Fixes #20789 (closed).

Merge request reports